Compilation.CompilerState

Documentation

data CleanupSetup a s

Constructors

CleanupSetup

Fields

• csReturnContext :: [a]
• csCleanup :: s

class (Functor m, Monad m) => CompilerContext c m s a | a -> c s where

Methods

ccCurrentScope :: a -> m SymbolScope

ccResolver :: a -> m AnyTypeResolver

ccSameType :: a -> TypeInstance -> m Bool

ccAllFilters :: a -> m ParamFilters

ccGetParamScope :: a -> ParamName -> m SymbolScope

ccRequiresTypes :: a -> Set CategoryName -> m a

ccGetRequired :: a -> m (Set CategoryName)

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

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

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

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

ccAddVariable :: a -> [c] -> VariableName -> VariableValue c -> m a

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

ccWrite :: a -> s -> m a

ccGetOutput :: a -> m s

ccClearOutput :: a -> m a

ccUpdateAssigned :: a -> VariableName -> m a

ccInheritReturns :: a -> [a] -> m a

ccRegisterReturn :: a -> [c] -> Maybe ExpressionType -> m a

ccPrimNamedReturns :: a -> m [ReturnVariable]

ccIsUnreachable :: a -> m Bool

ccIsNamedReturns :: a -> m Bool

ccSetNoReturn :: a -> m a

ccStartLoop :: a -> LoopSetup s -> m a

ccGetLoop :: a -> m (LoopSetup s)

ccPushCleanup :: a -> CleanupSetup a s -> m a

ccGetCleanup :: a -> m (CleanupSetup a s)

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

ccSetNoTrace :: a -> Bool -> m a

ccGetNoTrace :: a -> m 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 CompiledData s

Constructors

CompiledData

Fields

• cdRequired :: Set CategoryName
• cdOutput :: s

Instances

Monoid s => Mergeable (CompiledData s)

Defined in Compilation.CompilerState

Methods

mergeAny :: Foldable f => f (CompiledData s) -> CompiledData s

mergeAll :: Foldable f => f (CompiledData s) -> CompiledData s

type CompilerState a m = StateT a m

type ExpressionType = Positional ValueType

data LoopSetup s

Constructors

LoopSetup

Fields

• lsUpdate :: s

NotInLoop

data MemberValue c

Constructors

MemberValue

Fields

• mvContext :: [c]
• mvName :: VariableName
• mvType :: ValueType

Instances

Show c => Show (MemberValue c)

Defined in Compilation.CompilerState

Methods

showsPrec :: Int -> MemberValue c -> ShowS

show :: MemberValue c -> String

showList :: [MemberValue c] -> ShowS

data ReturnVariable

Constructors

ReturnVariable

Fields

• rvIndex :: Int
• rvName :: VariableName
• rvType :: ValueType

Instances

Show ReturnVariable

Defined in Compilation.CompilerState

Methods

showsPrec :: Int -> ReturnVariable -> ShowS

show :: ReturnVariable -> String

showList :: [ReturnVariable] -> ShowS

(<???) :: CompileErrorM m => CompilerState a m b -> String -> CompilerState a m b

(???>) :: CompileErrorM m => String -> CompilerState a m b -> CompilerState a m b

csAddVariable :: CompilerContext c m s a => [c] -> VariableName -> VariableValue c -> CompilerState a m ()

csAllFilters :: CompilerContext c m s a => CompilerState a m ParamFilters

csCheckValueInit :: CompilerContext c m s a => [c] -> TypeInstance -> ExpressionType -> Positional GeneralInstance -> CompilerState a m ()

csCheckVariableInit :: CompilerContext c m s a => [c] -> VariableName -> CompilerState a m ()

csClearOutput :: CompilerContext c m s a => CompilerState a m ()

csCurrentScope :: CompilerContext c m s a => CompilerState a m SymbolScope

csExprLookup :: CompilerContext c m s a => [c] -> String -> CompilerState a m (Expression c)

csGetCategoryFunction :: CompilerContext c m s a => [c] -> Maybe CategoryName -> FunctionName -> CompilerState a m (ScopedFunction c)

csGetCleanup :: CompilerContext c m s a => CompilerState a m (CleanupSetup a s)

csGetLoop :: CompilerContext c m s a => CompilerState a m (LoopSetup s)

csGetNoTrace :: CompilerContext c m s a => CompilerState a m Bool

csGetOutput :: CompilerContext c m s a => CompilerState a m s

csGetParamScope :: CompilerContext c m s a => ParamName -> CompilerState a m SymbolScope

csGetTypeFunction :: CompilerContext c m s a => [c] -> Maybe GeneralInstance -> FunctionName -> CompilerState a m (ScopedFunction c)

csGetVariable :: CompilerContext c m s a => [c] -> VariableName -> CompilerState a m (VariableValue c)

csInheritReturns :: CompilerContext c m s a => [a] -> CompilerState a m ()

csIsNamedReturns :: CompilerContext c m s a => CompilerState a m Bool

csIsUnreachable :: CompilerContext c m s a => CompilerState a m Bool

csPrimNamedReturns :: CompilerContext c m s a => CompilerState a m [ReturnVariable]

csPushCleanup :: CompilerContext c m s a => CleanupSetup a s -> CompilerState a m ()

csRegisterReturn :: CompilerContext c m s a => [c] -> Maybe ExpressionType -> CompilerState a m ()

csRequiresTypes :: CompilerContext c m s a => Set CategoryName -> CompilerState a m ()

csResolver :: CompilerContext c m s a => CompilerState a m AnyTypeResolver

csSameType :: CompilerContext c m s a => TypeInstance -> CompilerState a m Bool

csSetNoReturn :: CompilerContext c m s a => CompilerState a m ()

csSetNoTrace :: CompilerContext c m s a => Bool -> CompilerState a m ()

csStartLoop :: CompilerContext c m s a => LoopSetup s -> CompilerState a m ()

csUpdateAssigned :: CompilerContext c m s a => VariableName -> CompilerState a m ()

csWrite :: CompilerContext c m s a => s -> CompilerState a m ()

getCleanContext :: CompilerContext c m s a => CompilerState a m a

resetBackgroundStateT :: CompileErrorM m => CompilerState a m b -> CompilerState a m b

runDataCompiler :: CompilerContext c m s a => CompilerState a m b -> a -> m (CompiledData s)

Orphan instances

Show c => Show (VariableValue c)

Methods

showsPrec :: Int -> VariableValue c -> ShowS

show :: VariableValue c -> String

showList :: [VariableValue c] -> ShowS