Safe Haskell	None

DDC.Core.Flow.Procedure

Description

A Procedure is an abstract imperative loop nest. The loops are represented as a separated loop anatomy, to make it easy to incrementally build them from a data flow graph expressed as a Process.

Synopsis

Documentation

data Procedure Source

An imperative procedure made up of some loops.

Constructors

Procedure
Fields procedureName :: Name procedureParamTypes :: [BindF] procedureParamValues :: [BindF] procedureNest :: Nest

data Nest Source

A loop nest.

Constructors

NestEmpty
NestList
Fields nestList :: [Nest]
NestLoop
Fields nestRate :: Type Name nestStart :: [StmtStart] nestBody :: [StmtBody] nestInner :: Nest nestEnd :: [StmtEnd] nestResult :: Exp () Name
NestGuard
Fields nestOuterRate :: Type Name nestInnerRate :: Type Name nestFlags :: Bound Name nestBody :: [StmtBody] nestInner :: Nest
NestSegment
Fields nestOuterRate :: Type Name nestInnerRate :: Type Name nestLength :: Bound Name nestBody :: [StmtBody] nestInner :: Nest

Instances

Show Nest
Monoid Nest

data Context Source

Constructors

ContextRate	A top-level context associated with a rate that is a parameter of the process. This context isn't created by the process itself.
Fields contextRate :: Type Name
ContextSelect	A nested context created by a mkSel1# function.
Fields contextOuterRate :: Type Name contextInnerRate :: Type Name contextFlags :: Bound Name contextSelector :: Bind Name
ContextSegment	A nested context created by a mkSegd# function.
Fields contextOuterRate :: Type Name contextInnerRate :: Type Name contextLens :: Bound Name contextSegd :: Bind Name

Instances

Eq Context
Show Context

data StmtStart Source

Statements that can appear at the start of a loop. These initialise accumulators.

Constructors

StartStmt	Evaluate a pure expression
Fields startResultBind :: Bind Name startExpression :: Exp () Name
StartVecNew	Allocate a new vector.
Fields startVecNewName :: Name startVecNewElemType :: Type Name startVecNewRate :: Type Name
StartAcc	Inititlise a new accumulator.
Fields startAccName :: Name startAccType :: Type Name startAccExp :: Exp () Name

Instances

Show StmtStart

data StmtBody Source

Statements that appear in the body of a loop.

Constructors

BodyStmt	Evaluate a pure expression.
Fields bodyResultBind :: Bind Name Bind for the result bodyExpression :: Exp () Name Expression to evaluate
BodyVecWrite	Write to a vector.
Fields bodyVecName :: Name Name of the vector. bodyVecWriteElemType :: Type Name Type of the element. bodyVecWriteIx :: Exp () Name Expression for the index to write to. bodyVecWriteVal :: Exp () Name Expression for the value to write.
BodyAccRead	Read from an accumulator.
Fields bodyAccName :: Name Name of the accumulator. Name of the accumulator. bodyAccType :: Type Name Type of the accumulator. Type of the accumulator. bodyAccNameBind :: Bind Name Binder for the read value.
BodyAccWrite	Body of an accumulation operation. Writes to the accumulator.
Fields bodyAccName :: Name Name of the accumulator. Name of the accumulator. bodyAccType :: Type Name Type of the accumulator. Type of the accumulator. bodyAccExp :: Exp () Name Expression to update the accumulator.

Instances

Show StmtBody

data StmtEnd Source

Statements that appear after a loop to cleanup.

Constructors

EndStmt	Generic ending statements.
Fields endBind :: Bind Name endExp :: Exp () Name
EndAcc	Read the result of an accumulator.
Fields endName :: Name endType :: Type Name endAccName :: Name
EndVecTrunc	Destructively truncate a vector to its final size.
Fields endVecName :: Name endVecType :: Type Name endVecRate :: Type Name

Instances

Show StmtEnd