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

Feldspar.Compiler.Imperative.Representation

Documentation

data SemanticInfo t => Procedure t Source

Constructors Procedure procedureName :: String inParameters :: [FormalParameter t] outParameters :: [FormalParameter t] procedureBody :: Block t procedureSemInf :: ProcedureInfo t Instances SemanticInfo t => Eq (Procedure t) SemanticInfo t => Show (Procedure t) ToC (Procedure PrettyPrintSemanticInfo)

data SemanticInfo t => Block t Source

Constructors Block blockDeclarations :: [LocalDeclaration t] blockInstructions :: Program t blockSemInf :: BlockInfo t Instances SemanticInfo t => Eq (Block t) SemanticInfo t => Show (Block t) ToC (Block PrettyPrintSemanticInfo)

data SemanticInfo t => Program t Source

Constructors Program programConstruction :: ProgramConstruction t programSemInf :: ProgramInfo t Instances SemanticInfo t => Eq (Program t) SemanticInfo t => Show (Program t) ToC (Program PrettyPrintSemanticInfo)

data SemanticInfo t => ProgramConstruction t Source

Constructors EmptyProgram (Empty t) PrimitiveProgram (Primitive t) SequenceProgram (Sequence t) BranchProgram (Branch t) SequentialLoopProgram (SequentialLoop t) ParallelLoopProgram (ParallelLoop t) Instances SemanticInfo t => Eq (ProgramConstruction t) SemanticInfo t => Show (ProgramConstruction t)

data SemanticInfo t => Empty t Source

Constructors Empty emptySemInf :: EmptyInfo t Instances SemanticInfo t => Eq (Empty t) SemanticInfo t => Show (Empty t)

data SemanticInfo t => Primitive t Source

Constructors Primitive primitiveInstruction :: Instruction t primitiveSemInf :: PrimitiveInfo t Instances SemanticInfo t => Eq (Primitive t) SemanticInfo t => Show (Primitive t)

data SemanticInfo t => Sequence t Source

Constructors Sequence sequenceProgramList :: [Program t] sequenceSemInf :: SequenceInfo t Instances SemanticInfo t => Eq (Sequence t) SemanticInfo t => Show (Sequence t)

data SemanticInfo t => Branch t Source

Constructors Branch branchConditionVariable :: Variable t thenBlock :: Block t elseBlock :: Block t branchSemInf :: BranchInfo t Instances SemanticInfo t => Eq (Branch t) SemanticInfo t => Show (Branch t) OccurrenceDownwards (Branch t)

data SemanticInfo t => SequentialLoop t Source

Constructors SequentialLoop sequentialLoopCondition :: Expression t conditionCalculation :: Block t sequentialLoopCore :: Block t sequentialLoopSemInf :: SequentialLoopInfo t Instances SemanticInfo t => Eq (SequentialLoop t) SemanticInfo t => Show (SequentialLoop t) OccurrenceDownwards (SequentialLoop t)

data SemanticInfo t => ParallelLoop t Source

Constructors ParallelLoop parallelLoopConditionVariable :: Variable t numberOfIterations :: Expression t parallelLoopStep :: Int parallelLoopCore :: Block t parallelLoopSemInf :: ParallelLoopInfo t Instances SemanticInfo t => Eq (ParallelLoop t) SemanticInfo t => Show (ParallelLoop t) OccurrenceDownwards (ParallelLoop t)

data SemanticInfo t => FormalParameter t Source

Constructors FormalParameter formalParameterVariable :: Variable t formalParameterSemInf :: FormalParameterInfo t Instances SemanticInfo t => Eq (FormalParameter t) SemanticInfo t => Show (FormalParameter t) OccurrenceDownwards (FormalParameter t) ToC (FormalParameter PrettyPrintSemanticInfo)

data SemanticInfo t => LocalDeclaration t Source

Constructors LocalDeclaration localVariable :: Variable t localInitValue :: Maybe (Expression t) localDeclarationSemInf :: LocalDeclarationInfo t Instances SemanticInfo t => Eq (LocalDeclaration t) SemanticInfo t => Show (LocalDeclaration t) OccurrenceDownwards (LocalDeclaration t) ToC (LocalDeclaration PrettyPrintSemanticInfo)

data SemanticInfo t => Expression t Source

Constructors Expression expressionData :: ExpressionData t expressionSemInf :: ExpressionInfo t Instances SemInfUtils Expression SemanticInfo t => Eq (Expression t) SemanticInfo t => Show (Expression t) OccurrenceDownwards (Expression t) SemanticInfo t => HasType (Expression t) ToC (Expression PrettyPrintSemanticInfo)

data SemanticInfo t => ExpressionData t Source

Constructors LeftValueExpression (LeftValue t) ConstantExpression (Constant t) FunctionCallExpression (FunctionCall t) Instances SemInfUtils ExpressionData SemanticInfo t => Eq (ExpressionData t) SemanticInfo t => Show (ExpressionData t) SemanticInfo t => HasType (ExpressionData t) ToC (ExpressionData PrettyPrintSemanticInfo)

data SemanticInfo t => Constant t Source

Constructors Constant constantData :: ConstantData t constantSemInf :: ConstantInfo t Instances SemInfUtils Constant SemanticInfo t => Eq (Constant t) SemanticInfo t => Show (Constant t) SemanticInfo t => HasType (Constant t) ToC (Constant PrettyPrintSemanticInfo)

data SemanticInfo t => FunctionCall t Source

Constructors FunctionCall roleOfFunctionToCall :: FunctionRole typeOfFunctionToCall :: Type nameOfFunctionToCall :: String actualParametersOfFunctionToCall :: [Expression t] functionCallSemInf :: FunctionCallInfo t Instances SemInfUtils FunctionCall SemanticInfo t => Eq (FunctionCall t) SemanticInfo t => Show (FunctionCall t)

data SemanticInfo t => LeftValue t Source

Constructors LeftValue leftValueData :: LeftValueData t leftValueSemInf :: LeftValueInfo t Instances SemInfUtils LeftValue SemanticInfo t => Eq (LeftValue t) SemanticInfo t => Show (LeftValue t) SemanticInfo t => HasType (LeftValue t) ToC (LeftValue PrettyPrintSemanticInfo)

data SemanticInfo t => LeftValueData t Source

Constructors VariableLeftValue (Variable t) ArrayElemReferenceLeftValue (ArrayElemReference t) Instances SemInfUtils LeftValueData SemanticInfo t => Eq (LeftValueData t) SemanticInfo t => Show (LeftValueData t) Default [(VariableData, LeftValueData ())] Default [(VariableData, LeftValueData (), Bool)] Default (Maybe (VariableData, LeftValueData (), Bool)) SemanticInfo t => HasType (LeftValueData t) ToC (LeftValueData PrettyPrintSemanticInfo) Combine (VarStatBck, [(VariableData, LeftValueData (), Bool)])

data SemanticInfo t => ArrayElemReference t Source

Constructors ArrayElemReference arrayName :: LeftValue t arrayIndex :: Expression t arrayElemReferenceSemInf :: ArrayElemReferenceInfo t Instances SemInfUtils ArrayElemReference SemanticInfo t => Eq (ArrayElemReference t) SemanticInfo t => Show (ArrayElemReference t)

data SemanticInfo t => Instruction t Source

Constructors Instruction instructionData :: InstructionData t instructionSemInf :: InstructionInfo t Instances SemanticInfo t => Eq (Instruction t) SemanticInfo t => Show (Instruction t) ToC (Instruction PrettyPrintSemanticInfo)

data SemanticInfo t => InstructionData t Source

Constructors AssignmentInstruction (Assignment t) ProcedureCallInstruction (ProcedureCall t) Instances SemanticInfo t => Eq (InstructionData t) SemanticInfo t => Show (InstructionData t) ToC (InstructionData PrettyPrintSemanticInfo)

data SemanticInfo t => Assignment t Source

Constructors Assignment assignmentLhs :: LeftValue t assignmentRhs :: Expression t assignmentSemInf :: AssignmentInfo t Instances SemanticInfo t => Eq (Assignment t) SemanticInfo t => Show (Assignment t) OccurrenceDownwards (Assignment t)

data SemanticInfo t => ProcedureCall t Source

Constructors ProcedureCall nameOfProcedureToCall :: String actualParametersOfProcedureToCall :: [ActualParameter t] procedureCallSemInf :: ProcedureCallInfo t Instances SemanticInfo t => Eq (ProcedureCall t) SemanticInfo t => Show (ProcedureCall t)

data SemanticInfo t => ActualParameter t Source

Constructors ActualParameter actualParameterData :: ActualParameterData t actualParameterSemInf :: ActualParameterInfo t Instances SemInfUtils ActualParameter SemanticInfo t => Eq (ActualParameter t) SemanticInfo t => Show (ActualParameter t) OccurrenceDownwards (ActualParameter t) SemanticInfo t => HasType (ActualParameter t) ToC (ActualParameter PrettyPrintSemanticInfo)

data SemanticInfo t => ActualParameterData t Source

Constructors InputActualParameter (Expression t) OutputActualParameter (LeftValue t) Instances SemInfUtils ActualParameterData SemanticInfo t => Eq (ActualParameterData t) SemanticInfo t => Show (ActualParameterData t) SemanticInfo t => HasType (ActualParameterData t) ToC (ActualParameterData PrettyPrintSemanticInfo)

data SemanticInfo t => ConstantData t Source

Constructors IntConstant (IntConstantType t) FloatConstant (FloatConstantType t) BoolConstant (BoolConstantType t) ArrayConstant (ArrayConstantType t) Instances SemInfUtils ConstantData SemanticInfo t => Eq (ConstantData t) SemanticInfo t => Show (ConstantData t) SemanticInfo t => HasType (ConstantData t) ToC (ConstantData PrettyPrintSemanticInfo)

data SemanticInfo t => IntConstantType t Source

Constructors IntConstantType intConstantValue :: Int intConstantSemInf :: IntConstantInfo t Instances SemInfUtils IntConstantType SemanticInfo t => Eq (IntConstantType t) SemanticInfo t => Show (IntConstantType t)

data SemanticInfo t => FloatConstantType t Source

Constructors FloatConstantType floatConstantValue :: Float floatConstantSemInf :: FloatConstantInfo t Instances SemInfUtils FloatConstantType SemanticInfo t => Eq (FloatConstantType t) SemanticInfo t => Show (FloatConstantType t)

data SemanticInfo t => BoolConstantType t Source

Constructors BoolConstantType boolConstantValue :: Bool boolConstantSemInf :: BoolConstantInfo t Instances SemInfUtils BoolConstantType SemanticInfo t => Eq (BoolConstantType t) SemanticInfo t => Show (BoolConstantType t)

data SemanticInfo t => ArrayConstantType t Source

Constructors ArrayConstantType arrayConstantValue :: [Constant t] arrayConstantSemInf :: ArrayConstantInfo t Instances SemInfUtils ArrayConstantType SemanticInfo t => Eq (ArrayConstantType t) SemanticInfo t => Show (ArrayConstantType t)

data SemanticInfo t => Variable t Source

Constructors Variable variableRole :: VariableRole variableType :: Type variableName :: String variableSemInf :: VariableInfo t Instances SemInfUtils Variable SemanticInfo t => Eq (Variable t) SemanticInfo t => Show (Variable t) SemanticInfo t => HasType (Variable t) ToC (Variable PrettyPrintSemanticInfo)

data Length Source

Constructors Norm Int Defined Int Undefined Instances Eq Length Show Length

data Size Source

Constructors S8 S16 S32 S40 S64 Instances Eq Size Show Size

data Signedness Source

Constructors ImpSigned ImpUnsigned Instances Eq Signedness Show Signedness

data Type Source

Constructors BoolType FloatType Numeric Signedness Size ImpArrayType Length Type UserType String Instances Eq Type Show Type ToC Type

data FunctionRole Source

Constructors SimpleFun InfixOp PrefixOp Instances Eq FunctionRole Show FunctionRole

data VariableRole Source

Constructors Value FunOut Instances Eq VariableRole Show VariableRole

Produced by Haddock version 2.6.1