struct Savi::Compiler::Types::TypeVariable

Defined in:

savi/compiler/types/type.cr

Constructors

Instance Method Summary

Instance methods inherited from struct Savi::Compiler::Types::TypeSimple

instantiated : TypeSimple instantiated

Instance methods inherited from struct Savi::Compiler::Types::Type

collect_vars_deeply(vars : Array(TypeVariable)) collect_vars_deeply, initialize initialize, instantiated : TypeSimple instantiated, level level, show(io : IO)
show show

Constructor methods inherited from struct Savi::Compiler::Types::Type

new new

Constructor Detail

def self.new(nickname : String, scope : Savi::Program::Function::Link | Savi::Program::Type::Link | Savi::Program::TypeAlias::Link, sequence_number : Int32) #

[View source]

Instance Method Detail

def collect_vars_deeply(vars : Array(TypeVariable)) #

[View source]
def is_inner_edge : Bool #

[View source]
def is_inner_edge=(is_inner_edge : Bool) #

[View source]
def nickname : String #

[View source]
def scope : Scope #

[View source]
def sequence_number : Int32 #

[View source]
def show(io : IO) #

[View source]