class Mint::TypeChecker::Record

Defined in:

type_checker/record.cr

Constructors

Instance Method Summary

Constructor Detail

def self.new(name : String, fields : Hash(String, Mint::TypeChecker::Record | Mint::TypeChecker::Type | Mint::TypeChecker::Variable) = {} of String => Checkable, mappings : Hash(String, Nil | String) = {} of String => String | ::Nil, label : Nil | String = nil) #

[View source]

Instance Method Detail

def ==(other : Hash(String, Checkable)) #

[View source]
def ==(other : Record) #

[View source]

[View source]
def have_holes? #

[View source]
def label : String | Nil #

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

[View source]
def mappings : Hash(String, String?) #

[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]