HList-0.2: Heterogeneous listsSource codeContentsIndex
Data.HList.HOccurs
Documentation
class HOccursMany e l whereSource
Methods
hOccursMany :: l -> [e]Source
show/hide Instances
class HOccursMany1 e l whereSource
Methods
hOccursMany1 :: l -> (e, [e])Source
show/hide Instances
class HOccursFst e l whereSource
Methods
hOccursFst :: l -> eSource
show/hide Instances
HOccursFst e l => HOccursFst e (TIP l)
(HOccursFst e l, HList l) => HOccursFst e (HCons e' l)
HList l => HOccursFst e (HCons e l)
class HOccurs e l whereSource
Methods
hOccurs :: l -> eSource
show/hide Instances
Fail (TypeNotFound e) => HOccurs e HNil
HOccurs e (HCons x (HCons y l)) => HOccurs e (TIP (HCons x (HCons y l)))
TypeCast e' e => HOccurs e (TIP (HCons e' HNil))
(HOccurs e l, HList l) => HOccurs e (HCons e' l)
(HList l, HOccursNot e l) => HOccurs e (HCons e l)
data TypeNotFound e Source
class HOccurs' e l whereSource
Methods
hOccurs' :: l -> eSource
show/hide Instances
(TypeEq e e' b, HOccursBool b e (HCons e' l)) => HOccurs' e (HCons e' l)
class HOccursBool b e l whereSource
Methods
hOccursBool :: b -> l -> eSource
show/hide Instances
(HOccurs' e l, HList l) => HOccursBool HFalse e (HCons e' l)
(HOccurs' e l, HList l) => HOccursBool HFalse e (HCons e' l)
(HList l, HOccursNot e l) => HOccursBool HTrue e (HCons e l)
(HList l, HOccursNot e l) => HOccursBool HTrue e (HCons e l)
class HOccursOpt e l whereSource
Methods
hOccursOpt :: l -> Maybe eSource
show/hide Instances
data TypeFound e Source
class HOccursNot e l Source
show/hide Instances
class HProject l l' whereSource
Methods
hProject :: l -> l'Source
show/hide Instances
HProject l HNil
(HList l', HOccurs e l, HProject l l') => HProject l (HCons e l')
Produced by Haddock version 2.4.2