Documentation
TIP l |
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 lSource
class HList l => HTypeIndexed l Source
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