HList-0.2: Heterogeneous listsSource codeContentsIndex
Data.HList.HArray
Documentation
class HNat n => HLookupByHNat n l e | n l -> e whereSource
Methods
hLookupByHNat :: n -> l -> eSource
show/hide Instances
HLookupByHNat HZero (HCons e l) e
HLookupByHNat HZero (HCons e l) e
(HLookupByHNat n l e', HNat n) => HLookupByHNat (HSucc n) (HCons e l) e'
(HLookupByHNat n l e', HNat n) => HLookupByHNat (HSucc n) (HCons e l) e'
class HNat n => HDeleteAtHNat n l l' | n l -> l' whereSource
Methods
hDeleteAtHNat :: n -> l -> l'Source
show/hide Instances
HDeleteAtHNat HZero (HCons e l) l
HDeleteAtHNat HZero (HCons e l) l
(HDeleteAtHNat n l l', HNat n) => HDeleteAtHNat (HSucc n) (HCons e l) (HCons e l')
(HDeleteAtHNat n l l', HNat n) => HDeleteAtHNat (HSucc n) (HCons e l) (HCons e l')
class HNat n => HUpdateAtHNat n e l l' | n e l -> l', l' n -> e whereSource
Methods
hUpdateAtHNat :: n -> e -> l -> l'Source
show/hide Instances
HUpdateAtHNat HZero e' (HCons e l) (HCons e' l)
HUpdateAtHNat HZero e' (HCons e l) (HCons e' l)
(HUpdateAtHNat n e' l l', HNat n) => HUpdateAtHNat (HSucc n) e' (HCons e l) (HCons e l')
(HUpdateAtHNat n e' l l', HNat n) => HUpdateAtHNat (HSucc n) e' (HCons e l) (HCons e l')
class HNats ns => HSplitByHNats' ns l l' l'' | ns l -> l' l'' whereSource
Methods
hSplitByHNats' :: ns -> l -> (l', l'')Source
show/hide Instances
HSplit l l' l'' => HSplitByHNats' HNil l HNil l'
(HLookupByHNat n l ((,) e b), HUpdateAtHNat n ((,) e HFalse) l l''', HSplitByHNats' ns l''' l' l'') => HSplitByHNats' (HCons n ns) l (HCons e l') l''
class HNats ns => HProjectByHNats ns l l' | ns l -> l' whereSource
Methods
hProjectByHNats :: ns -> l -> l'Source
show/hide Instances
class HProjectAwayByHNats ns l l' | ns l -> l' whereSource
Methods
hProjectAwayByHNats :: ns -> l -> l'Source
class HBetween x y | x -> y whereSource
Methods
hBetween :: x -> ySource
show/hide Instances
class HDiff x y z | x y -> z whereSource
Methods
hDiff :: x -> y -> zSource
show/hide Instances
HDiff HNil x HNil
(HOrdMember e y b, HDiff x y z, HCond b z (HCons e z) z') => HDiff (HCons e x) y z'
class HOrdMember e l b | e l -> b whereSource
Methods
hOrdMember :: e -> l -> bSource
show/hide Instances
HOrdMember e HNil HFalse
HOrdMember e HNil HFalse
(HEq e e' b1, HOrdMember e l b2, HOr b1 b2 b) => HOrdMember e (HCons e' l) b
class (HList l, HNat n) => HLength l n | l -> nSource
show/hide Instances
hLength :: HLength l n => l -> nSource
class HMaxLength l s Source
class HMinLength l s Source
class HSingleton l Source
hSingle :: (HSingleton l, HHead l e) => l -> eSource
Produced by Haddock version 2.4.2