Class: RBI::Type::Tuple

Inherits:

Type

• Object
• Type
• RBI::Type::Tuple

Defined in:

lib/rbi/type.rb

Overview

A tuple type like [String, Integer].

Instance Attribute Summary

• #types ⇒ Object readonly

  : Array.

Instance Method Summary

• #==(other) ⇒ Object

  : (BasicObject other) -> bool.

• #initialize(types) ⇒ Tuple constructor

  : (Array types) -> void.

• #normalize ⇒ Object

  : -> Type.

• #simplify ⇒ Object

  : -> Type.

• #to_rbi ⇒ Object

  : -> String.

Constructor Details

#initialize(types) ⇒ Tuple

: (Array types) -> void

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

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

Instance Attribute Details

#types ⇒ Object (readonly)

: Array

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

def types
  @types
end

Instance Method Details

#==(other) ⇒ Object

: (BasicObject other) -> bool

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

def ==(other)
  Tuple === other && @types == other.types
end

#normalize ⇒ Object

: -> Type

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

def normalize
  self
end

#simplify ⇒ Object

: -> Type

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

def simplify
  self
end

#to_rbi ⇒ Object

: -> String

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

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