Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Data.HSet.Type
Documentation
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 |