Class: Yoda::Typing::Types::Tuple

Inherits:

Base

• Object
• Base
• Yoda::Typing::Types::Tuple

Defined in:

lib/yoda/typing/types/tuple.rb

Instance Attribute Summary

• #types ⇒ Array<Base> readonly

Instance Method Summary

• #initialize(*types) ⇒ Tuple constructor

  A new instance of Tuple.

• #to_expression ⇒ Object
• #to_type_string ⇒ Object

Methods inherited from Base

#reference?

Constructor Details

#initialize(*types) ⇒ Tuple

Returns a new instance of Tuple.

Parameters:

• types (Array<Base>)

# File 'lib/yoda/typing/types/tuple.rb', line 9

def initialize(*types)
  @types = types
end

Instance Attribute Details

#types ⇒ Array<Base> (readonly)

Returns:

• (Array<Base>)

# File 'lib/yoda/typing/types/tuple.rb', line 6

def types
  @types
end

Instance Method Details

#to_expression ⇒ Object

# File 'lib/yoda/typing/types/tuple.rb', line 13

def to_expression
  Model::TypeExpressions::InstanceType.new('Array')
end

#to_type_string ⇒ Object

# File 'lib/yoda/typing/types/tuple.rb', line 17

def to_type_string
  inner = types.map(&:to_type_string)
  "(#{inner.join(', ')})"
end