class Savi::Compiler::XTypes::TypeVariable

• Savi::Compiler::XTypes::TypeVariable
• Reference
• Object

Defined in:

savi/compiler/xtypes/type_variable.cr

Constructors

• .new(nickname : String, scope : Savi::Program::Function::Link | Savi::Program::Type::Link | Savi::Program::TypeAlias::Link, sequence_number : UInt64, is_cap_var : Bool = false)

Instance Method Summary

• #calculate_assignment_summary(analysis : Analysis, cursor : Cursor)
• #calculate_constraint_summary(analysis : Analysis, cursor : Cursor)
• #eager_constraint_summary : AlgebraicType | Nil
• #eager_constraint_summary=(eager_constraint_summary : AlgebraicType | Nil)
• #is_cap_var : Bool
• #is_cap_var=(is_cap_var : Bool)
• #is_input_var : Bool
• #is_input_var=(is_input_var : Bool)
• #nickname : String
• #scope : Scope
• #sequence_number : UInt64
• #show_info(output)
• #show_info
• #show_name
• #trace_as_assignment(cursor : Cursor)
• #trace_as_constraint(cursor : Cursor)

Constructor Detail

Instance Method Detail