struct Savi::Compiler::Infer::ReifiedFunction

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

Defined in:

savi/compiler/infer/reified.cr

Constructors

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

Instance Method Summary

• #func(ctx)
• #link : Program::Function::Link
• #meta_type_of(ctx : Context, ast : AST::Node, infer : FuncAnalysis = ctx.infer[@link]) : MetaType | Nil
• #meta_type_of(ctx : Context, span : Span | Nil, infer : FuncAnalysis = ctx.infer[@link]) : MetaType | Nil
• #meta_type_of(ctx : Context, info : Info, infer : FuncAnalysis = ctx.infer[@link]) : MetaType | Nil
• #meta_type_of_error_out(ctx : Context, infer : FuncAnalysis = ctx.infer[@link]) : MetaType | Nil
• #meta_type_of_param(ctx : Context, index : Int, infer : FuncAnalysis = ctx.infer[@link]) : MetaType | Nil
• #meta_type_of_ret(ctx : Context, infer : FuncAnalysis = ctx.infer[@link]) : MetaType | Nil
• #meta_type_of_yield_in(ctx : Context, infer : FuncAnalysis = ctx.infer[@link]) : MetaType | Nil
• #meta_type_of_yield_out(ctx : Context, index : Int, infer : FuncAnalysis = ctx.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_cap : MetaType
• #receiver_mt
• #show_full_name
• #type : ReifiedType

Constructor Detail

Instance Method Detail