struct Savi::Compiler::Types::TypeNominal
- Savi::Compiler::Types::TypeNominal
- Savi::Compiler::Types::TypeSimple
- Savi::Compiler::Types::Type
- Struct
- Value
- Object
Defined in:
savi/compiler/types/type.crConstructors
Instance Method Summary
- #args : Array(TypeSimple) | Nil
- #collect_vars_deeply(vars : Array(TypeVariable))
- #link : Program::Type::Link
- #show(io : IO)
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(link : Savi::Program::Type::Link, args : Nil | Array(Savi::Compiler::Types::TypeSimple) = nil)
#