DynamicPipeline.Stage

Documentation

data DynamicPipeline dpDefinition filterState filterParam st

DynamicPipeline data type which contains all the three Stages definitions that have been generated by other combinators like withSource, withGenerator and withSink.

dpDefinition ~ Source (Channel ..) :=> Generator (Channel ..) :=> Sink

DP Type level Flow Definition

filterState

State of the StateT Monad that is the local State of the Filter execution

filterParam

Type of the First Parameter that is pass to the Filter when it is created by the Generator Anamorphism. Generator can change the type received from the Reader Channels.

st

Existential Scope of DP Monad.

data Filter dpDefinition filterState filterParam st

Filter Is the template definition of the Filter that may be spawned when reading elements on the Stream.

• Filter is a NonEmpty List of Actors.
• Each Actor is executed sequentially on the that List when an Element arrive to that Filter instance.
• All the Filter execution (a.k.a. forM_ actors runStage) executes in a StateT Monad to share an internal state among Actors.

dpDefinition ~ Source (Channel ..) :=> Generator (Channel ..) :=> Sink

DP Type level Flow Definition

filterState

State of the StateT Monad that is the local State of the Filter execution

filterParam

Type of the First Parameter that is pass to the Filter when it is created by the Generator Anamorphism. Generator can change the type received from the Reader Channels.

st

Existential Scope of DP Monad.

Instances

Generic (Filter dpDefinition filterState filterParam st)

Defined in DynamicPipeline.Stage

Associated Types

type Rep (Filter dpDefinition filterState filterParam st) :: Type -> Type

Methods

from :: Filter dpDefinition filterState filterParam st -> Rep (Filter dpDefinition filterState filterParam st) x

to :: Rep (Filter dpDefinition filterState filterParam st) x -> Filter dpDefinition filterState filterParam st

Wrapped (Filter s' s a param)

Defined in DynamicPipeline.Stage

Associated Types

type Unwrapped (Filter s' s a param)

Methods

_Wrapped' :: Iso' (Filter s' s a param) (Unwrapped (Filter s' s a param))

type Rep (Filter dpDefinition filterState filterParam st)

Defined in DynamicPipeline.Stage

type Rep (Filter dpDefinition filterState filterParam st) = D1 ('MetaData "Filter" "DynamicPipeline.Stage" "dynamic-pipeline-0.3.2.0-inplace" 'True) (C1 ('MetaCons "Filter" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFilter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Actor dpDefinition filterState filterParam (StateT filterState (DP st)))))))

type Unwrapped (Filter s' s a param)

Defined in DynamicPipeline.Stage

type Unwrapped (Filter s' s a param) = GUnwrapped (Rep (Filter s' s a param))

data Actor dpDefinition filterState filterParam monadicAction

Actor Is a particular Stage computation inside a Filter.

dpDefinition ~ Source (Channel ..) :=> Generator (Channel ..) :=> Sink

DP Type level Flow Definition

filterState

State of the StateT Monad that is the local State of the Filter execution

filterParam

Type of the First Parameter that is pass to the Filter when it is created by the Generator Anamorphism. Generator can change the type received from the Reader Channels.

monadicAction

Monad Wrapped in StateT.

data GeneratorStage dpDefinition filterState filterParam st

GeneartorStage is a special Stage data type according to DPP Definition which contains a Filter template definition, in orther to know how to spawn a new Filter if it is needed, and the Stage of the Generator to allow the user to perform some computation in that case.

dpDefinition ~ Source (Channel ..) :=> Generator (Channel ..) :=> Sink

DP Type level Flow Definition

filterState

State of the StateT Monad that is the local State of the Filter execution

filterParam

Type of the First Parameter that is pass to the Filter when it is created by the Generator Anamorphism. Generator can change the type received from the Reader Channels.

st

Existential Scope of DP Monad.

data Stage a

type family ValidDP (a :: Bool) :: Constraint where ...

FCF - Type Level Defunctionalization ValidDP Check if IsDP is True

a

IsDP dpDefinition ~ 'True

Throw a TypeError if Grammar is not correct

Equations

ValidDP 'True = ()

ValidDP 'False = TypeError ((((((('Text "Invalid Semantic for Building DP Program" :$$: 'Text "Language Grammar:") :$$: 'Text "DP -> Source CHANS :=> Generator CHANS :=> Sink") :$$: 'Text "DP -> Source CHANS :=> Generator CHANS :=> FEEDBACK :=> Sink") :$$: 'Text "CHANS -> Channel CH") :$$: 'Text "FEEDBACK -> FeedbackChannel CH") :$$: 'Text "CH -> Type :<+> CH | Eof") :$$: 'Text "Example: 'Source (Channel (Int :<+> Int)) :=> Generator (Channel (Int :<+> Int)) :=> Sink'")

type family IsDP (dpDefinition :: k) :: Bool where ...

FCF - Type Level Defunctionalization IsDP Validates if DP Flow Type Level Definition is Correct according to the Grammar

dpDefinition ~ Source (Channel ..) :=> Generator (Channel ..) :=> Sink

DP Type level Flow Definition

Equations

IsDP (Source (Channel inToGen) :=> (Generator (Channel genToOut) :=> Sink)) = And (IsDP (Source (Channel inToGen))) (IsDP (Generator (Channel genToOut)))

IsDP (Source (Channel inToGen) :=> (Generator (Channel genToOut) :=> (FeedbackChannel toSource :=> Sink))) = And (IsDP (Source (Channel inToGen))) (IsDP (Generator (Channel genToOut)))

IsDP (Source (Channel (a :<+> more))) = IsDP (Source (Channel more))

IsDP (Source (Channel Eof)) = 'True

IsDP (Generator (Channel (a :<+> more))) = IsDP (Generator (Channel more))

IsDP (Generator (Channel a)) = 'True

IsDP x = 'False

data DP st a

DP is the only Monadic Action allowed to run a DP Defined Flow. It is restricted on Scope by its Existential Type st in order to not escape out from this Monadic Context.

st

Existential Type to Ensure context of Monadic DP

a

Any Type that carries the Monadic Context DP

Instances

Monad (DP st)

Defined in DynamicPipeline.Stage

Methods

(>>=) :: DP st a -> (a -> DP st b) -> DP st b

(>>) :: DP st a -> DP st b -> DP st b

return :: a -> DP st a

Functor (DP st)

Defined in DynamicPipeline.Stage

Methods

fmap :: (a -> b) -> DP st a -> DP st b

(<$) :: a -> DP st b -> DP st a

Applicative (DP st)

Defined in DynamicPipeline.Stage

Methods

pure :: a -> DP st a

(<*>) :: DP st (a -> b) -> DP st a -> DP st b

liftA2 :: (a -> b -> c) -> DP st a -> DP st b -> DP st c

(*>) :: DP st a -> DP st b -> DP st b

(<*) :: DP st a -> DP st b -> DP st a

MonadIO (DP st)

Defined in DynamicPipeline.Stage

Methods

liftIO :: IO a -> DP st a

data UnFoldFilter dpDefinition readElem st filterState filterParam l

UnFoldFilter is a wrapper Data Type that contains all the information needed to spawn Filter instances according to DPP. The user will have the capability to select how those filters are going to be spawned, for example on each read element, how to setup initial states of StateT Monad on Actor computations in filters, among others.

dpDefinition ~ Source (Channel ..) :=> Generator (Channel ..) :=> Sink

DP Type level Flow Definition

readElem

Type of the element that is being read from the Selected Channel in the Generator Stage

st

Existential Scope of DP Monad.

filterState

State of the StateT Monad that is the local State of the Filter execution

filterParam

Type of the First Parameter that is pass to the Filter when it is created by the Generator Anamorphism. Generator can change the type received from the Reader Channels.

withDP :: IO a -> DP s a

Smart Constructor of DP from IO action

mkGenerator

Arguments

:: Stage (WithGenerator dpDefinition (Filter dpDefinition filterState filterParam st) (DP st))

Generator Stage

-> Filter dpDefinition filterState filterParam st

Filter template

-> GeneratorStage dpDefinition filterState filterParam st

Smart Constructor of GeneratorStage.

mkFilter

Arguments

:: forall dpDefinition filterState filterParam st. WithFilter dpDefinition filterParam (StateT filterState (DP st))

Associated type family to Generate Function Signature

-> Filter dpDefinition filterState filterParam st

Smart Constructor of Filter.

single

Arguments

:: forall dpDefinition filterState filterParam st. WithFilter dpDefinition filterParam (StateT filterState (DP st))

Associated type family to Generate Function Signature

-> NonEmpty (Actor dpDefinition filterState filterParam (StateT filterState (DP st)))

Smart Constructor of Single Actor Wrapped in NonEmpty List.

actor

Arguments

:: forall dpDefinition filterState filterParam st. WithFilter dpDefinition filterParam (StateT filterState (DP st))

Associated type family to Generate Function Signature

-> Actor dpDefinition filterState filterParam (StateT filterState (DP st))

Smart Constructor of Actor.

(|>>>) infixr 5

Arguments

:: forall dpDefinition filterState filterParam st. Actor dpDefinition filterState filterParam (StateT filterState (DP st))

New Actor to put on front

-> Filter dpDefinition filterState filterParam st

Existing Filter

-> Filter dpDefinition filterState filterParam st

Combinator to build Filter in a DSL approach. Add a new Actor to an already existing Filter.

(|>>) infixr 5

Arguments

:: forall dpDefinition filterState filterParam st. Actor dpDefinition filterState filterParam (StateT filterState (DP st))

Actor 1

-> Actor dpDefinition filterState filterParam (StateT filterState (DP st))

Actor 2

-> Filter dpDefinition filterState filterParam st

Combinator to build Filter in a DSL approach . Given 2 Actors build a Filter.

withSource

Arguments

:: forall (dpDefinition :: Type) st. WithSource dpDefinition (DP st)

Associated type family to Generate Function Signature

-> Stage (WithSource dpDefinition (DP st))

Combinator for Building a Source Stage. It uses an Associated Type Class to deduce the Function Signature required to the user taken from DP Type Level Flow Definition [dpDefinition ~ Source (Channel ..) :=> Generator (Channel ..) :=> Sink]: DP Type level Flow Definition

st

Existential Scope of DP Monad.

withGenerator

Arguments

:: forall (dpDefinition :: Type) (filter :: Type) st. WithGenerator dpDefinition filter (DP st)

Associated type family to Generate Function Signature

-> Stage (WithGenerator dpDefinition filter (DP st))

Combinator for Building a Generator Stage. It uses an Associated Type Class to deduce the Function Signature required to the user taken from DP Type Level Flow Definition [dpDefinition ~ Source (Channel ..) :=> Generator (Channel ..) :=> Sink]: DP Type level Flow Definition

filter

Filter template type

st

Existential Scope of DP Monad.

withSink

Arguments

:: forall (dpDefinition :: Type) st. WithSink dpDefinition (DP st)

Associated type family to Generate Function Signature

-> Stage (WithSink dpDefinition (DP st))

Combinator for Building a Sink Stage. It uses an Associated Type Class to deduce the Function Signature required to the user taken from DP Type Level Flow Definition [dpDefinition ~ Source (Channel ..) :=> Generator (Channel ..) :=> Sink]: DP Type level Flow Definition

st

Existential Scope of DP Monad.

mkDP

Arguments

:: forall dpDefinition filterState st filterParam filter gparams slr slw glr glw silr silw iparams oparams ls lsi. DPConstraint dpDefinition filterState st filterParam filter gparams slr slw glr glw silr silw iparams oparams ls lsi

=> Stage (WithSource dpDefinition (DP st))

Source Stage generated by withSource combinator

-> GeneratorStage dpDefinition filterState filterParam st

Generator Stage generated by withGenerator combinator

-> Stage (WithSink dpDefinition (DP st))

Sink Stage generated by withSink combinator

-> DP st ()

Smart constructor for DynamicPipeline Definition

runDP :: (forall st. DP st a) -> IO a

Run DP Monad to final IO result

unfoldF

Arguments

:: forall dpDefinition readElem st filterState filterParam l l1 l2 l3 b2 b3 l4. SpawnFilterConstraint dpDefinition readElem st filterState filterParam l l1 l2 l3 b2 b3 l4

=> UnFoldFilter dpDefinition readElem st filterState filterParam l

UnFoldFilter

-> DP st (HList l)

Return the list of ReadChannels with the results to be read for the Generator at the end. You can use this to pass the results to Sink

Run UnFoldFilter

mkUnfoldFilter

Arguments

:: (readElem -> Bool)

Given a new Element determine if we need to interpose a new Filter or not

-> (readElem -> DP st ())

For each element that the Filter is consuming allow to do something outside the filter with that element. For example trace or debug

-> Filter dpDefinition filterState filterParam st

Filter Template

-> (readElem -> filterState)

Given the First element in this Filter Instance how to Initiate Internal Filter StateT (Memory)

-> ReadChannel readElem

Main ReadChannel to feed filter

-> HList l

HList with the rest of the ReadChannels if There are needed or HNil if it only contians 1 read channel

-> UnFoldFilter dpDefinition readElem st filterState filterParam l

Smart Constructor for UnFoldFilter

mkUnfoldFilter'

Arguments

:: (readElem -> Bool)

-> Filter dpDefinition filterState filterParam st

-> (readElem -> filterState)

-> ReadChannel readElem

-> HList l

-> UnFoldFilter dpDefinition readElem st filterState filterParam l

Smart Constructor for UnFoldFilter which bypass to do something externally on each read element

mkUnfoldFilterForAll

Arguments

:: Filter dpDefinition filterState filterParam st

-> (readElem -> filterState)

-> ReadChannel readElem

-> HList l

-> UnFoldFilter dpDefinition readElem st filterState filterParam l

Smart Constructor for UnFoldFilter That creates a Filter for each element on the Read Channel and interpose on Front of Generator Stage and Last Filter

 Source ---> Filter1 ---> Filter2 ... ---> FilterN ---> Generator ---> Sink

mkUnfoldFilterForAll'

Arguments

:: (readElem -> DP st ())

-> Filter dpDefinition filterState filterParam st

-> (readElem -> filterState)

-> ReadChannel readElem

-> HList l

-> UnFoldFilter dpDefinition readElem st filterState filterParam l

Idem for mkUnfoldFilterForAll but do something on each Element externally