Data.Extensible.HList

Heterogeneous list

Documentation

data HList h xs where

Constructors

HNil :: HList h '[]

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

htraverse :: 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)

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

hlength :: HList h xs -> Int