Class: RBI::Type::Generic

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

Overview

A generic type like T::Array[String] or T::Hash[Symbol, Integer].

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(name, *params) ⇒ Generic

Returns a new instance of Generic.

Signature:

  • (String name, *Type params) -> void



555
556
557
558
559
 
# File 'lib/rbi/type.rb', line 555

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

Instance Attribute Details

#name ⇒ Object (readonly)

Signature:

  • String



549
550
551
 
# File 'lib/rbi/type.rb', line 549

def name
  @name
end

#params ⇒ Object (readonly)

Signature:

  • Array[Type]



552
553
554
 
# File 'lib/rbi/type.rb', line 552

def params
  @params
end

Instance Method Details

#==(other) ⇒ Object

Signature:

  • (BasicObject other) -> bool



563
564
565
 
# File 'lib/rbi/type.rb', line 563

def ==(other)
  Generic === other && @name == other.name && @params == other.params
end

#normalize ⇒ Object

Signature:

  • -> Type



575
576
577
 
# File 'lib/rbi/type.rb', line 575

def normalize
  self
end

#simplify ⇒ Object

Signature:

  • -> Type



581
582
583
 
# File 'lib/rbi/type.rb', line 581

def simplify
  self
end

#to_rbi ⇒ Object

Signature:

  • -> String



569
570
571
 
# File 'lib/rbi/type.rb', line 569

def to_rbi
  "#{@name}[#{@params.map(&:to_rbi).join(", ")}]"
end