DDC.Type.Sum

Constructors

empty

singleton

union

unions

insert

Conversion

toList

fromList

Projection

kindOfSum

elem

Deletion

delete

difference

Hashing

hashTyCon

hashTyConRange

unhashTyCon