Data.HList.HTypeIndexed

The HList library

(C) 2004, Oleg Kiselyov, Ralf Laemmel, Keean Schupke

Type-indexed operations on typeful heterogeneous lists.

Documentation

class HType2HNatCase (b :: Bool) (e :: *) (l :: [*]) (n :: HNat) | b e l -> n

Helper class

Instances

HOccursNot e l => HType2HNatCase 'True e l 'HZero

Defined in Data.HList.HTypeIndexed

HType2HNat e l n => HType2HNatCase 'False e l ('HSucc n)

Defined in Data.HList.HTypeIndexed

hType2HNat :: HType2HNat e l n => proxy1 e -> proxy l -> Proxy n

hTypes2HNats :: HTypes2HNats es l ns => Proxy (es :: [*]) -> hlist l -> Proxy (ns :: [HNat])

class HDeleteManyCase (b :: Bool) e1 e l l1 | b e1 e l -> l1 where

Methods

hDeleteManyCase :: Proxy b -> Proxy e1 -> e -> HList l -> HList l1

Instances

HDeleteMany e1 (HList l) (HList l1) => HDeleteManyCase 'False (e1 :: k) e l (e ': l1)

Defined in Data.HList.HTypeIndexed

Methods

hDeleteManyCase :: Proxy 'False -> Proxy e1 -> e -> HList l -> HList (e ': l1)

HDeleteMany e (HList l) (HList l1) => HDeleteManyCase 'True (e :: Type) e l l1

Defined in Data.HList.HTypeIndexed

Methods

hDeleteManyCase :: Proxy 'True -> Proxy e -> e -> HList l -> HList l1

hDeleteAt :: forall (n :: HNat) (l :: [Type]) e proxy1. (HDeleteAtHNat n l, HType2HNat e l n) => proxy1 e -> HList l -> HList (HDeleteAtHNatR n l)

hUpdateAt :: forall (n :: HNat) e (l :: [Type]). (HUpdateAtHNat' n e l l, HType2HNat e l n) => e -> HList l -> HList (HUpdateAtHNatR n e l)

hProjectBy :: forall k (ns :: [HNat]) hlist (l :: k) (z :: [Type]) (es :: [Type]). (HUnfoldFD (FHUProj 'True ns) (ApplyR (FHUProj 'True ns) (hlist l, Proxy 'HZero)) z, Apply (FHUProj 'True ns) (hlist l, Proxy 'HZero), HTypes2HNats es l ns) => Proxy es -> hlist l -> HList z

hSplitBy :: forall k (ns :: [HNat]) hlist (l :: k) (z1 :: [Type]) (z2 :: [Type]) (es :: [Type]). (HUnfoldFD (FHUProj 'True ns) (ApplyR (FHUProj 'True ns) (hlist l, Proxy 'HZero)) z1, HUnfoldFD (FHUProj 'False ns) (ApplyR (FHUProj 'False ns) (hlist l, Proxy 'HZero)) z2, Apply (FHUProj 'True ns) (hlist l, Proxy 'HZero), Apply (FHUProj 'False ns) (hlist l, Proxy 'HZero), HTypes2HNats es l ns) => Proxy es -> hlist l -> (HList z1, HList z2)

Orphan instances

HDeleteMany (e :: k) (HList ('[] :: [Type])) (HList ('[] :: [Type]))

Methods

hDeleteMany :: Proxy e -> HList '[] -> HList '[]

(HDeleteAtHNat n l, HType2HNat e l n, l' ~ HDeleteAtHNatR n l) => HDeleteAtLabel HList (e :: Type) l l'

should this instead delete the first element of that type?

Methods

hDeleteAtLabel :: Label e -> HList l -> HList l'

(HEq e1 e b, HDeleteManyCase b e1 e l l1) => HDeleteMany (e1 :: Type) (HList (e ': l)) (HList l1)

Methods

hDeleteMany :: Proxy e1 -> HList (e ': l) -> HList l1

(HEq e1 e b, HType2HNatCase b e1 l n) => HType2HNat (e1 :: Type) (e ': l :: [Type]) n

Map a type to a natural (index within the collection) This is a purely type-level computation

HTypes2HNats ('[] :: [Type]) (l :: [Type]) ('[] :: [HNat])

And lift to the list of types

(HType2HNat e l n, HTypes2HNats es l ns) => HTypes2HNats (e ': es :: [Type]) (l :: [Type]) (n ': ns)