Documentation

data HList (f :: k -> Type) (xs :: [k]) where Source #

uncheck :: forall {k} a (xs :: [k]). HList (Const a :: k -> Type) xs -> [a] Source #

toListWith :: forall {k} f y (xs :: [k]). (forall (x :: k). f x -> y) -> HList f xs -> [y] Source #

toListWithM :: forall {k} m f y (xs :: [k]). Monad m => (forall (x :: k). f x -> m y) -> HList f xs -> m [y] Source #

hzip :: forall {k} (f :: k -> Type) (xs :: [k]) (g :: k -> Type). HList f xs -> HList g xs -> HList (f :*: g) xs Source #

hzipWithM :: forall {k} m f g h (xs :: [k]). Monad m => (forall (x :: k). f x -> g x -> m (h x)) -> HList f xs -> HList g xs -> m (HList h xs) Source #