Safe Haskell	None
Language	Haskell2010

Pipeline.Internal.Core.PipeList

Documentation

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

Constructors

PipeCons :: Eq (f a) => Chan (JobUUID, Either TaskError (f a)) -> PipeList fs as -> PipeList (f ': fs) (a ': as)
PipeNil :: PipeList '[] '[]

class AppendP fs as gs bs where #

Methods

appendP :: PipeList fs as -> PipeList gs bs -> PipeList (fs :++ gs) (as :++ bs) #

Instances details

AppendP ('[] :: [Type -> Type]) ('[] :: [Type]) gs bs #
Instance details Defined in Pipeline.Internal.Core.PipeList Methods appendP :: PipeList '[] '[] -> PipeList gs bs -> PipeList ('[] :++ gs) ('[] :++ bs) #
AppendP fs as gs bs => AppendP (f ': fs) (a ': as) gs bs #
Instance details Defined in Pipeline.Internal.Core.PipeList Methods appendP :: PipeList (f ': fs) (a ': as) -> PipeList gs bs -> PipeList ((f ': fs) :++ gs) ((a ': as) :++ bs) #

takeP :: SNat n -> PipeList fs as -> PipeList (Take n fs) (Take n as) #

dropP :: SNat n -> PipeList fs as -> PipeList (Drop n fs) (Drop n as) #