class Mint::TypeChecker::Variable

• Mint::TypeChecker::Variable
• Reference
• Object

Defined in:

Constructors

• .new(name : String, label : Nil | String = nil)

Instance Method Summary

• #have_holes?
• #id : Int32
• #instance : Checkable | Nil
• #instance=(instance : Checkable | Nil)
• #label : String | Nil
• #label=(label : String | Nil)
• #name : String
• #parameters : Array(Mint::TypeChecker::Record | Mint::TypeChecker::Type | Mint::TypeChecker::Variable)
• #parameters=(parameters : Array(Mint::TypeChecker::Record | Mint::TypeChecker::Type | Mint::TypeChecker::Variable))
• #to_mint
• #to_pretty
• #to_s(io : IO)

  Appends a short String representation of this object which includes its class name and its object address.

Constructor Detail

Instance Method Detail

class Person
  def initialize(@name : String, @age : Int32)
  end
end

Person.new("John", 32).to_s # => #<Person:0x10a199f20>