class RBS::Types::Intersection - rbs: Ruby Standard Library Documentation

# class RBS::Types::Intersection

### Attributes

location[R]
types[R]

### Public Class Methods

new(types:, location:) click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 801
    def initialize(types:, location:)
      @types = types
      @location = location
    end

### Public Instance Methods

==(other) click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 806
    def ==(other)
      other.is_a?(Intersection) && other.types == types
    end

Also aliased as: eql?
each_type(&block) click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 842
    def each_type(&block)
      if block
        types.each(&block)
      else
        enum_for :each_type
      end
    end

eql?(other)
Alias for: ==
free_variables(set = Set.new) click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 816
    def free_variables(set = Set.new)
      set.tap do
        types.each do |type|
          type.free_variables set
        end
      end
    end

has_classish_type?() click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 869
    def has_classish_type?
      each_type.any? {|type| type.has_classish_type? }
    end

has_self_type?() click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 865
    def has_self_type?
      each_type.any? {|type| type.has_self_type? }
    end

hash() click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 812
    def hash
      self.class.hash ^ types.hash
    end

map_type(&block) click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 850
    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) click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 858
    def map_type_name(&block)
      Intersection.new(
        types: types.map {|type| type.map_type_name(&block) },
        location: location
      )
    end

sub(s) click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 828
    def sub(s)
      self.class.new(types: types.map {|ty| ty.sub(s) },
                     location: location)
    end

to_json(state = _ = nil) click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 824
    def to_json(state = _ = nil)
      { class: :intersection, types: types, location: location }.to_json(state)
    end

to_s(level = 0) click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 833
    def to_s(level = 0)
      strs = types.map {|ty| ty.to_s(2) }
      if level > 0
        "(#{strs.join(" & ")})"
      else
        strs.join(" & ")
      end
    end

with_nonreturn_void?() click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 873
    def with_nonreturn_void?
      each_type.any? {|type| type.with_nonreturn_void? }
    end