feldspar-compiler-0.3: Compiler for the Feldspar language
Source code
Contents
Index
Feldspar.Compiler.Transformation.GraphToImperative
Documentation
graphToImperative
::
HierarchicalGraph
-> [
Procedure
InitSemInf
]
Source
data
ProcedureSource
Source
Constructors
ProcedureSource
interface
::
Interface
hierarchy
::
Hierarchy
class
Collect
t
where
Source
Methods
collectSources
:: t -> [
ProcedureSource
]
Source
Instances
Collect
Hierarchy
Collect
HierarchicalGraph
Collect
t =>
Collect
[t]
Collect
(
Node
, [
Hierarchy
])
transformSourceToProcedure
::
ProcedureSource
->
Procedure
InitSemInf
Source
transformNodeToFormalParameter
::
Node
-> [
FormalParameter
InitSemInf
]
Source
transformNodeToLocalDeclaration
::
Node
-> [
LocalDeclaration
InitSemInf
]
Source
transformNodeListToFormalParameters
:: [
Node
] -> [
FormalParameter
InitSemInf
]
Source
transformNodeListToLocalDeclarations
:: [
Node
] -> [
LocalDeclaration
InitSemInf
]
Source
transformNodeToProgram
:: (
Node
, [
Hierarchy
]) ->
Program
InitSemInf
Source
transformNodeListToPrograms
:: [(
Node
, [
Hierarchy
])] -> [
Program
InitSemInf
]
Source
varPrefix
::
NodeId
->
String
Source
varPath
:: [
Int
] ->
String
Source
varName
::
NodeId
-> [
Int
] ->
String
Source
genVar
::
NodeId
-> [
Int
] ->
Type
->
Expression
InitSemInf
Source
outPrefix
::
String
Source
outName
:: [
Int
] ->
String
Source
genOut
:: [
Int
] ->
Type
->
Expression
InitSemInf
Source
passInArgs
::
Tuple
Source
->
Tuple
StorableType
-> [
ActualParameter
InitSemInf
]
Source
passOutArgs
::
NodeId
->
Tuple
StorableType
-> [
ActualParameter
InitSemInf
]
Source
compileStorableType
::
StorableType
->
Type
Source
compilePrimitiveType
::
PrimitiveType
->
Type
Source
compileStorableDataToConst
::
StorableData
->
Constant
InitSemInf
Source
compilePrimDataToConst
::
PrimitiveData
->
Constant
InitSemInf
Source
compileStorableData
::
StorableData
->
StorableType
->
Expression
InitSemInf
Source
compilePrimData
::
PrimitiveData
->
PrimitiveType
->
Expression
InitSemInf
Source
transformSourceToExpr
::
Source
->
StorableType
->
Expression
InitSemInf
Source
makeCopyFromIds
:: (
NodeId
, [
Int
],
StorableType
) -> (
NodeId
, [
Int
],
StorableType
) ->
Instruction
InitSemInf
Source
makeCopyFromExprs
::
Expression
InitSemInf
->
Expression
InitSemInf
->
Instruction
InitSemInf
Source
copyNode
::
NodeId
->
NodeId
->
Tuple
StorableType
->
Bool
-> [
Program
InitSemInf
]
Source
copyResult
::
Tuple
Source
->
NodeId
->
Tuple
StorableType
->
Bool
-> [
Program
InitSemInf
]
Source
copyToOutput
::
Tuple
Source
->
Tuple
StorableType
->
Bool
-> [
Program
InitSemInf
]
Source
varToExpr
::
Variable
InitSemInf
->
Expression
InitSemInf
Source
Produced by
Haddock
version 2.6.1