class Mint::TypeChecker::PartialRecord

Defined in:

type_checker/partial_record.cr

Instance Method Summary

Instance methods inherited from class Mint::TypeChecker::Record

==(other : Hash(String, Checkable))
==(other : Record) ==, fields : Hash(String, Mint::TypeChecker::Record | Mint::TypeChecker::Type | Mint::TypeChecker::Variable) fields, have_holes? have_holes?, label : String | Nil label, label=(label : String | Nil) label=, mappings : Hash(String, String?) mappings, name : String name, parameters : Array(Mint::TypeChecker::Record | Mint::TypeChecker::Type | Mint::TypeChecker::Variable) parameters, parameters=(parameters : Array(Mint::TypeChecker::Record | Mint::TypeChecker::Type | Mint::TypeChecker::Variable)) parameters=, to_mint to_mint, to_pretty to_pretty, to_s(io : IO) to_s

Constructor methods inherited from class Mint::TypeChecker::Record

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) new

Instance Method Detail

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

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