HList-0.2: Heterogeneous lists Source code Contents Index

Data.HList.TIP

Documentation

newtype TIP l Source

Constructors TIP l Instances HOccursNot e l => HOccursNot e (TIP l) HOccursOpt e l => HOccursOpt e (TIP l) HOccurs e (HCons x (HCons y l)) => HOccurs e (TIP (HCons x (HCons y l))) TypeCast e' e => HOccurs e (TIP (HCons e' HNil)) HOccursFst e l => HOccursFst e (TIP l) HOccursMany1 e l => HOccursMany1 e (TIP l) HOccursMany e l => HOccursMany e (TIP l) (HOccursNot e l, HTypeIndexed l) => HExtend e (TIP l) (TIP (HCons e l)) Read l => Read (TIP l) Show l => Show (TIP l) (HOccurs e l, SubType (TIP l) (TIP l')) => SubType (TIP l) (TIP (HCons e l')) SubType (TIP l) (TIP HNil) (HAppend l l' l'', HTypeIndexed l'') => HAppend (TIP l) (TIP l') (TIP l'')

mkTIP :: HTypeIndexed l => l -> TIP l Source

unTIP :: TIP l -> l Source

emptyTIP :: TIP HNil Source

class HList l => HTypeIndexed l Source

Instances HTypeIndexed HNil (HOccursNot e l, HTypeIndexed l) => HTypeIndexed (HCons e l)

tuple :: (HOccurs e1 (TIP l), HType2HNat e1 l n, HDeleteAtHNat n l l', HOccurs e2 (TIP l'), HOccurs e2 (TIP l), HType2HNat e2 l n', HDeleteAtHNat n' l l'', HOccurs e1 (TIP l'')) => TIP l -> (e1, e2) Source

oneTrue :: TIP (HCons Int (HCons Bool HNil)) Source

Produced by Haddock version 2.4.2