struct Savi::Compiler::Reach::Ref

Defined in:

savi/compiler/reach.cr

Constructors

Instance Method Summary

Constructor Detail

def self.new(meta_type : Infer::MetaType) #

[View source]

Instance Method Detail

def all_callable_concrete_defs_for(ctx, name) : Array(Def) #

[View source]
def any_callable_def_for(ctx, name) : Def #

[View source]
def cap_only #

[View source]
def find_enum_members!(ctx) #

[View source]
def is_abstract?(ctx) #

[View source]
def is_concrete?(ctx) #

[View source]
def is_enum?(ctx) #

[View source]
def is_floating_point_numeric?(ctx) #

[View source]
def is_intersect? #

[View source]
def is_none! #

[View source]
def is_none? #

[View source]
def is_not_pointer?(ctx) #

[View source]
def is_numeric?(ctx) #

[View source]
def is_possibly_iso? #

[View source]
def is_signed_numeric?(ctx) #

[View source]
def is_simple_value?(ctx) #

[View source]
def is_singular_iso? #

[View source]
def is_tuple? #

[View source]
def is_union? #

[View source]
def llvm_mem_type(ctx) : Symbol #

[View source]
def llvm_use_type(ctx) : Symbol #

[View source]
def show_type #

[View source]
def single! #

[View source]
def single_def!(ctx) #

[View source]
def singular? #

[View source]
def trace_kind(ctx) #

[View source]
def trace_kind_with_dst_cap(ctx, dst_kind : Symbol) #

[View source]
def trace_mutability_of_nominal(ctx, dst_type : Ref) #

[View source]
def trace_needed?(ctx, dst_type = self) #

[View source]
def tuple_count #

[View source]
def union_children : Array(Ref) #

[View source]