struct Savi::Compiler::TInfer::Span

• Savi::Compiler::TInfer::Span
• Struct
• Value
• Object

Defined in:

savi/compiler/t_infer/span.cr

Constructors

• .new(inner : Savi::Compiler::TInfer::Span::Inner)

Class Method Summary

• .error(*args)
• .reduce_combine_mts(spans : Array(Span), &block : MetaType, MetaType -> MetaType) : Span | Nil
• .simple(mt : MetaType)
• .simple_with_fallback(default_mt : MetaType, evaluate_mt : MetaType, options : Array(Tuple(Symbol, Span)))

Instance Method Summary

• #all_terminal_meta_types : Array(MetaType)

  TODO remove this function?

• #any_error?
• #any_mt?(&block : MetaType -> Bool) : Bool
• #combine_mt(other : Span, &block : MetaType, MetaType -> MetaType) : Span
• #combine_mt_to_span(other : Span, &block : MetaType, MetaType -> Span) : Span
• #each_mt(&block : MetaType -> Nil) : Nil
• #final_mt!(ctx : Context) : MetaType | Nil
• #final_mt_simplify(ctx : Context) : Span
• #inner : Inner
• #maybe_fallback_based_on_mt_simplify(options : Array(Tuple(Symbol, Span)))
• #pretty_print(format : PrettyPrint)

  Pretty prints self into the given printer.

• #reduce_combine_mts(spans : Array(Span), &block : MetaType, MetaType -> MetaType) : Span
• #terminal!
• #total_error
• #transform_mt(&block : MetaType -> MetaType) : Span
• #transform_mt_to_span(&block : MetaType -> Span) : Span

Constructor Detail

Class Method Detail

Instance Method Detail