Class: RBI::Type::ClassOf

Inherits:
Type
  • Object
show all
Defined in:
lib/rbi/type.rb

Overview

The singleton class of another type like T.class_of(Foo).

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(type, *type_parameters) ⇒ ClassOf

Returns a new instance of ClassOf.

Signature:

  • (Simple type, *Type type_parameters) -> void



322
323
324
325
326
 
# File 'lib/rbi/type.rb', line 322

def initialize(type, *type_parameters)
  super()
  @type = type
  @type_parameters = type_parameters #: Array[Type]
end

Instance Attribute Details

#type ⇒ Object (readonly)

Signature:

  • Simple



316
317
318
 
# File 'lib/rbi/type.rb', line 316

def type
  @type
end

#type_parameters ⇒ Object (readonly)

Signature:

  • Array[Type]



319
320
321
 
# File 'lib/rbi/type.rb', line 319

def type_parameters
  @type_parameters
end

Instance Method Details

#==(other) ⇒ Object

Signature:

  • (BasicObject other) -> bool



330
331
332
 
# File 'lib/rbi/type.rb', line 330

def ==(other)
  ClassOf === other && @type == other.type && @type_parameters == other.type_parameters
end

#normalize ⇒ Object

Signature:

  • -> Type



346
347
348
 
# File 'lib/rbi/type.rb', line 346

def normalize
  self
end

#simplify ⇒ Object

Signature:

  • -> Type



352
353
354
 
# File 'lib/rbi/type.rb', line 352

def simplify
  self
end

#to_rbi ⇒ Object

Signature:

  • -> String



336
337
338
339
340
341
342
 
# File 'lib/rbi/type.rb', line 336

def to_rbi
  if @type_parameters.empty?
    "::T.class_of(#{@type.to_rbi})"
  else
    "::T.class_of(#{@type.to_rbi})[#{@type_parameters.map(&:to_rbi).join(", ")}]"
  end
end