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

Feldspar.Compiler.Imperative.CodeGeneration

Documentation

data Place Source

Constructors Declaration_pl MainParameter_pl ValueNeed_pl AddressNeed_pl FunctionCallIn_pl Instances Eq Place Show Place

compToC :: ToC a => Platform -> a -> String Source

class ToC a where Source

Methods toC :: Platform -> Place -> a -> String Source Instances ToC Type ToC a => ToC [a] ToC a => ToC (Maybe a) 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)

show_variable :: Platform -> Place -> VariableRole -> Type -> String -> IsRestrict -> String Source

toCArray :: Platform -> Place -> ConstantData PrettyPrintSemanticInfo -> String Source

class HasType a where Source

Methods typeof :: a -> Type Source Instances SemanticInfo t => HasType (Variable t) SemanticInfo t => HasType (ConstantData t) SemanticInfo t => HasType (ActualParameterData t) SemanticInfo t => HasType (ActualParameter t) SemanticInfo t => HasType (LeftValueData t) SemanticInfo t => HasType (LeftValue t) SemanticInfo t => HasType (Constant t) SemanticInfo t => HasType (ExpressionData t) SemanticInfo t => HasType (Expression t)

ind :: (a -> String) -> a -> String Source

listprint :: (a -> String) -> String -> [a] -> String Source

parameterToExpression :: SemanticInfo t => ActualParameter t -> Expression t Source

decrArrayDepth :: Type -> Type Source

simpleType :: Type -> Bool Source

toLeftValue :: SemanticInfo t => Expression t -> LeftValue t Source

contains :: SemanticInfo t => String -> Expression t -> Bool Source

getVarName :: SemanticInfo t => LeftValue t -> String Source

Produced by Haddock version 2.6.1