Safe Haskell	None
Language	Haskell2010

Data.HSet.Type

Synopsis

Documentation

data HSet elems where Source

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

Constructors

HSNil :: HSet `[]`
HSCons :: NotElem elem elems => !elem -> HSet elems -> HSet (elem : elems)

Instances

(Eq e, Eq (HSet els)) => Eq (HSet ((:) * e els)) Source
Eq (HSet ([] *)) Source
(Ord e, Ord (HSet els)) => Ord (HSet ((:) * e els)) Source
Ord (HSet ([] *)) Source
(Show e, Show (HSet els)) => Show (HSet ((:) * e els)) Source
Show (HSet ([] *)) Source
(NFData e, NFData (HSet els)) => NFData (HSet ((:) * e els)) Source
NFData (HSet ([] *)) Source