class Mint::TypeChecker::PartialRecord
- Mint::TypeChecker::PartialRecord
- Mint::TypeChecker::Record
- Reference
- Object
Defined in:
type_checker/partial_record.crInstance Method Summary
- #==(other : Hash(String, Checkable))
- #to_pretty
-
#to_s(io : IO)
Appends a short String representation of this object which includes its class name and its object address.
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 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>