Module erg_compiler::ty::value

defines ValueObj (used in the compiler, VM).

コンパイラ、VM等で使われる(データも保持した)値オブジェクトを定義する

Modules

• value_set

Structs

• ClassTypeObj
• EvalValueError
• InheritedTypeObj
• IntersectionTypeObj
• PatchObj
• StructuralTypeObj
• SubsumedTypeObj
• TraitTypeObj
• UnionTypeObj

Enums

• GenTypeObj
• TypeObj
• ValueObj
  値オブジェクト コンパイル時評価ができ、シリアライズも可能

Type Definitions

• EvalValueResult