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

Feldspar.Compiler.Imperative.Semantics

Documentation

data InitSemInf Source

Instances SemanticInfo InitSemInf

data PrettyPrintSemanticInfo Source

Instances SemanticInfo PrettyPrintSemanticInfo ToC (Variable PrettyPrintSemanticInfo) ToC (ConstantData PrettyPrintSemanticInfo) ToC (ActualParameterData PrettyPrintSemanticInfo) ToC (ActualParameter PrettyPrintSemanticInfo) ToC (InstructionData PrettyPrintSemanticInfo) ToC (Instruction PrettyPrintSemanticInfo) ToC (LeftValueData PrettyPrintSemanticInfo) ToC (LeftValue PrettyPrintSemanticInfo) ToC (Constant PrettyPrintSemanticInfo) ToC (ExpressionData PrettyPrintSemanticInfo) ToC (Expression PrettyPrintSemanticInfo) ToC (LocalDeclaration PrettyPrintSemanticInfo) ToC (FormalParameter PrettyPrintSemanticInfo) ToC (Program PrettyPrintSemanticInfo) ToC (Block PrettyPrintSemanticInfo) ToC (Procedure PrettyPrintSemanticInfo)

data IsRestrict Source

Constructors Restrict NoRestrict Instances Eq IsRestrict Show IsRestrict Default IsRestrict

data IsDefaultArraySize Source

Constructors DefaultArraySize NoDefaultArraySize Instances Eq IsDefaultArraySize Show IsDefaultArraySize Default IsDefaultArraySize

class (Show (ProcedureInfo t), Eq (ProcedureInfo t), Show (BlockInfo t), Eq (BlockInfo t), Show (ProgramInfo t), Eq (ProgramInfo t), Show (EmptyInfo t), Eq (EmptyInfo t), Show (PrimitiveInfo t), Eq (PrimitiveInfo t), Show (SequenceInfo t), Eq (SequenceInfo t), Show (BranchInfo t), Eq (BranchInfo t), Show (SequentialLoopInfo t), Eq (SequentialLoopInfo t), Show (ParallelLoopInfo t), Eq (ParallelLoopInfo t), Show (FormalParameterInfo t), Eq (FormalParameterInfo t), Show (LocalDeclarationInfo t), Eq (LocalDeclarationInfo t), Show (ExpressionInfo t), Eq (ExpressionInfo t), Show (ConstantInfo t), Eq (ConstantInfo t), Show (FunctionCallInfo t), Eq (FunctionCallInfo t), Show (LeftValueInfo t), Eq (LeftValueInfo t), Show (ArrayElemReferenceInfo t), Eq (ArrayElemReferenceInfo t), Show (InstructionInfo t), Eq (InstructionInfo t), Show (AssignmentInfo t), Eq (AssignmentInfo t), Show (ProcedureCallInfo t), Eq (ProcedureCallInfo t), Show (ActualParameterInfo t), Eq (ActualParameterInfo t), Show (IntConstantInfo t), Eq (IntConstantInfo t), Show (FloatConstantInfo t), Eq (FloatConstantInfo t), Show (BoolConstantInfo t), Eq (BoolConstantInfo t), Show (ArrayConstantInfo t), Eq (ArrayConstantInfo t), Show (VariableInfo t), Eq (VariableInfo t)) => SemanticInfo t Source

Associated Types type ProcedureInfo t Source type BlockInfo t Source type ProgramInfo t Source type EmptyInfo t Source type PrimitiveInfo t Source type SequenceInfo t Source type BranchInfo t Source type SequentialLoopInfo t Source type ParallelLoopInfo t Source type FormalParameterInfo t Source type LocalDeclarationInfo t Source type ExpressionInfo t Source type ConstantInfo t Source type FunctionCallInfo t Source type LeftValueInfo t Source type ArrayElemReferenceInfo t Source type InstructionInfo t Source type AssignmentInfo t Source type ProcedureCallInfo t Source type ActualParameterInfo t Source type IntConstantInfo t Source type FloatConstantInfo t Source type BoolConstantInfo t Source type ArrayConstantInfo t Source type VariableInfo t Source Methods Instances SemanticInfo () SemanticInfo PrettyPrintSemanticInfo SemanticInfo InitSemInf SemanticInfo BackwardPropagationSemInf SemanticInfo PrecompilationSemanticInfo SemanticInfo UnrollSemInf SemanticInfo ForwardPropagationSemInf

Produced by Haddock version 2.6.1