Class: RBS::Types::Intersection
- Inherits:
-
Object
- Object
- RBS::Types::Intersection
- 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:) ⇒ Intersection
constructor
A new instance of Intersection.
- #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:) ⇒ Intersection
Returns a new instance of Intersection.
659 660 661 662 |
# File 'lib/rbs/types.rb', line 659 def initialize(types:, location:) @types = types @location = location end |
Instance Attribute Details
#location ⇒ Object (readonly)
Returns the value of attribute location.
657 658 659 |
# File 'lib/rbs/types.rb', line 657 def location @location end |
#types ⇒ Object (readonly)
Returns the value of attribute types.
656 657 658 |
# File 'lib/rbs/types.rb', line 656 def types @types end |
Instance Method Details
#==(other) ⇒ Object Also known as: eql?
664 665 666 |
# File 'lib/rbs/types.rb', line 664 def ==(other) other.is_a?(Intersection) && other.types == types end |
#each_type(&block) ⇒ Object
700 701 702 703 704 705 706 |
# File 'lib/rbs/types.rb', line 700 def each_type(&block) if block types.each(&block) else enum_for :each_type end end |
#free_variables(set = Set.new) ⇒ Object
674 675 676 677 678 679 680 |
# File 'lib/rbs/types.rb', line 674 def free_variables(set = Set.new) set.tap do types.each do |type| type.free_variables set end end end |
#hash ⇒ Object
670 671 672 |
# File 'lib/rbs/types.rb', line 670 def hash self.class.hash ^ types.hash end |
#map_type(&block) ⇒ Object
708 709 710 711 712 713 714 |
# File 'lib/rbs/types.rb', line 708 def map_type(&block) if block Intersection.new(types: types.map(&block), location: location) else enum_for :map_type end end |
#map_type_name(&block) ⇒ Object
716 717 718 719 720 721 |
# File 'lib/rbs/types.rb', line 716 def map_type_name(&block) Intersection.new( types: types.map {|type| type.map_type_name(&block) }, location: location ) end |
#sub(s) ⇒ Object
686 687 688 689 |
# File 'lib/rbs/types.rb', line 686 def sub(s) self.class.new(types: types.map {|ty| ty.sub(s) }, location: location) end |
#to_json(state = _ = nil) ⇒ Object
682 683 684 |
# File 'lib/rbs/types.rb', line 682 def to_json(state = _ = nil) { class: :intersection, types: types, location: location }.to_json(state) end |
#to_s(level = 0) ⇒ Object
691 692 693 694 695 696 697 698 |
# File 'lib/rbs/types.rb', line 691 def to_s(level = 0) strs = types.map {|ty| ty.to_s(2) } if level > 0 "(#{strs.join(" & ")})" else strs.join(" & ") end end |