DDC.Core.Flow.Process

Documentation

data Process

A process is a graph of series operators that read from some parameter series and write to some accumulators.

Constructors

Process

Fields

• processName :: Name

  Name of whole process. This is taken from the function name in the original source code.

• processProcType :: TypeF

  Proc type

• processLoopRate :: TypeF

  Rate of process loop

• processParamFlags :: [(Bool, BindF)]

  Parameters to process. These are the parameters of the original function, with flag being true for types.

• processContext :: Context

  Flow context in this process. This contains a ContextRate entry for all the Rate variables in the parameters, along with an entry for all the nested contexts introduced by the process itself.

data Operator

An abstract series operator.

Each of the constructors holds all the information we need to produce code for that operator.

Constructors

OpId

Connect a series from one place to another. These don't come from the source program, but are useful for during code generation.

Fields

• opResultSeries :: BindF
• opInputRate :: TypeF
• opInputSeries :: BoundF
• opElemType :: TypeF

OpRep

Flat replicate.

Fields

• opResultSeries :: BindF
• opOutputRate :: TypeF
• opElemType :: TypeF
• opInputExp :: ExpF

OpReps

Segmented replicate.

Fields

• opResultSeries :: BindF
• opInputRate :: TypeF
• opOutputRate :: TypeF
• opElemType :: TypeF
• opSegdBound :: BoundF
• opInputSeries :: BoundF

OpIndices

Segmented indices.

Fields

• opResultSeries :: BindF
• opInputRate :: TypeF
• opOutputRate :: TypeF
• opSegdBound :: BoundF

OpFill

Fill a vector with elements from a series.

Fields

• opResultBind :: BindF
• opTargetVector :: BoundF
• opInputRate :: TypeF
• opInputSeries :: BoundF
• opElemType :: TypeF

OpGather

Gather elements from a vector into a series.

Fields

• opResultBind :: BindF
• opSourceVector :: BoundF
• opSourceIndices :: BoundF
• opInputRate :: TypeF
• opVectorRate :: TypeF
• opElemType :: TypeF

OpScatter

Scatter elements from a series into a vector.

Fields

• opResultBind :: BindF
• opTargetVector :: BoundF
• opSourceIndices :: BoundF
• opSourceElems :: BoundF
• opInputRate :: TypeF
• opElemType :: TypeF

OpMap

Apply a function to corresponding elements in several input series of the same rate, producing a new series. This subsumes the regular map operator as well as zipWith like operators where the input lengths are identical.

Fields

• opArity :: Int
• opResultSeries :: BindF
• opInputRate :: TypeF
• opInputSeriess :: [BoundF]
• opWorkerParams :: [BindF]
• opWorkerBody :: ExpF

OpPack

Pack a series according to a selector.

Fields

• opResultSeries :: BindF
• opInputRate :: TypeF
• opInputSeries :: BoundF
• opOutputRate :: TypeF
• opElemType :: TypeF

OpGenerate

Generate a new Series, with elements based on index

Fields

• opResultSeries :: BindF
• opOutputRate :: TypeF
• opWorkerParamIndex :: BindF
• opWorkerBody :: ExpF

OpReduce

Reduce the elements of a series into a reference.

Fields

• opResultBind :: BindF
• opTargetRef :: BoundF
• opInputRate :: TypeF
• opInputSeries :: BoundF
• opZero :: ExpF
• opWorkerParamAcc :: BindF
• opWorkerParamElem :: BindF
• opWorkerBody :: ExpF

OpSeriesOfRateVec

Convert a series from a vector

Fields

• opResultSeries :: BindF
• opInputRate :: TypeF
• opInputRateVec :: BoundF
• opElemType :: TypeF

OpSeriesOfArgument

Use an existing series passed in as argument

Fields

• opResultSeries :: BindF
• opInputRate :: TypeF
• opElemType :: TypeF

Instances

Eq Operator

Methods

(==) :: Operator -> Operator -> Bool

(/=) :: Operator -> Operator -> Bool

Show Operator

Methods

showsPrec :: Int -> Operator -> ShowS

show :: Operator -> String

showList :: [Operator] -> ShowS