struct Savi::Compiler::Infer::ReifiedType

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

Defined in:

Constructors

• .new(link : Savi::Program::Type::Link, args : Array(Savi::Compiler::Infer::MetaType) = [] of MetaType)

Instance Method Summary

• #args : Array(MetaType)
• #corresponding_partial_reification(ctx)
• #defn(ctx)
• #has_params?(ctx)
• #inspect(io : IO)

  Appends this struct's name and instance variables names and values to the given IO.

• #is_complete?(ctx)
• #is_partial_reify?(ctx)
• #link : Program::Type::Link
• #meta_type_of(ctx : Context, ast : AST::Node, infer : Analysis = ctx.infer[@link]) : MetaType | Nil
• #meta_type_of(ctx : Context, span : Span | Nil, infer : Analysis = ctx.infer[@link]) : MetaType | Nil
• #meta_type_of(ctx : Context, info : Info, infer : Analysis = ctx.infer[@link]) : MetaType | Nil
• #meta_type_of_type_param_bound(ctx : Context, index : Int, infer : Analysis = ctx.infer[@link]) : MetaType | Nil
• #meta_type_of_type_param_default(ctx : Context, index : Int, infer : Analysis = ctx.infer[@link]) : MetaType | Nil
• #params_count(ctx)
• #show_type(io : IO)
• #show_type
• #with_additional_arg(arg : MetaType)

Constructor Detail

Instance Method Detail

struct Point
  def initialize(@x : Int32, @y : Int32)
  end
end

p1 = Point.new 1, 2
p1.to_s    # "Point(@x=1, @y=2)"
p1.inspect # "Point(@x=1, @y=2)"