feldspar-compiler-0.3.2: Compiler for the Feldspar language

Feldspar.Compiler.Plugins.Unroll

Documentation

data UnrollPlugin Source

Constructors

Instances

TransformationPhase UnrollPlugin
Plugin UnrollPlugin

data Unroll_1 Source

Constructors

Instances

TransformationPhase Unroll_1

data Unroll_2 Source

Constructors

Instances

TransformationPhase Unroll_2

data UnrollSemInf Source

Constructors

Instances

SemanticInfo UnrollSemInf

data SemInfPrg Source

Constructors

SemInfPrg
Fields position :: Int varNames :: [String] loopVar :: String

Instances

Eq SemInfPrg
Show SemInfPrg
Default (Maybe SemInfPrg)

trLVIE :: Downwards Unroll_2 -> LeftValue UnrollSemInf -> InfoFromLeftValueParts Unroll_2 -> ExpressionData ()Source

trParLoop1 :: Downwards Unroll_1 -> ParallelLoop () -> InfoFromParallelLoopParts Unroll_1 -> ProgramConstruction UnrollSemInf Source