HList-0.2: Heterogeneous lists Source code Contents Index

Data.HList.HTypeIndexed

Documentation

class HDeleteMany e l l' | e l -> l' where Source

Methods hDeleteMany :: Proxy e -> l -> l' Source Instances HDeleteMany e HNil HNil (HList l, TypeEq e e' b, HDeleteManyCase b e e' l l') => HDeleteMany e (HCons e' l) l'

class HDeleteManyCase b e e' l l' | b e e' l -> l' where Source

Methods hDeleteManyCase :: b -> Proxy e -> e' -> l -> l' Source Instances HDeleteMany e l l' => HDeleteManyCase HTrue e e l l' HDeleteMany e l l' => HDeleteManyCase HFalse e e' l (HCons e' l') HDeleteMany e l l' => HDeleteManyCase HFalse e e' l (HCons e' l')

class HNat n => HType2HNat e l n | e l -> n Source

Instances (TypeEq e' e b, HType2HNatCase b e l n) => HType2HNat e (HCons e' l) n

class (HBool b, HNat n) => HType2HNatCase b e l n | b e l -> n Source

Instances HOccursNot e l => HType2HNatCase HTrue e l HZero HOccursNot e l => HType2HNatCase HTrue e l HZero HType2HNat e l n => HType2HNatCase HFalse e l (HSucc n) HType2HNat e l n => HType2HNatCase HFalse e l (HSucc n)

hType2HNat :: HType2HNat e l n => Proxy e -> l -> n Source

class HTypes2HNats ps l ns | ps l -> ns where Source

Methods hTypes2HNats :: ps -> l -> ns Source Instances HTypes2HNats HNil l HNil (HType2HNat e l n, HTypes2HNats ps l ns) => HTypes2HNats (HCons (Proxy e) ps) l (HCons n ns)

hDeleteAtProxy :: (HDeleteAtHNat n l l', HType2HNat e l n) => Proxy e -> l -> l' Source

hUpdateAtType :: (HUpdateAtHNat n e l l', HType2HNat e l n) => e -> l -> l' Source

hProjectByProxies :: (HProjectByHNats ns l l', HTypes2HNats ps l ns) => ps -> l -> l' Source

hSplitByProxies :: (HMap (HAddTag HTrue) l l', HSplitByHNats' ns l' l'1 l'', HTypes2HNats ps l ns) => ps -> l -> (l'1, l'') Source

Produced by Haddock version 2.4.2