HList-0.2: Heterogeneous lists Source code Contents Index

Data.HList.HArray

Documentation

class HNat n => HLookupByHNat n l e | n l -> e where Source

Methods hLookupByHNat :: n -> l -> e Source 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' where Source

Methods hDeleteAtHNat :: n -> l -> l' Source 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 where Source

Methods hUpdateAtHNat :: n -> e -> l -> l' Source 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'' where Source

Methods hSplitByHNats' :: ns -> l -> (l', l'') Source 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' where Source

Methods hProjectByHNats :: ns -> l -> l' Source Instances HProjectByHNats HNil HNil HNil HProjectByHNats HNil (HCons e l) HNil HProjectByHNats HNil (HCons e l) HNil (HLookupByHNat n (HCons e l) e', HProjectByHNats ns (HCons e l) l') => HProjectByHNats (HCons n ns) (HCons e l) (HCons e' l')

class HProjectAwayByHNats ns l l' | ns l -> l' where Source

Methods hProjectAwayByHNats :: ns -> l -> l' Source

class HBetween x y | x -> y where Source

Methods hBetween :: x -> y Source Instances (HNat x, HBetween (HSucc x) y, HAppend y (HCons (HSucc x) HNil) z, HList y) => HBetween (HSucc (HSucc x)) z HBetween (HSucc HZero) (HCons HZero HNil) HBetween (HSucc HZero) (HCons HZero HNil)

class HDiff x y z | x y -> z where Source

Methods hDiff :: x -> y -> z Source 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 where Source

Methods hOrdMember :: e -> l -> b Source 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 -> n Source

Instances HLength HNil HZero HLength HNil HZero (HLength l n, HNat n, HList l) => HLength (HCons a l) (HSucc n) (HLength l n, HNat n, HList l) => HLength (HCons a l) (HSucc n)

hLength :: HLength l n => l -> n Source

class HMaxLength l s Source

class HMinLength l s Source

class HSingleton l Source

hSingle :: (HSingleton l, HHead l e) => l -> e Source

Produced by Haddock version 2.4.2