struct Savi::Compiler::Infer::Span::ByReifyCap

Defined in:

savi/compiler/infer/span.cr

Constructors

Class Method Summary

Instance Method Summary

Instance methods inherited from struct Savi::Compiler::Infer::Span::Inner

all_terminal_meta_types : Array(MetaType) all_terminal_meta_types, any_error? : Bool any_error?, any_mt?(&block : MetaType -> Bool) : Bool any_mt?, combine_mt_to_span(other : Inner, &block : MetaType, MetaType -> Span) : Inner combine_mt_to_span, deciding_partial_reify_index(index : Int) : Inner deciding_partial_reify_index, each_mt(&block : MetaType -> Nil) : Nil each_mt, final_mt_simplify(ctx : Context) : Inner final_mt_simplify, initialize initialize, maybe_fallback_based_on_mt_simplify(options : Array(Tuple(Symbol, Inner))) : Inner maybe_fallback_based_on_mt_simplify, narrowing_partial_reify_indices(target_bits : BitArray, mark_unsatisfiable : Bool) : Inner narrowing_partial_reify_indices, total_error : Error | Nil total_error, transform_mt(&block : MetaType -> MetaType) : Inner transform_mt, transform_mt_to_span(&block : MetaType -> Span) : Inner transform_mt_to_span

Constructor methods inherited from struct Savi::Compiler::Infer::Span::Inner

new new

Constructor Detail

def self.new(mapping : Array(Tuple(BitArray, Savi::Compiler::Infer::Span::Inner))) #

[View source]

Class Method Detail

def self.build(mapping : Array(Tuple(BitArray, Inner))) : Inner #

[View source]

Instance Method Detail

def all_terminal_meta_types : Array(MetaType) #

[View source]
def any_error? : Bool #

[View source]
def any_mt?(&block : MetaType -> Bool) : Bool #

[View source]
def combine_mt_to_span(other : Inner, &block : MetaType, MetaType -> Span) : Inner #

[View source]
def deciding_partial_reify_index(index : Int) : Inner #

[View source]
def each_mt(&block : MetaType -> Nil) : Nil #

[View source]
def final_mt_simplify(ctx : Context) : Inner #

[View source]
def mapping : Array(Tuple(BitArray, Fallback | Terminal | ErrorPropagate)) #

[View source]
def maybe_fallback_based_on_mt_simplify(options : Array(Tuple(Symbol, Inner))) : Inner #

[View source]
def narrowing_partial_reify_indices(target_bits : BitArray, mark_unsatisfiable : Bool) : Inner #

[View source]
def pretty_print(format : PrettyPrint) #
Description copied from class Object

Pretty prints self into the given printer.

By default appends a text that is the result of invoking #inspect on self. Subclasses should override for custom pretty printing.


[View source]
def total_error : Error | Nil #

[View source]
def transform_mt(&block : MetaType -> MetaType) : Inner #

[View source]
def transform_mt_to_span(&block : MetaType -> Span) : Inner #

[View source]