Class: RBI::Type::Shape

Inherits:

Type

• Object
• Type
• RBI::Type::Shape

Defined in:

lib/rbi/type.rb

Overview

A shape type like {name: String, age: Integer}.

Instance Attribute Summary

• #types ⇒ Object readonly

  : Hash[(String | Symbol), Type].

Instance Method Summary

• #==(other) ⇒ Object

  : (BasicObject other) -> bool.

• #initialize(types) ⇒ Shape constructor

  : (Hash[(String | Symbol), Type] types) -> void.

• #normalize ⇒ Object

  : -> Type.

• #simplify ⇒ Object

  : -> Type.

• #to_rbi ⇒ Object

  : -> String.

Constructor Details

#initialize(types) ⇒ Shape

: (Hash[(String | Symbol), Type] types) -> void

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

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

Instance Attribute Details

#types ⇒ Object (readonly)

: Hash[(String | Symbol), Type]

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

def types
  @types
end

Instance Method Details

#==(other) ⇒ Object

: (BasicObject other) -> bool

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

def ==(other)
  Shape === other && @types.sort_by { |t| t.first.to_s } == other.types.sort_by { |t| t.first.to_s }
end

#normalize ⇒ Object

: -> Type

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

def normalize
  self
end

#simplify ⇒ Object

: -> Type

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

def simplify
  self
end

#to_rbi ⇒ Object

: -> String

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

def to_rbi
  if @types.empty?
    "{}"
  else
    "{ " + @types.map { |name, type| "#{name}: #{type.to_rbi}" }.join(", ") + " }"
  end
end