[plt-scheme] union notation in helpdesk

Jens Axel Søgaard jensaxel at soegaard.net
Sat Sep 15 04:43:05 EDT 2007


Stephen De Gabrielle wrote:
> I've been looking at the documentation for the graph.ss library (in 
> MrLib 7.5) and came across some notation that I am not familiar with;

> I can tell it's asking for things that implement either a class or 
> matching interface,
> 
> but the use of the 'union false?'

  (union false? (is-a?/c brush%))

Think of types as sets of values (belonging to the type).
The type (union false? (is-a?/c brush%)) consists
of the union of the values specified by false? and
(is-a?/c brush%). That is, it just means the false value
or a brush% (as you guessed).

-- 
Jens Axel Søgaard




More information about the plt-scheme mailing list