class Myst::TypeCheck::Functor

Defined in:

typecheck/functor.cr

Constructors

Instance Method Summary

Instance methods inherited from class Myst::TypeCheck::Type

==(other : self) ==, ancestors ancestors, exclude(other : Type) exclude, hash(hasher) hash, id : UInt64 id, id=(id : UInt64) id=, includes?(other : Type) includes?, instance_type instance_type, instance_type=(instance_type : Type | Nil) instance_type=, instance_type? : Type | Nil | Nil instance_type?, instantiable? instantiable?, name : String name, name=(name : String) name=, scope : Scope scope, scope=(scope : Scope) scope=, static_type static_type, static_type=(static_type : Type | Nil) static_type=, static_type? : Type | Nil | Nil static_type?, super_type : Type | Nil super_type, super_type=(super_type : Type | Nil) super_type=, super_type? : Type | Nil | Nil super_type?, to_s(io : IO) to_s, union_with(other : Type)
union_with(other : UnionType) union_with

Constructor methods inherited from class Myst::TypeCheck::Type

new(name : String, id : UInt64 = @@next_id, *, static_type : Myst::TypeCheck::Type | Nil = nil, instance_type : Myst::TypeCheck::Type | Nil = nil, super_type : Myst::TypeCheck::Type | Nil = nil) new

Constructor Detail

def self.new(name : String) #

[View source]

Instance Method Detail

def ==(other : self) #
Description copied from class Reference

Returns true if this reference is the same as other. Invokes same?.


def add_clause(node : Def) #

[View source]
def clauses : Array(Clause) #

[View source]
def clauses=(clauses : Array(Clause)) #

[View source]
def hash(hasher) #
Description copied from class Reference

See Object#hash(hasher)


def name #

[View source]
def name=(name : String) #

[View source]