Module types

Source
Expand description

Semantic analyzer common types

§Types

Semantic analyzer type. Contains basic entities:

  • Semantic types system
  • Semantic basic elements types
  • Block state types
  • Error types

Modules§

block_state
Block state types
condition
Condition types
error
Error types
expression
Expression types
semantic
Basic semantic types
types
Types for type system

Structs§

Binding
Binding represents mutable binding for previously bind values
Constant
Constant
ConstantExpression
Constant expression represent expression operation between constant values, and represent flat tree
ConstantName
Constant name type
Function
Function
FunctionCall
Function call
FunctionName
Function name type
FunctionParameter
Function parameter one of the basic entity for FunctionStatement
FunctionStatement
Function statement
InnerValueName
Inner value name type
LabelName
Label name type
LetBinding
Let binding
ParameterName
Parameter name type for Functions parameter
Value
Values
ValueName
Value name type

Enums§

BodyStatement
Body statement
ConstantValue
Constant value can contain other constant or primitive value
PrimitiveValue
Primitive value is most primitive and basic values entity. It’s basic elements for all other values elements.