Type.Membership.HList

Documentation

data HList (h :: k -> *) (xs :: [k]) where

Constructors

HNil :: HList h '[]

HCons :: h x -> HList h xs -> HList h (x ': xs) infixr 5

hindex :: HList h xs -> Membership xs x -> h x

hfoldrWithIndex :: forall h r xs. (forall x. Membership xs x -> h x -> r -> r) -> r -> HList h xs -> r

htraverse :: forall f g h xs. Applicative f => (forall x. g x -> f (h x)) -> HList g xs -> f (HList h xs)

htraverseWithIndex :: forall f g h xs. Applicative f => (forall x. Membership xs x -> g x -> f (h x)) -> HList g xs -> f (HList h xs)

hlength :: HList h xs -> Int