Safe Haskell	Safe-Inferred
Language	Haskell2010

Pipeline.Internal.Common.HList

Synopsis

data HList (xs :: [Type]) where
- HCons :: Eq x => x -> HList xs -> HList (x ': xs)
- HNil :: HList '[]
data HList' (fs :: [Type -> Type]) (as :: [Type]) where
- HCons' :: Eq (f a) => f a -> HList' fs as -> HList' (f ': fs) (a ': as)
- HNil' :: HList' '[] '[]

Documentation

data HList (xs :: [Type]) where #

A heterogeneous list used as input/output to a task.

This is commonly used in the multiInputTask function, which automatically fetches the data from DataStore.

Constructors

HCons :: Eq x => x -> HList xs -> HList (x ': xs)
HNil :: HList '[]

Instances details

Eq (HList as) #
Instance details Defined in Pipeline.Internal.Common.HList Methods (==) :: HList as -> HList as -> Bool # (/=) :: HList as -> HList as -> Bool #

data HList' (fs :: [Type -> Type]) (as :: [Type]) where #

A heterogeneous list used as input/output to a network or task.

Constructors

HCons' :: Eq (f a) => f a -> HList' fs as -> HList' (f ': fs) (a ': as)
HNil' :: HList' '[] '[]

Instances details

Eq (HList' fs as) #
Instance details Defined in Pipeline.Internal.Common.HList Methods (==) :: HList' fs as -> HList' fs as -> Bool # (/=) :: HList' fs as -> HList' fs as -> Bool #