Types.DefinedCategory

Documentation

data DefinedCategory c

Constructors

DefinedCategory

Fields

• dcContext :: [c]
• dcName :: CategoryName
• dcPragmas :: [PragmaDefined c]
• dcRefines :: [ValueRefine c]
• dcDefines :: [ValueDefine 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 SourceContext)

Defined in Parser.DefinedCategory

Methods

sourceParser :: TextParser (DefinedCategory SourceContext)

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 SourceContext)

Defined in Parser.DefinedCategory

Methods

sourceParser :: TextParser (DefinedMember SourceContext)

data PragmaDefined c

Constructors

MembersReadOnly

Fields

• mroContext :: [c]
• mroMembers :: [VariableName]

MembersHidden

Fields

• mhContext :: [c]
• mhMembers :: [VariableName]

Instances

Show c => Show (PragmaDefined c)

Defined in Types.DefinedCategory

Methods

showsPrec :: Int -> PragmaDefined c -> ShowS

show :: PragmaDefined c -> String

showList :: [PragmaDefined c] -> ShowS

data VariableRule c

Constructors

VariableDefault

VariableReadOnly

Fields

• vroContext :: [c]

VariableHidden

Fields

• vhContext :: [c]

data VariableValue c

Constructors

VariableValue

Fields

• vvContext :: [c]
• vvScope :: SymbolScope
• vvType :: ValueType
• vvReadOnlyAt :: VariableRule c

Instances

Show c => Show (VariableValue c)

Defined in Types.DefinedCategory

Methods

showsPrec :: Int -> VariableValue c -> ShowS

show :: VariableValue c -> String

showList :: [VariableValue c] -> ShowS

isInitialized :: DefinedMember c -> Bool

isMembersHidden :: PragmaDefined c -> Bool

isMembersReadOnly :: PragmaDefined c -> Bool

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

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

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

replaceSelfMember :: (Show c, CollectErrorsM m) => GeneralInstance -> DefinedMember c -> m (DefinedMember c)

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