Compilation.CompilerState

Documentation

data CleanupBlock c s

Constructors

CleanupBlock

Fields

• csCleanup :: s
• csDeferred :: DeferVariable c
• csUsesVars :: [UsedVariable c]
• csJumpType :: JumpType
• csRequires :: Set CategoryName

Instances

(Show s, Show c) => Show (CleanupBlock c s)

Defined in Compilation.CompilerState

Methods

showsPrec :: Int -> CleanupBlock c s -> ShowS

show :: CleanupBlock c s -> String

showList :: [CleanupBlock c s] -> ShowS

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

ccSelfType :: a -> m TypeInstance

ccAllFilters :: a -> m ParamFilters

ccGetParamScope :: a -> ParamName -> m SymbolScope

ccAddRequired :: 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 -> m ()

ccGetVariable :: a -> UsedVariable c -> m (VariableValue c)

ccAddVariable :: a -> UsedVariable c -> VariableValue c -> m a

ccSetDeferred :: a -> UsedVariable c -> m a

ccSetReadOnly :: a -> UsedVariable c -> m a

ccSetHidden :: a -> UsedVariable c -> m a

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

ccWrite :: a -> s -> m a

ccGetOutput :: a -> m s

ccClearOutput :: a -> m a

ccUpdateAssigned :: a -> VariableName -> m a

ccAddUsed :: a -> UsedVariable c -> m a

ccInheritUsed :: a -> a -> m a

ccInheritStatic :: a -> [a] -> m a

ccInheritDeferred :: a -> DeferVariable c -> m a

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

ccPrimNamedReturns :: a -> m [ReturnVariable]

ccIsUnreachable :: a -> m Bool

ccIsNamedReturns :: a -> m Bool

ccSetJumpType :: a -> [c] -> JumpType -> m a

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

ccGetLoop :: a -> m (LoopSetup s)

ccStartCleanup :: a -> [c] -> m a

ccPushCleanup :: a -> a -> m a

ccGetCleanup :: a -> JumpType -> m (CleanupBlock c s)

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

ccReserveExprMacro :: a -> [c] -> MacroName -> m a

ccReleaseExprMacro :: a -> [c] -> MacroName -> m a

ccSetNoTrace :: a -> Bool -> m a

ccGetNoTrace :: a -> m Bool

ccGetTestsOnly :: a -> m Bool

ccAddTrace :: a -> String -> m a

ccGetTraces :: a -> m [String]

ccCanForward :: a -> [ParamName] -> [VariableName] -> m Bool

ccDelegateArgs :: a -> m (Positional (Maybe (CallArgLabel c), VariableName))

Instances

(Show c, CollectErrorsM 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

ccSelfType :: ProcedureContext c -> m TypeInstance

ccAllFilters :: ProcedureContext c -> m ParamFilters

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

ccAddRequired :: 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 -> m ()

ccGetVariable :: ProcedureContext c -> UsedVariable c -> m (VariableValue c)

ccAddVariable :: ProcedureContext c -> UsedVariable c -> VariableValue c -> m (ProcedureContext c)

ccSetDeferred :: ProcedureContext c -> UsedVariable c -> m (ProcedureContext c)

ccSetReadOnly :: ProcedureContext c -> UsedVariable c -> m (ProcedureContext c)

ccSetHidden :: ProcedureContext c -> UsedVariable c -> m (ProcedureContext c)

ccCheckVariableInit :: ProcedureContext c -> [UsedVariable c] -> 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)

ccAddUsed :: ProcedureContext c -> UsedVariable c -> m (ProcedureContext c)

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

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

ccInheritDeferred :: ProcedureContext c -> DeferVariable 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

ccSetJumpType :: ProcedureContext c -> [c] -> JumpType -> m (ProcedureContext c)

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

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

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

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

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

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

ccReserveExprMacro :: ProcedureContext c -> [c] -> MacroName -> m (ProcedureContext c)

ccReleaseExprMacro :: ProcedureContext c -> [c] -> MacroName -> m (ProcedureContext c)

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

ccGetNoTrace :: ProcedureContext c -> m Bool

ccGetTestsOnly :: ProcedureContext c -> m Bool

ccAddTrace :: ProcedureContext c -> String -> m (ProcedureContext c)

ccGetTraces :: ProcedureContext c -> m [String]

ccCanForward :: ProcedureContext c -> [ParamName] -> [VariableName] -> m Bool

ccDelegateArgs :: ProcedureContext c -> m (Positional (Maybe (CallArgLabel c), VariableName))

data CompiledData s

Constructors

CompiledData

Fields

• cdRequired :: Set CategoryName
• cdTraces :: Set String
• cdOutput :: s

Instances

(Semigroup s, Monoid s) => Monoid (CompiledData s)

Defined in Compilation.CompilerState

Methods

mempty :: CompiledData s

mappend :: CompiledData s -> CompiledData s -> CompiledData s

mconcat :: [CompiledData s] -> CompiledData s

Semigroup s => Semigroup (CompiledData s)

Defined in Compilation.CompilerState

Methods

(<>) :: CompiledData s -> CompiledData s -> CompiledData s

sconcat :: NonEmpty (CompiledData s) -> CompiledData s

stimes :: Integral b => b -> CompiledData s -> CompiledData s

type CompilerState a m = StateT a m

newtype DeferVariable c

Constructors

DeferVariable

Fields

• dvDeferred :: Map VariableName (PassedValue c)

Instances

Show c => Show (DeferVariable c)

Defined in Compilation.CompilerState

Methods

showsPrec :: Int -> DeferVariable c -> ShowS

show :: DeferVariable c -> String

showList :: [DeferVariable c] -> ShowS

data LoopSetup s

Constructors

LoopSetup

Fields

• lsUpdate :: s

NotInLoop

data JumpType

Constructors

NextStatement

JumpContinue

JumpBreak

JumpReturn

JumpImmediateExit

JumpMax

Instances

Show JumpType

Defined in Compilation.CompilerState

Methods

showsPrec :: Int -> JumpType -> ShowS

show :: JumpType -> String

showList :: [JumpType] -> ShowS

Eq JumpType

Defined in Compilation.CompilerState

Methods

(==) :: JumpType -> JumpType -> Bool

(/=) :: JumpType -> JumpType -> Bool

Ord JumpType

Defined in Compilation.CompilerState

Methods

compare :: JumpType -> JumpType -> Ordering

(<) :: JumpType -> JumpType -> Bool

(<=) :: JumpType -> JumpType -> Bool

(>) :: JumpType -> JumpType -> Bool

(>=) :: JumpType -> JumpType -> Bool

max :: JumpType -> JumpType -> JumpType

min :: JumpType -> JumpType -> JumpType

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

data UsedVariable c

Constructors

UsedVariable

Fields

• uvContext :: [c]
• uvName :: VariableName

Instances

Show c => Show (UsedVariable c)

Defined in Compilation.CompilerState

Methods

showsPrec :: Int -> UsedVariable c -> ShowS

show :: UsedVariable c -> String

showList :: [UsedVariable c] -> ShowS

Eq c => Eq (UsedVariable c)

Defined in Compilation.CompilerState

Methods

(==) :: UsedVariable c -> UsedVariable c -> Bool

(/=) :: UsedVariable c -> UsedVariable c -> Bool

Ord c => Ord (UsedVariable c)

Defined in Compilation.CompilerState

Methods

compare :: UsedVariable c -> UsedVariable c -> Ordering

(<) :: UsedVariable c -> UsedVariable c -> Bool

(<=) :: UsedVariable c -> UsedVariable c -> Bool

(>) :: UsedVariable c -> UsedVariable c -> Bool

(>=) :: UsedVariable c -> UsedVariable c -> Bool

max :: UsedVariable c -> UsedVariable c -> UsedVariable c

min :: UsedVariable c -> UsedVariable c -> UsedVariable c

addDeferred :: VariableName -> PassedValue c -> DeferVariable c -> DeferVariable c

autoSelfType :: CompilerContext c m s a => CompilerState a m GeneralInstance

branchDeferred :: [DeferVariable c] -> DeferVariable c

checkDeferred :: VariableName -> DeferVariable c -> Bool

concatM :: (Semigroup s, Monoid s, CollectErrorsM m) => [m (CompiledData s)] -> m (CompiledData s)

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

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

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

csAddVariable :: CompilerContext c m s a => UsedVariable c -> VariableValue c -> CompilerState a m ()

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

csCanForward :: CompilerContext c m s a => [ParamName] -> [VariableName] -> CompilerState a m Bool

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

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

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

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

csDelegateArgs :: CompilerContext c m s a => CompilerState a m (Positional (Maybe (CallArgLabel c), VariableName))

csExprLookup :: CompilerContext c m s a => [c] -> MacroName -> 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 => JumpType -> CompilerState a m (CleanupBlock c 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

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

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

csGetVariable :: CompilerContext c m s a => UsedVariable c -> CompilerState a m (VariableValue c)

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

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

csInheritUsed :: 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 => a -> CompilerState a m ()

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

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

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

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

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

csSelfType :: CompilerContext c m s a => CompilerState a m TypeInstance

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

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

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

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

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

csStartCleanup :: CompilerContext c m s a => [c] -> 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 ()

emptyCleanupBlock :: Monoid s => CleanupBlock c s

emptyDeferred :: DeferVariable c

followDeferred :: DeferVariable c -> DeferVariable c -> DeferVariable c

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

removeDeferred :: VariableName -> DeferVariable c -> DeferVariable c

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