Class: RBS::Types::Union
- Inherits:
-
Object
- Object
- RBS::Types::Union
- Defined in:
- lib/rbs/types.rb
Instance Attribute Summary collapse
-
#location ⇒ Object
readonly
Returns the value of attribute location.
-
#types ⇒ Object
readonly
Returns the value of attribute types.
Instance Method Summary collapse
- #==(other) ⇒ Object (also: #eql?)
- #each_type(&block) ⇒ Object
- #free_variables(set = Set.new) ⇒ Object
- #hash ⇒ Object
-
#initialize(types:, location:) ⇒ Union
constructor
A new instance of Union.
- #map_type(&block) ⇒ Object
- #map_type_name(&block) ⇒ Object
- #sub(s) ⇒ Object
- #to_json(state = _ = nil) ⇒ Object
- #to_s(level = 0) ⇒ Object
Constructor Details
#initialize(types:, location:) ⇒ Union
Returns a new instance of Union.
591 592 593 594 |
# File 'lib/rbs/types.rb', line 591 def initialize(types:, location:) @types = types @location = location end |
Instance Attribute Details
#location ⇒ Object (readonly)
Returns the value of attribute location.
589 590 591 |
# File 'lib/rbs/types.rb', line 589 def location @location end |
#types ⇒ Object (readonly)
Returns the value of attribute types.
588 589 590 |
# File 'lib/rbs/types.rb', line 588 def types @types end |
Instance Method Details
#==(other) ⇒ Object Also known as: eql?
596 597 598 |
# File 'lib/rbs/types.rb', line 596 def ==(other) other.is_a?(Union) && other.types == types end |
#each_type(&block) ⇒ Object
631 632 633 634 635 636 637 |
# File 'lib/rbs/types.rb', line 631 def each_type(&block) if block types.each(&block) else enum_for :each_type end end |
#free_variables(set = Set.new) ⇒ Object
606 607 608 609 610 611 612 |
# File 'lib/rbs/types.rb', line 606 def free_variables(set = Set.new) set.tap do types.each do |type| type.free_variables set end end end |
#hash ⇒ Object
602 603 604 |
# File 'lib/rbs/types.rb', line 602 def hash self.class.hash ^ types.hash end |
#map_type(&block) ⇒ Object
639 640 641 642 643 644 645 |
# File 'lib/rbs/types.rb', line 639 def map_type(&block) if block Union.new(types: types.map(&block), location: location) else enum_for :map_type end end |
#map_type_name(&block) ⇒ Object
647 648 649 650 651 652 |
# File 'lib/rbs/types.rb', line 647 def map_type_name(&block) Union.new( types: types.map {|type| type.map_type_name(&block) }, location: location ) end |
#sub(s) ⇒ Object
618 619 620 621 |
# File 'lib/rbs/types.rb', line 618 def sub(s) self.class.new(types: types.map {|ty| ty.sub(s) }, location: location) end |
#to_json(state = _ = nil) ⇒ Object
614 615 616 |
# File 'lib/rbs/types.rb', line 614 def to_json(state = _ = nil) { class: :union, types: types, location: location }.to_json(state) end |
#to_s(level = 0) ⇒ Object
623 624 625 626 627 628 629 |
# File 'lib/rbs/types.rb', line 623 def to_s(level = 0) if level > 0 "(#{types.join(" | ")})" else types.join(" | ") end end |