abstract struct Savi::Compiler::Types::Type

Direct Known Subclasses

Defined in:

savi/compiler/types/type.cr

Constructors

Instance Method Summary

Constructor Detail

def self.new #

[View source]

Instance Method Detail

abstract def collect_vars_deeply(vars : Array(TypeVariable)) #

[View source]
def initialize #

[View source]
abstract def instantiated : TypeSimple #

[View source]
def level #

TODO Implement SimpleSub levels


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

[View source]
def show #

[View source]