Safe Haskell	None
Language	Haskell98

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 procedureParamFlags :: [(Bool, 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]
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 Source
Monoid Nest Source

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 contextOps :: [Operator] contextInner :: [Context]
ContextSelect	A nested context created by a mkSel1# function.
Fields contextOuterRate :: Type Name contextInnerRate :: Type Name contextFlags :: Bound Name contextSelector :: Bind Name contextOps :: [Operator] contextInner :: [Context]
ContextSegment	A nested context created by a mkSegd# function.
Fields contextOuterRate :: Type Name contextInnerRate :: Type Name contextLens :: Bound Name contextSegd :: Bind Name contextOps :: [Operator] contextInner :: [Context]
ContextAppend
Fields contextRate1 :: Type Name contextInner1 :: Context contextRate2 :: Type Name contextInner2 :: Context

Instances

Show Context Source

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 Source

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. bodyAccType :: Type Name 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. bodyAccType :: Type Name Type of the accumulator. bodyAccExp :: Exp () Name Expression to update the accumulator.

Instances

Show StmtBody Source

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 endVecAcc :: Bound Name

Instances

Show StmtEnd Source