feldspar-compiler-0.3: Compiler for the Feldspar languageSource codeContentsIndex
Feldspar.Compiler.Plugins.PropagationUtils
Documentation
data VariableData Source
Constructors
VariableData
variableDataType :: Type
variableDataName :: String
show/hide Instances
variableData :: SemanticInfo t => Variable t -> VariableDataSource
type VarStatistics t = Map VariableData (Occurrences t)Source
data Occurrences t Source
Constructors
Occurrences
writeVar :: Occurrence (Maybe t)
readVar :: Occurrence ()
show/hide Instances
data Occurrence t Source
Constructors
Zero
One t
Multiple
show/hide Instances
hasUse :: VarStatistics t -> VariableData -> BoolSource
notUse :: VarStatistics t -> VariableData -> BoolSource
hasRead :: VarStatistics t -> VariableData -> BoolSource
notRead :: VarStatistics t -> VariableData -> BoolSource
hasWrite :: VarStatistics t -> VariableData -> BoolSource
notWrite :: VarStatistics t -> VariableData -> BoolSource
getWrite :: VarStatistics t -> VariableData -> Maybe tSource
multipleVarStatistics :: VarStatistics t -> VarStatistics tSource
variablesInVarStatistics :: VarStatistics t -> [VariableData]Source
selectFromVarStatistics :: [VariableData] -> VarStatistics t -> VarStatistics tSource
deleteFromVarStatistics :: [VariableData] -> VarStatistics t -> VarStatistics tSource
data Occurrence_place Source
Constructors
Occurrence_read
Occurrence_write
Occurrence_declare
Occurrence_notopt
show/hide Instances
class OccurrenceDownwards node whereSource
Methods
occurrenceDownwards :: node -> Occurrence_placeSource
show/hide Instances
declaredVar :: SemanticInfo t => LocalDeclaration t -> VariableDataSource
declaredVars :: SemanticInfo t => Block t -> [VariableData]Source
delUnusedDecl :: ConvertAllInfos via to => [VariableData] -> Block via -> [LocalDeclaration to] -> Program to -> Block toSource
class SemInfUtils node whereSource
Methods
deleteSemInf :: SemanticInfo t => node t -> node ()Source
show/hide Instances
Produced by Haddock version 2.6.1