next up previous contents
Next: Type Annotations Up: Types Previous: Types   Contents

Operations

Types may be combined in various ways, including union:, intersection:, and extended via derive and deriveWith: which preserve type constraints on the derivations.



Brian Rice 2004-08-24