Safe Haskell	None

DDC.Core.Flow.Process

Synopsis

Documentation

data Process Source

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.
processParamTypes :: [BindF]: Type parameters to process. These are the type parameters of the original function.
processParamValues :: [BindF]: Value parameters to process. These are the value parameters of the original function.
processContexts :: [Context]: Flow contexts 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.
processOperators :: [Operator]: Flow operators in this process.

Instances

Pretty Process

typeOfProcess :: Process -> TypeF Source

Take the functional type of a process.

data Operator Source

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 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
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

Instances

Show Operator
Pretty Operator