class Mint::TypeChecker::Variable

Defined in:

type_checker/variable.cr

Constructors

Instance Method Summary

Constructor Detail

def self.new(name : String, label : Nil | String = nil) #

[View source]

Instance Method Detail

def have_holes? #

[View source]
def id : Int32 #

[View source]
def instance : Checkable | Nil #

[View source]
def instance=(instance : Checkable | Nil) #

[View source]
def label : String | Nil #

[View source]
def label=(label : String | Nil) #

[View source]
def name : String #

[View source]

[View source]

[View source]
def to_mint #

[View source]
def to_pretty #

[View source]
def to_s(io : IO) #
Description copied from class Reference

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

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

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

[View source]