feldspar-compiler-0.3.1: Compiler for the Feldspar language Source code Contents Index

Feldspar.Compiler.PluginArchitecture

Documentation

foldlist :: (Default a, Combine a) => [a] -> a Source

convertMaybeList :: Maybe [a] -> [a] Source

convertMaybe :: Maybe a -> [a] Source

type Walker t construction = TransformationPhase t => t -> Downwards t -> construction (From t) -> (construction (To t), Upwards t) Source

class TransformationPhase t => Plugin t where Source

Associated Types type ExternalInfo t Source Methods executePlugin :: t -> ExternalInfo t -> Procedure (From t) -> Procedure (To t) Source Instances Plugin BackwardPropagation Plugin Precompilation Plugin PrettyPrint Plugin UnrollPlugin Plugin ForwardPropagation Plugin HandlePrimitives

class (SemanticInfo (From t), SemanticInfo (To t), ConvertAllInfos (From t) (To t), Combine (Upwards t), Default (Upwards t)) => TransformationPhase t where Source

Associated Types type From t Source type To t Source type Downwards t Source type Upwards t Source Methods executeTransformationPhase :: Walker t Procedure Source downwardsProcedure :: t -> Downwards t -> Procedure (From t) -> Downwards t Source transformProcedure :: t -> Downwards t -> Procedure (From t) -> InfoFromProcedureParts t -> Procedure (To t) Source upwardsProcedure :: t -> Downwards t -> Procedure (From t) -> InfoFromProcedureParts t -> Procedure (To t) -> Upwards t Source downwardsBlock :: t -> Downwards t -> Block (From t) -> Downwards t Source transformBlock :: t -> Downwards t -> Block (From t) -> InfoFromBlockParts t -> Block (To t) Source upwardsBlock :: t -> Downwards t -> Block (From t) -> InfoFromBlockParts t -> Block (To t) -> Upwards t Source downwardsProgram :: t -> Downwards t -> Program (From t) -> Downwards t Source transformProgram :: t -> Downwards t -> Program (From t) -> InfoFromProgramParts t -> Program (To t) Source upwardsProgram :: t -> Downwards t -> Program (From t) -> InfoFromProgramParts t -> Program (To t) -> Upwards t Source transformEmptyProgramInProgram :: t -> Downwards t -> Empty (From t) -> ProgramConstruction (To t) Source upwardsEmptyProgramInProgram :: t -> Downwards t -> Empty (From t) -> ProgramConstruction (To t) -> Upwards t Source downwardsPrimitiveProgramInProgram :: t -> Downwards t -> Primitive (From t) -> Downwards t Source transformPrimitiveProgramInProgram :: t -> Downwards t -> Primitive (From t) -> InfoFromPrimitiveParts t -> ProgramConstruction (To t) Source upwardsPrimitiveProgramInProgram :: t -> Downwards t -> Primitive (From t) -> InfoFromPrimitiveParts t -> ProgramConstruction (To t) -> Upwards t Source downwardsSequenceProgramInProgram :: t -> Downwards t -> Sequence (From t) -> Downwards t Source transformSequenceProgramInProgram :: t -> Downwards t -> Sequence (From t) -> InfoFromSequenceParts t -> ProgramConstruction (To t) Source upwardsSequenceProgramInProgram :: t -> Downwards t -> Sequence (From t) -> InfoFromSequenceParts t -> ProgramConstruction (To t) -> Upwards t Source downwardsBranchProgramInProgram :: t -> Downwards t -> Branch (From t) -> Downwards t Source transformBranchProgramInProgram :: t -> Downwards t -> Branch (From t) -> InfoFromBranchParts t -> ProgramConstruction (To t) Source upwardsBranchProgramInProgram :: t -> Downwards t -> Branch (From t) -> InfoFromBranchParts t -> ProgramConstruction (To t) -> Upwards t Source downwardsSequentialLoopProgramInProgram :: t -> Downwards t -> SequentialLoop (From t) -> Downwards t Source transformSequentialLoopProgramInProgram :: t -> Downwards t -> SequentialLoop (From t) -> InfoFromSequentialLoopParts t -> ProgramConstruction (To t) Source upwardsSequentialLoopProgramInProgram :: t -> Downwards t -> SequentialLoop (From t) -> InfoFromSequentialLoopParts t -> ProgramConstruction (To t) -> Upwards t Source downwardsParallelLoopProgramInProgram :: t -> Downwards t -> ParallelLoop (From t) -> Downwards t Source transformParallelLoopProgramInProgram :: t -> Downwards t -> ParallelLoop (From t) -> InfoFromParallelLoopParts t -> ProgramConstruction (To t) Source upwardsParallelLoopProgramInProgram :: t -> Downwards t -> ParallelLoop (From t) -> InfoFromParallelLoopParts t -> ProgramConstruction (To t) -> Upwards t Source downwardsFormalParameter :: t -> Downwards t -> FormalParameter (From t) -> Downwards t Source transformFormalParameter :: t -> Downwards t -> FormalParameter (From t) -> InfoFromFormalParameterParts t -> FormalParameter (To t) Source upwardsFormalParameter :: t -> Downwards t -> FormalParameter (From t) -> InfoFromFormalParameterParts t -> FormalParameter (To t) -> Upwards t Source downwardsLocalDeclaration :: t -> Downwards t -> LocalDeclaration (From t) -> Downwards t Source transformLocalDeclaration :: t -> Downwards t -> LocalDeclaration (From t) -> InfoFromLocalDeclarationParts t -> LocalDeclaration (To t) Source upwardsLocalDeclaration :: t -> Downwards t -> LocalDeclaration (From t) -> InfoFromLocalDeclarationParts t -> LocalDeclaration (To t) -> Upwards t Source downwardsExpression :: t -> Downwards t -> Expression (From t) -> Downwards t Source transformExpression :: t -> Downwards t -> Expression (From t) -> InfoFromExpressionParts t -> Expression (To t) Source upwardsExpression :: t -> Downwards t -> Expression (From t) -> InfoFromExpressionParts t -> Expression (To t) -> Upwards t Source downwardsLeftValueExpressionInExpression :: t -> Downwards t -> LeftValue (From t) -> Downwards t Source transformLeftValueExpressionInExpression :: t -> Downwards t -> LeftValue (From t) -> InfoFromLeftValueParts t -> ExpressionData (To t) Source upwardsLeftValueExpressionInExpression :: t -> Downwards t -> LeftValue (From t) -> InfoFromLeftValueParts t -> ExpressionData (To t) -> Upwards t Source downwardsConstantExpressionInExpression :: t -> Downwards t -> Constant (From t) -> Downwards t Source transformConstantExpressionInExpression :: t -> Downwards t -> Constant (From t) -> InfoFromConstantParts t -> ExpressionData (To t) Source upwardsConstantExpressionInExpression :: t -> Downwards t -> Constant (From t) -> InfoFromConstantParts t -> ExpressionData (To t) -> Upwards t Source downwardsFunctionCallExpressionInExpression :: t -> Downwards t -> FunctionCall (From t) -> Downwards t Source transformFunctionCallExpressionInExpression :: t -> Downwards t -> FunctionCall (From t) -> InfoFromFunctionCallParts t -> ExpressionData (To t) Source upwardsFunctionCallExpressionInExpression :: t -> Downwards t -> FunctionCall (From t) -> InfoFromFunctionCallParts t -> ExpressionData (To t) -> Upwards t Source downwardsConstant :: t -> Downwards t -> Constant (From t) -> Downwards t Source transformConstant :: t -> Downwards t -> Constant (From t) -> InfoFromConstantParts t -> Constant (To t) Source upwardsConstant :: t -> Downwards t -> Constant (From t) -> InfoFromConstantParts t -> Constant (To t) -> Upwards t Source transformIntConstantInConstant :: t -> Downwards t -> IntConstantType (From t) -> ConstantData (To t) Source upwardsIntConstantInConstant :: t -> Downwards t -> IntConstantType (From t) -> ConstantData (To t) -> Upwards t Source transformFloatConstantInConstant :: t -> Downwards t -> FloatConstantType (From t) -> ConstantData (To t) Source upwardsFloatConstantInConstant :: t -> Downwards t -> FloatConstantType (From t) -> ConstantData (To t) -> Upwards t Source transformBoolConstantInConstant :: t -> Downwards t -> BoolConstantType (From t) -> ConstantData (To t) Source upwardsBoolConstantInConstant :: t -> Downwards t -> BoolConstantType (From t) -> ConstantData (To t) -> Upwards t Source downwardsArrayConstantInConstant :: t -> Downwards t -> ArrayConstantType (From t) -> Downwards t Source transformArrayConstantInConstant :: t -> Downwards t -> ArrayConstantType (From t) -> InfoFromArrayConstantParts t -> ConstantData (To t) Source upwardsArrayConstantInConstant :: t -> Downwards t -> ArrayConstantType (From t) -> InfoFromArrayConstantParts t -> ConstantData (To t) -> Upwards t Source downwardsLeftValue :: t -> Downwards t -> LeftValue (From t) -> Downwards t Source transformLeftValue :: t -> Downwards t -> LeftValue (From t) -> InfoFromLeftValueParts t -> LeftValue (To t) Source upwardsLeftValue :: t -> Downwards t -> LeftValue (From t) -> InfoFromLeftValueParts t -> LeftValue (To t) -> Upwards t Source transformVariableLeftValueInLeftValue :: t -> Downwards t -> Variable (From t) -> LeftValueData (To t) Source upwardsVariableLeftValueInLeftValue :: t -> Downwards t -> Variable (From t) -> LeftValueData (To t) -> Upwards t Source downwardsArrayElemReferenceLeftValueInLeftValue :: t -> Downwards t -> ArrayElemReference (From t) -> Downwards t Source transformArrayElemReferenceLeftValueInLeftValue :: t -> Downwards t -> ArrayElemReference (From t) -> InfoFromArrayElemReferenceParts t -> LeftValueData (To t) Source upwardsArrayElemReferenceLeftValueInLeftValue :: t -> Downwards t -> ArrayElemReference (From t) -> InfoFromArrayElemReferenceParts t -> LeftValueData (To t) -> Upwards t Source downwardsInstruction :: t -> Downwards t -> Instruction (From t) -> Downwards t Source transformInstruction :: t -> Downwards t -> Instruction (From t) -> InfoFromInstructionParts t -> Instruction (To t) Source upwardsInstruction :: t -> Downwards t -> Instruction (From t) -> InfoFromInstructionParts t -> Instruction (To t) -> Upwards t Source downwardsAssignmentInstructionInInstruction :: t -> Downwards t -> Assignment (From t) -> Downwards t Source transformAssignmentInstructionInInstruction :: t -> Downwards t -> Assignment (From t) -> InfoFromAssignmentParts t -> InstructionData (To t) Source upwardsAssignmentInstructionInInstruction :: t -> Downwards t -> Assignment (From t) -> InfoFromAssignmentParts t -> InstructionData (To t) -> Upwards t Source downwardsProcedureCallInstructionInInstruction :: t -> Downwards t -> ProcedureCall (From t) -> Downwards t Source transformProcedureCallInstructionInInstruction :: t -> Downwards t -> ProcedureCall (From t) -> InfoFromProcedureCallParts t -> InstructionData (To t) Source upwardsProcedureCallInstructionInInstruction :: t -> Downwards t -> ProcedureCall (From t) -> InfoFromProcedureCallParts t -> InstructionData (To t) -> Upwards t Source downwardsActualParameter :: t -> Downwards t -> ActualParameter (From t) -> Downwards t Source transformActualParameter :: t -> Downwards t -> ActualParameter (From t) -> InfoFromActualParameterParts t -> ActualParameter (To t) Source upwardsActualParameter :: t -> Downwards t -> ActualParameter (From t) -> InfoFromActualParameterParts t -> ActualParameter (To t) -> Upwards t Source downwardsInputActualParameterInActualParameter :: t -> Downwards t -> Expression (From t) -> Downwards t Source transformInputActualParameterInActualParameter :: t -> Downwards t -> Expression (From t) -> InfoFromExpressionParts t -> ActualParameterData (To t) Source upwardsInputActualParameterInActualParameter :: t -> Downwards t -> Expression (From t) -> InfoFromExpressionParts t -> ActualParameterData (To t) -> Upwards t Source downwardsOutputActualParameterInActualParameter :: t -> Downwards t -> LeftValue (From t) -> Downwards t Source transformOutputActualParameterInActualParameter :: t -> Downwards t -> LeftValue (From t) -> InfoFromLeftValueParts t -> ActualParameterData (To t) Source upwardsOutputActualParameterInActualParameter :: t -> Downwards t -> LeftValue (From t) -> InfoFromLeftValueParts t -> ActualParameterData (To t) -> Upwards t Source transformIntConstant :: t -> Downwards t -> IntConstantType (From t) -> IntConstantType (To t) Source upwardsIntConstant :: t -> Downwards t -> IntConstantType (From t) -> IntConstantType (To t) -> Upwards t Source transformFloatConstant :: t -> Downwards t -> FloatConstantType (From t) -> FloatConstantType (To t) Source upwardsFloatConstant :: t -> Downwards t -> FloatConstantType (From t) -> FloatConstantType (To t) -> Upwards t Source transformBoolConstant :: t -> Downwards t -> BoolConstantType (From t) -> BoolConstantType (To t) Source upwardsBoolConstant :: t -> Downwards t -> BoolConstantType (From t) -> BoolConstantType (To t) -> Upwards t Source transformVariable :: t -> Downwards t -> Variable (From t) -> Variable (To t) Source upwardsVariable :: t -> Downwards t -> Variable (From t) -> Variable (To t) -> Upwards t Source walkProcedure :: Walker t Procedure Source walkBlock :: Walker t Block Source walkProgram :: Walker t Program Source walkEmptyProgramInProgram :: TransformationPhase t => t -> Downwards t -> Empty (From t) -> (ProgramConstruction (To t), Upwards t) Source walkPrimitiveProgramInProgram :: TransformationPhase t => t -> Downwards t -> Primitive (From t) -> (ProgramConstruction (To t), Upwards t) Source walkSequenceProgramInProgram :: TransformationPhase t => t -> Downwards t -> Sequence (From t) -> (ProgramConstruction (To t), Upwards t) Source walkBranchProgramInProgram :: TransformationPhase t => t -> Downwards t -> Branch (From t) -> (ProgramConstruction (To t), Upwards t) Source walkSequentialLoopProgramInProgram :: TransformationPhase t => t -> Downwards t -> SequentialLoop (From t) -> (ProgramConstruction (To t), Upwards t) Source walkParallelLoopProgramInProgram :: TransformationPhase t => t -> Downwards t -> ParallelLoop (From t) -> (ProgramConstruction (To t), Upwards t) Source walkFormalParameter :: Walker t FormalParameter Source walkLocalDeclaration :: Walker t LocalDeclaration Source walkExpression :: Walker t Expression Source walkLeftValueExpressionInExpression :: TransformationPhase t => t -> Downwards t -> LeftValue (From t) -> (ExpressionData (To t), Upwards t) Source walkConstantExpressionInExpression :: TransformationPhase t => t -> Downwards t -> Constant (From t) -> (ExpressionData (To t), Upwards t) Source walkFunctionCallExpressionInExpression :: TransformationPhase t => t -> Downwards t -> FunctionCall (From t) -> (ExpressionData (To t), Upwards t) Source walkConstant :: Walker t Constant Source walkIntConstantInConstant :: TransformationPhase t => t -> Downwards t -> IntConstantType (From t) -> (ConstantData (To t), Upwards t) Source walkFloatConstantInConstant :: TransformationPhase t => t -> Downwards t -> FloatConstantType (From t) -> (ConstantData (To t), Upwards t) Source walkBoolConstantInConstant :: TransformationPhase t => t -> Downwards t -> BoolConstantType (From t) -> (ConstantData (To t), Upwards t) Source walkArrayConstantInConstant :: TransformationPhase t => t -> Downwards t -> ArrayConstantType (From t) -> (ConstantData (To t), Upwards t) Source walkLeftValue :: Walker t LeftValue Source walkVariableLeftValueInLeftValue :: TransformationPhase t => t -> Downwards t -> Variable (From t) -> (LeftValueData (To t), Upwards t) Source walkArrayElemReferenceLeftValueInLeftValue :: TransformationPhase t => t -> Downwards t -> ArrayElemReference (From t) -> (LeftValueData (To t), Upwards t) Source walkInstruction :: Walker t Instruction Source walkAssignmentInstructionInInstruction :: TransformationPhase t => t -> Downwards t -> Assignment (From t) -> (InstructionData (To t), Upwards t) Source walkProcedureCallInstructionInInstruction :: TransformationPhase t => t -> Downwards t -> ProcedureCall (From t) -> (InstructionData (To t), Upwards t) Source walkActualParameter :: Walker t ActualParameter Source walkInputActualParameterInActualParameter :: TransformationPhase t => t -> Downwards t -> Expression (From t) -> (ActualParameterData (To t), Upwards t) Source walkOutputActualParameterInActualParameter :: TransformationPhase t => t -> Downwards t -> LeftValue (From t) -> (ActualParameterData (To t), Upwards t) Source walkVariable :: Walker t Variable Source Instances TransformationPhase PropagationTransform TransformationPhase BackwardPropagationCollect TransformationPhase BackwardPropagation TransformationPhase Precompilation TransformationPhase PrettyPrint TransformationPhase Unroll_2 TransformationPhase Unroll_1 TransformationPhase UnrollPlugin TransformationPhase ForwardPropagationTransform TransformationPhase ForwardPropagationCollect TransformationPhase ForwardPropagation TransformationPhase HandlePrimitives TransformationPhase HandleTraceFunctions

data TransformationPhase t => InfoFromProcedureParts t Source

Constructors InfoFromProcedureParts recursivelyTransformedInParameters :: [FormalParameter (To t)] upwardsInfoFromInParameters :: [Upwards t] recursivelyTransformedOutParameters :: [FormalParameter (To t)] upwardsInfoFromOutParameters :: [Upwards t] recursivelyTransformedProcedureBody :: Block (To t) upwardsInfoFromProcedureBody :: Upwards t

data TransformationPhase t => InfoFromBlockParts t Source

Constructors InfoFromBlockParts recursivelyTransformedBlockDeclarations :: [LocalDeclaration (To t)] upwardsInfoFromBlockDeclarations :: [Upwards t] recursivelyTransformedBlockInstructions :: Program (To t) upwardsInfoFromBlockInstructions :: Upwards t

data TransformationPhase t => InfoFromProgramParts t Source

Constructors InfoFromProgramParts recursivelyTransformedProgramConstruction :: ProgramConstruction (To t) upwardsInfoFromProgramConstruction :: Upwards t

data TransformationPhase t => InfoFromPrimitiveParts t Source

Constructors InfoFromPrimitiveParts recursivelyTransformedPrimitiveInstruction :: Instruction (To t) upwardsInfoFromPrimitiveInstruction :: Upwards t

data TransformationPhase t => InfoFromSequenceParts t Source

Constructors InfoFromSequenceParts recursivelyTransformedSequenceProgramList :: [Program (To t)] upwardsInfoFromSequenceProgramList :: [Upwards t]

data TransformationPhase t => InfoFromBranchParts t Source

Constructors InfoFromBranchParts recursivelyTransformedBranchConditionVariable :: Variable (To t) upwardsInfoFromBranchConditionVariable :: Upwards t recursivelyTransformedThenBlock :: Block (To t) upwardsInfoFromThenBlock :: Upwards t recursivelyTransformedElseBlock :: Block (To t) upwardsInfoFromElseBlock :: Upwards t

data TransformationPhase t => InfoFromSequentialLoopParts t Source

Constructors InfoFromSequentialLoopParts recursivelyTransformedSequentialLoopCondition :: Expression (To t) upwardsInfoFromSequentialLoopCondition :: Upwards t recursivelyTransformedConditionCalculation :: Block (To t) upwardsInfoFromConditionCalculation :: Upwards t recursivelyTransformedSequentialLoopCore :: Block (To t) upwardsInfoFromSequentialLoopCore :: Upwards t

data TransformationPhase t => InfoFromParallelLoopParts t Source

Constructors InfoFromParallelLoopParts recursivelyTransformedParallelLoopConditionVariable :: Variable (To t) upwardsInfoFromParallelLoopConditionVariable :: Upwards t recursivelyTransformedNumberOfIterations :: Expression (To t) upwardsInfoFromNumberOfIterations :: Upwards t recursivelyTransformedParallelLoopCore :: Block (To t) upwardsInfoFromParallelLoopCore :: Upwards t

data TransformationPhase t => InfoFromFormalParameterParts t Source

Constructors InfoFromFormalParameterParts recursivelyTransformedFormalParameterVariable :: Variable (To t) upwardsInfoFromFormalParameterVariable :: Upwards t

data TransformationPhase t => InfoFromLocalDeclarationParts t Source

Constructors InfoFromLocalDeclarationParts recursivelyTransformedLocalVariable :: Variable (To t) upwardsInfoFromLocalVariable :: Upwards t recursivelyTransformedLocalInitValue :: Maybe (Expression (To t)) upwardsInfoFromLocalInitValue :: Maybe (Upwards t)

data TransformationPhase t => InfoFromExpressionParts t Source

Constructors InfoFromExpressionParts recursivelyTransformedExpressionData :: ExpressionData (To t) upwardsInfoFromExpressionData :: Upwards t

data TransformationPhase t => InfoFromConstantParts t Source

Constructors InfoFromConstantParts recursivelyTransformedConstantData :: ConstantData (To t) upwardsInfoFromConstantData :: Upwards t

data TransformationPhase t => InfoFromFunctionCallParts t Source

Constructors InfoFromFunctionCallParts recursivelyTransformedActualParametersOfFunctionToCall :: [Expression (To t)] upwardsInfoFromActualParametersOfFunctionToCall :: [Upwards t]

data TransformationPhase t => InfoFromLeftValueParts t Source

Constructors InfoFromLeftValueParts recursivelyTransformedLeftValueData :: LeftValueData (To t) upwardsInfoFromLeftValueData :: Upwards t

data TransformationPhase t => InfoFromArrayElemReferenceParts t Source

Constructors InfoFromArrayElemReferenceParts recursivelyTransformedArrayName :: LeftValue (To t) upwardsInfoFromArrayName :: Upwards t recursivelyTransformedArrayIndex :: Expression (To t) upwardsInfoFromArrayIndex :: Upwards t

data TransformationPhase t => InfoFromInstructionParts t Source

Constructors InfoFromInstructionParts recursivelyTransformedInstructionData :: InstructionData (To t) upwardsInfoFromInstructionData :: Upwards t

data TransformationPhase t => InfoFromAssignmentParts t Source

Constructors InfoFromAssignmentParts recursivelyTransformedAssignmentLhs :: LeftValue (To t) upwardsInfoFromAssignmentLhs :: Upwards t recursivelyTransformedAssignmentRhs :: Expression (To t) upwardsInfoFromAssignmentRhs :: Upwards t

data TransformationPhase t => InfoFromProcedureCallParts t Source

Constructors InfoFromProcedureCallParts recursivelyTransformedActualParametersOfProcedureToCall :: [ActualParameter (To t)] upwardsInfoFromActualParametersOfProcedureToCall :: [Upwards t]

data TransformationPhase t => InfoFromActualParameterParts t Source

Constructors InfoFromActualParameterParts recursivelyTransformedActualParameterData :: ActualParameterData (To t) upwardsInfoFromActualParameterData :: Upwards t

data TransformationPhase t => InfoFromArrayConstantParts t Source

Constructors InfoFromArrayConstantParts recursivelyTransformedArrayConstantValue :: [Constant (To t)] upwardsInfoFromArrayConstantValue :: [Upwards t]

module Feldspar.Compiler.Imperative.Representation

module Feldspar.Compiler.Imperative.Semantics

module Feldspar.Compiler.PluginArchitecture.DefaultConvert

Produced by Haddock version 2.6.1