struct Savi::Compiler::Infer::Tether

• Savi::Compiler::Infer::Tether
• Struct
• Value
• Object

Defined in:

savi/compiler/infer/info.cr

Constructors

• .new(info : Info, below : StructRef(Tether) | Nil = nil)

Class Method Summary

• .chain(info : Info, querent : Info) : Array(Tether)
• .via(info : Info, list : Array(Tether)) : Array(Tether)

Instance Method Summary

• #constraint_span(ctx : Context, infer : Visitor) : Span
• #includes?(other_info) : Bool
• #root : Info
• #to_a : Array(Info)

Constructor Detail

Class Method Detail

Instance Method Detail