class RBS::Types::Record
Attributes
fields[R]
location[R]
Public Class Methods
new(fields:, location:)
click to toggle source
# File rbs-2.8.2/lib/rbs/types.rb, line 445 def initialize(fields:, location:) @fields = fields @location = location end
Public Instance Methods
==(other)
click to toggle source
# File rbs-2.8.2/lib/rbs/types.rb, line 450 def ==(other) other.is_a?(Record) && other.fields == fields end
Also aliased as: eql?
each_type(&block)
click to toggle source
# File rbs-2.8.2/lib/rbs/types.rb, line 490 def each_type(&block) if block fields.each_value(&block) else enum_for :each_type end end
free_variables(set = Set.new)
click to toggle source
# File rbs-2.8.2/lib/rbs/types.rb, line 460 def free_variables(set = Set.new) set.tap do fields.each_value do |type| type.free_variables set end end end
hash()
click to toggle source
# File rbs-2.8.2/lib/rbs/types.rb, line 456 def hash self.class.hash ^ fields.hash end
map_type() { |type| ... }
click to toggle source
# File rbs-2.8.2/lib/rbs/types.rb, line 505 def map_type(&block) if block Record.new( fields: fields.transform_values {|type| yield type }, location: location ) else enum_for :map_type end end
map_type_name(&block)
click to toggle source
# File rbs-2.8.2/lib/rbs/types.rb, line 498 def map_type_name(&block) Record.new( fields: fields.transform_values {|ty| ty.map_type_name(&block) }, location: location ) end
sub(s)
click to toggle source
# File rbs-2.8.2/lib/rbs/types.rb, line 472 def sub(s) self.class.new(fields: fields.transform_values {|ty| ty.sub(s) }, location: location) end
to_json(state = _ = nil)
click to toggle source
# File rbs-2.8.2/lib/rbs/types.rb, line 468 def to_json(state = _ = nil) { class: :record, fields: fields, location: location }.to_json(state) end
to_s(level = 0)
click to toggle source
# File rbs-2.8.2/lib/rbs/types.rb, line 477 def to_s(level = 0) return "{ }" if self.fields.empty? fields = self.fields.map do |key, type| if key.is_a?(Symbol) && key.match?(/\A[A-Za-z_][A-Za-z_]*\z/) "#{key}: #{type}" else "#{key.inspect} => #{type}" end end "{ #{fields.join(", ")} }" end