Abt.Types.HList

Documentation

data HList :: (κ -> *) -> [κ] -> * where

Constructors

Nil :: HList el []

(:*) :: el x -> HList el xs -> HList el (x : xs) infixr 8

Instances

HEq1 k el => HEq1 [k] (HList k el)

hmap :: (forall x. f x -> g x) -> HList f xs -> HList g xs

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

homogenizeA :: Applicative h => (forall x. el x -> h α) -> HList el xs -> h [α]