Module semantic_analyzer::types

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.