Class: RBI::Type::TypeParameter

Inherits:

Type

• Object
• Type
• RBI::Type::TypeParameter

Defined in:

lib/rbi/type.rb

Overview

A type parameter like T.type_parameter(:U).

Instance Attribute Summary

• #name ⇒ Object readonly

  : Symbol.

Instance Method Summary

• #==(other) ⇒ Object

  : (BasicObject other) -> bool.

• #initialize(name) ⇒ TypeParameter constructor

  : (Symbol name) -> void.

• #normalize ⇒ Object

  : -> Type.

• #simplify ⇒ Object

  : -> Type.

• #to_rbi ⇒ Object

  : -> String.

Constructor Details

#initialize(name) ⇒ TypeParameter

: (Symbol name) -> void

# File 'lib/rbi/type.rb', line 592

def initialize(name)
  super()
  @name = name
end

Instance Attribute Details

#name ⇒ Object (readonly)

: Symbol

# File 'lib/rbi/type.rb', line 589

def name
  @name
end

Instance Method Details

#==(other) ⇒ Object

: (BasicObject other) -> bool

# File 'lib/rbi/type.rb', line 599

def ==(other)
  TypeParameter === other && @name == other.name
end

#normalize ⇒ Object

: -> Type

# File 'lib/rbi/type.rb', line 611

def normalize
  self
end

#simplify ⇒ Object

: -> Type

# File 'lib/rbi/type.rb', line 617

def simplify
  self
end

#to_rbi ⇒ Object

: -> String

# File 'lib/rbi/type.rb', line 605

def to_rbi
  "::T.type_parameter(#{@name.inspect})"
end