Documentation
class HOccursMany e l whereSource
hOccursMany :: l -> [e]Source
HOccursMany e HNil | |
HOccursMany e l => HOccursMany e (TIP l) | |
(HOccursMany e l, HList l) => HOccursMany e (HCons e' l) | |
(HOccursMany e l, HList l) => HOccursMany e (HCons e l) |
class HOccursMany1 e l whereSource
hOccursMany1 :: l -> (e, [e])Source
HOccursMany1 e l => HOccursMany1 e (TIP l) | |
(HOccursMany1 e l, HList l) => HOccursMany1 e (HCons e' l) | |
(HOccursMany e l, HList l) => HOccursMany1 e (HCons e l) |
class HOccursFst e l whereSource
hOccursFst :: l -> eSource
HOccursFst e l => HOccursFst e (TIP l) | |
(HOccursFst e l, HList l) => HOccursFst e (HCons e' l) | |
HList l => HOccursFst e (HCons e l) |
data TypeNotFound e Source
class HOccurs' e l whereSource
(TypeEq e e' b, HOccursBool b e (HCons e' l)) => HOccurs' e (HCons e' l) |
class HOccursBool b e l whereSource
hOccursBool :: b -> l -> eSource
(HOccurs' e l, HList l) => HOccursBool HFalse e (HCons e' l) | |
(HList l, HOccursNot e l) => HOccursBool HTrue e (HCons e l) |
class HOccursOpt e l whereSource
hOccursOpt :: l -> Maybe eSource
HOccursOpt e HNil | |
HOccursOpt e l => HOccursOpt e (TIP l) | |
HOccursOpt e l => HOccursOpt e (HCons e' l) | |
HOccursOpt e (HCons e l) |
class HOccursNot e l Source
HOccursNot e HNil | |
HOccursNot e l => HOccursNot e (TIP l) | |
HOccursNot e l => HOccursNot e (HCons e' l) | |
Fail (TypeFound e) => HOccursNot e (HCons e l) |