abstract struct Savi::Compiler::Types::TypeSimple
- Savi::Compiler::Types::TypeSimple
- Savi::Compiler::Types::Type
- Struct
- Value
- Object
Overview
TODO Polymorphic types (not inheriting from TypeSimple)
Direct Known Subclasses
- Savi::Compiler::Types::TypeBottom
- Savi::Compiler::Types::TypeNominal
- Savi::Compiler::Types::TypeTop
- Savi::Compiler::Types::TypeUnion
- Savi::Compiler::Types::TypeVariable
Defined in:
savi/compiler/types/type.crInstance Method Summary
-
#instantiated : TypeSimple
The instantiation of any TypeSimple is just the TypeSimple itself.
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