Compilation.ProcedureContext

Documentation

type ExprMap c = Map String (Expression c)

data ProcedureContext c

Constructors

ProcedureContext

Fields

• pcScope :: SymbolScope
• pcType :: CategoryName
• pcExtParams :: Positional (ValueParam c)
• pcIntParams :: Positional (ValueParam c)
• pcMembers :: [DefinedMember c]
• pcCategories :: CategoryMap c
• pcAllFilters :: ParamFilters
• pcExtFilters :: [ParamFilter c]
• pcIntFilters :: [ParamFilter c]
• pcParamScopes :: Map ParamName SymbolScope
• pcFunctions :: Map FunctionName (ScopedFunction c)
• pcVariables :: Map VariableName (VariableValue c)
• pcReturns :: ReturnValidation c
• pcPrimNamed :: [ReturnVariable]
• pcRequiredTypes :: Set CategoryName
• pcOutput :: [String]
• pcDisallowInit :: Bool
• pcLoopSetup :: LoopSetup [String]
• pcCleanupSetup :: CleanupSetup (ProcedureContext c) [String]
• pcExprMap :: ExprMap c
• pcNoTrace :: Bool

Instances

(Show c, MergeableM m, CompileErrorM m) => CompilerContext c m [String] (ProcedureContext c)

Defined in Compilation.ProcedureContext

Methods

ccCurrentScope :: ProcedureContext c -> m SymbolScope

ccResolver :: ProcedureContext c -> m AnyTypeResolver

ccSameType :: ProcedureContext c -> TypeInstance -> m Bool

ccAllFilters :: ProcedureContext c -> m ParamFilters

ccGetParamScope :: ProcedureContext c -> ParamName -> m SymbolScope

ccRequiresTypes :: ProcedureContext c -> Set CategoryName -> m (ProcedureContext c)

ccGetRequired :: ProcedureContext c -> m (Set CategoryName)

ccGetCategoryFunction :: ProcedureContext c -> [c] -> Maybe CategoryName -> FunctionName -> m (ScopedFunction c)

ccGetTypeFunction :: ProcedureContext c -> [c] -> Maybe GeneralInstance -> FunctionName -> m (ScopedFunction c)

ccCheckValueInit :: ProcedureContext c -> [c] -> TypeInstance -> ExpressionType -> Positional GeneralInstance -> m ()

ccGetVariable :: ProcedureContext c -> [c] -> VariableName -> m (VariableValue c)

ccAddVariable :: ProcedureContext c -> [c] -> VariableName -> VariableValue c -> m (ProcedureContext c)

ccCheckVariableInit :: ProcedureContext c -> [c] -> VariableName -> m ()

ccWrite :: ProcedureContext c -> [String] -> m (ProcedureContext c)

ccGetOutput :: ProcedureContext c -> m [String]

ccClearOutput :: ProcedureContext c -> m (ProcedureContext c)

ccUpdateAssigned :: ProcedureContext c -> VariableName -> m (ProcedureContext c)

ccInheritReturns :: ProcedureContext c -> [ProcedureContext c] -> m (ProcedureContext c)

ccRegisterReturn :: ProcedureContext c -> [c] -> Maybe ExpressionType -> m (ProcedureContext c)

ccPrimNamedReturns :: ProcedureContext c -> m [ReturnVariable]

ccIsUnreachable :: ProcedureContext c -> m Bool

ccIsNamedReturns :: ProcedureContext c -> m Bool

ccSetNoReturn :: ProcedureContext c -> m (ProcedureContext c)

ccStartLoop :: ProcedureContext c -> LoopSetup [String] -> m (ProcedureContext c)

ccGetLoop :: ProcedureContext c -> m (LoopSetup [String])

ccPushCleanup :: ProcedureContext c -> CleanupSetup (ProcedureContext c) [String] -> m (ProcedureContext c)

ccGetCleanup :: ProcedureContext c -> m (CleanupSetup (ProcedureContext c) [String])

ccExprLookup :: ProcedureContext c -> [c] -> String -> m (Expression c)

ccSetNoTrace :: ProcedureContext c -> Bool -> m (ProcedureContext c)

ccGetNoTrace :: ProcedureContext c -> m Bool

data ReturnValidation c

Constructors

ValidatePositions

Fields

• vpReturns :: Positional (PassedValue c)

ValidateNames

Fields

• vnTypes :: Positional (PassedValue c)
• vnRemaining :: Map VariableName (PassedValue c)

UnreachableCode

updateArgVariables :: (Show c, CompileErrorM m, MergeableM m) => Map VariableName (VariableValue c) -> Positional (PassedValue c) -> ArgValues c -> m (Map VariableName (VariableValue c))

updateReturnVariables :: (Show c, CompileErrorM m, MergeableM m) => Map VariableName (VariableValue c) -> Positional (PassedValue c) -> ReturnValues c -> m (Map VariableName (VariableValue c))