abstract struct Savi::Compiler::Infer::Span::Inner

• Savi::Compiler::Infer::Span::Inner
• Struct
• Value
• Object

Direct Known Subclasses

• Savi::Compiler::Infer::Span::ByReifyCap
• Savi::Compiler::Infer::Span::ErrorPropagate
• Savi::Compiler::Infer::Span::Fallback
• Savi::Compiler::Infer::Span::Terminal

Defined in:

savi/compiler/infer/span.cr

Constructors

• .new

Instance Method Summary

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

Constructor Detail

Instance Method Detail