Data.EmptySet

Documentation

data EmptySet a

Constructors

EmptySet

Instances

Typeable1 EmptySet

HasCardT EmptySet

HasCardConstrT EmptySet

HasCardUCT_T [] EmptySet

HasCardUCT_T Maybe EmptySet

HasCardUCT_T EmptySet []

HasCardUCT_T EmptySet Maybe

HasCardUCT () (EmptySet a)

Eq (EmptySet a)

Show (EmptySet a)

HasCard (EmptySet a)

HasCardConstr (EmptySet a)

HasCardUCT (EmptySet a) ()

HasCardUCT [a] (EmptySet a)

HasCardUCT (Maybe a) (EmptySet a)

HasCardUCT (EmptySet a) [a]

HasCardUCT (EmptySet a) (Maybe a)

HasCardUCT (EmptySet (k, e)) (Map k e)

HasCardUCT (Map k e) (EmptySet (k, e))