class Mint::TypeChecker::Type

• Mint::TypeChecker::Type
• Reference
• Object

Defined in:

Constructors

• .new(name : String, parameters : Array(Mint::TypeChecker::Record | Mint::TypeChecker::Type | Mint::TypeChecker::Variable) = [] of Checkable, label : Nil | String = nil)

Instance Method Summary

• #have_holes?
• #label : String | Nil
• #label=(label : String | Nil)
• #name : String
• #optional_count : Int32
• #optional_count=(optional_count : Int32)
• #parameters : Array(Checkable)
• #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>