Data.HSet.Type

Documentation

data HSet elems where

Heterogeneous set (list of elements) with unique types. Useful with MonadReader.

Constructors

HSNil :: HSet []

HSCons :: (False ~ Elem elem elems) => !elem -> HSet elems -> HSet (elem : elems)

Instances

(Eq e, Eq (HSet els)) => Eq (HSet ((:) * e els))

Eq (HSet ([] *))

(Ord e, Ord (HSet els)) => Ord (HSet ((:) * e els))

Ord (HSet ([] *))

(Show e, Show (HSet els)) => Show (HSet ((:) * e els))

Show (HSet ([] *))

(NFData e, NFData (HSet els)) => NFData (HSet ((:) * e els))

NFData (HSet ([] *))

Typeable ([*] -> *) HSet