Data.HList.TIP
Documentation
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 lSource
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