struct Savi::Compiler::TInfer::ReifiedFunction

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

Defined in:

savi/compiler/t_infer/reified.cr

Constructors

• .new(type : Savi::Compiler::TInfer::ReifiedType, link : Savi::Program::Function::Link, receiver : Savi::Compiler::TInfer::MetaType)

Instance Method Summary

• #func(ctx)
• #link : Program::Function::Link
• #meta_type_of(ctx : Context, ast : AST::Node, infer : FuncAnalysis = ctx.t_infer[@link]) : MetaType | Nil
• #meta_type_of(ctx : Context, span : Span | Nil, infer : FuncAnalysis = ctx.t_infer[@link]) : MetaType | Nil
• #meta_type_of(ctx : Context, info : Info, infer : FuncAnalysis = ctx.t_infer[@link]) : MetaType | Nil
• #meta_type_of_error_out(ctx : Context, infer : FuncAnalysis = ctx.t_infer[@link]) : MetaType | Nil
• #meta_type_of_param(ctx : Context, index : Int, infer : FuncAnalysis = ctx.t_infer[@link]) : MetaType | Nil
• #meta_type_of_ret(ctx : Context, infer : FuncAnalysis = ctx.t_infer[@link]) : MetaType | Nil
• #meta_type_of_yield_in(ctx : Context, infer : FuncAnalysis = ctx.t_infer[@link]) : MetaType | Nil
• #meta_type_of_yield_out(ctx : Context, index : Int, infer : FuncAnalysis = ctx.t_infer[@link]) : MetaType | Nil
• #name

  This name is used in selector painting, so be sure that it meets the following criteria: - unique within a given type - identical for equivalent/compatible reified functions in different types

• #receiver : MetaType
• #show_full_name
• #type : ReifiedType

Constructor Detail

Instance Method Detail