Compilation.ScopeContext

Documentation

data ProcedureScope c

Constructors

ProcedureScope

Fields

• psContext :: ScopeContext c
• psProcedures :: [(ScopedFunction c, ExecutableProcedure c)]

data ScopeContext c

Constructors

ScopeContext

Fields

• scCategories :: CategoryMap c
• scName :: CategoryName
• scParams :: Positional (ValueParam c)
• scValueMembers :: [DefinedMember c]
• scFilters :: [ParamFilter c]
• scFunctions :: Map FunctionName (ScopedFunction c)
• scVariables :: Map VariableName (VariableValue c)
• scExprMap :: ExprMap c

applyProcedureScope :: (ScopeContext c -> ScopedFunction c -> ExecutableProcedure c -> a) -> ProcedureScope c -> [a]

builtinVariables :: TypeInstance -> Map VariableName (VariableValue c)

getProcedureScopes :: (Ord c, Show c, CollectErrorsM m) => CategoryMap c -> ExprMap c -> DefinedCategory c -> m [ProcedureScope c]