Types.DefinedCategory

Documentation

data DefinedCategory c

Constructors

DefinedCategory

Fields

• dcContext :: [c]
• dcName :: CategoryName
• dcParams :: [ValueParam c]
• dcRefines :: [ValueRefine c]
• dcDefines :: [ValueDefine c]
• dcParamFilter :: [ParamFilter c]
• dcMembers :: [DefinedMember c]
• dcProcedures :: [ExecutableProcedure c]
• dcFunctions :: [ScopedFunction c]

Instances

Show c => Show (DefinedCategory c)

Defined in Types.DefinedCategory

Methods

showsPrec :: Int -> DefinedCategory c -> ShowS

show :: DefinedCategory c -> String

showList :: [DefinedCategory c] -> ShowS

ParseFromSource (DefinedCategory SourcePos)

Defined in Parser.DefinedCategory

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (DefinedCategory SourcePos)

data DefinedMember c

Constructors

DefinedMember

Fields

• dmContext :: [c]
• dmScope :: SymbolScope
• dmType :: ValueType
• dmName :: VariableName
• dmInit :: Maybe (Expression c)

Instances

Show c => Show (DefinedMember c)

Defined in Types.DefinedCategory

Methods

showsPrec :: Int -> DefinedMember c -> ShowS

show :: DefinedMember c -> String

showList :: [DefinedMember c] -> ShowS

ParseFromSource (DefinedMember SourcePos)

Defined in Parser.DefinedCategory

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m (DefinedMember SourcePos)

data VariableValue c

Constructors

VariableValue

Fields

• vvContext :: [c]
• vvScope :: SymbolScope
• vvType :: ValueType
• vvWritable :: Bool

Instances

Show c => Show (VariableValue c)

Defined in Compilation.CompilerState

Methods

showsPrec :: Int -> VariableValue c -> ShowS

show :: VariableValue c -> String

showList :: [VariableValue c] -> ShowS

isInitialized :: DefinedMember c -> Bool

mapMembers :: (Show c, CompileErrorM m) => [DefinedMember c] -> m (Map VariableName (VariableValue c))

mergeInternalInheritance :: (Show c, CompileErrorM m) => CategoryMap c -> DefinedCategory c -> m (CategoryMap c)

pairProceduresToFunctions :: (Show c, CompileErrorM m) => Map FunctionName (ScopedFunction c) -> [ExecutableProcedure c] -> m [(ScopedFunction c, ExecutableProcedure c)]

setInternalFunctions :: (Show c, CompileErrorM m, TypeResolver r) => r -> AnyCategory c -> [ScopedFunction c] -> m (Map FunctionName (ScopedFunction c))