class Savi::Compiler::TInfer::FromYield

Defined in:

savi/compiler/t_infer/info.cr

Constructors

Instance Method Summary

Instance methods inherited from class Savi::Compiler::TInfer::Info

add_downstream(use_pos : Source::Pos, info : Info) add_downstream, add_peer_hint(peer : Info) add_peer_hint, as_conduit? : Conduit | Nil as_conduit?, as_downstream_constraint_meta_type(ctx : Context, type_check : TTypeCheck::ForReifiedFunc) : MetaType | Nil as_downstream_constraint_meta_type, as_multiple_downstream_constraints(ctx : Context, type_check : TTypeCheck::ForReifiedFunc) : Array(Tuple(Source::Pos, MetaType)) | Nil as_multiple_downstream_constraints, as_upstream_conduits : Array(Conduit) as_upstream_conduits, layer_index : Int32 layer_index, layer_index=(layer_index : Int32) layer_index=, layer_index? : Int32 | Nil layer_index?, override_describe_kind : String | Nil override_describe_kind, override_describe_kind=(override_describe_kind : String | Nil) override_describe_kind=, pos : Source::Pos pos, pos=(pos : Source::Pos) pos=, resolve_span!(ctx : Context, infer : Visitor) resolve_span!, tether_resolve_span(ctx : Context, infer : Visitor) tether_resolve_span, tether_terminal? tether_terminal?, tether_upward_transform_span(ctx : Context, infer : Visitor, span : Span) : Span tether_upward_transform_span, tethers(querent : Info) : Array(Tether) tethers, to_s to_s

Constructor Detail

def self.new(pos, layer_index, yield_in : Savi::Compiler::TInfer::Info, terms : Array(Savi::Compiler::TInfer::Info)) #

[View source]

Instance Method Detail

def add_downstream(use_pos : Source::Pos, info : Info) #

[View source]
def add_peer_hint(peer : Info) #
Description copied from class Savi::Compiler::TInfer::Info

Most Info types ignore hints, but a few override this method to see them, or to pass them along to other nodes that may wish to see them.


[View source]
def as_conduit? : Conduit | Nil #

[View source]
def describe_kind : String #

[View source]
def terms : Array(Info) #

[View source]
def tethers(querent : Info) : Array(Tether) #

[View source]
def yield_in : Info #

[View source]