Sha256: 973f5b72950119ad1443dadfb9df05299c264aebccf9b5ff8be87b737343942d

Contents?: true

Size: 1.99 KB

Versions: 25

Compression:

Stored size: 1.99 KB

Contents

module Steep
  module AST
    module Types
      class Intersection
        attr_reader :types
        attr_reader :location

        def initialize(types:, location: nil)
          @types = types
          @location = location
        end

        def self.build(types:, location: nil)
          types.flat_map do |type|
            if type.is_a?(Intersection)
              type.types
            else
              [type]
            end
          end.map do |type|
            case type
            when AST::Types::Any
              return AST::Types::Any.new(location: location)
            when AST::Types::Bot
              return AST::Types::Bot.new(location: location)
            when AST::Types::Top
              nil
            else
              type
            end
          end.compact.yield_self do |tys|
            dups = Set.new(tys)

            case dups.size
            when 0
              AST::Types::Top.new(location: location)
            when 1
              tys.first
            else
              new(types: dups.to_a, location: location)
            end
          end
        end

        def ==(other)
          other.is_a?(Intersection) && other.types == types
        end

        def hash
          @hash ||= self.class.hash ^ types.hash
        end

        alias eql? ==

        def subst(s)
          self.class.build(location: location, types: types.map {|ty| ty.subst(s) })
        end

        def to_s
          "(#{types.map(&:to_s).join(" & ")})"
        end

        def free_variables()
          @fvs ||= begin
                     set = Set.new
                     types.each do |type|
                       set.merge(type.free_variables)
                     end
                     set
                   end
        end

        include Helper::ChildrenLevel

        def level
          [0] + level_of_children(types)
        end

        def with_location(new_location)
          self.class.new(types: types, location: new_location)
        end
      end
    end
  end
end

Version data entries

25 entries across 25 versions & 1 rubygems

Version Path
steep-0.48.0 lib/steep/ast/types/intersection.rb
steep-0.47.1 lib/steep/ast/types/intersection.rb
steep-0.47.0 lib/steep/ast/types/intersection.rb
steep-0.46.0 lib/steep/ast/types/intersection.rb
steep-0.45.0 lib/steep/ast/types/intersection.rb
steep-0.44.1 lib/steep/ast/types/intersection.rb
steep-0.44.0 lib/steep/ast/types/intersection.rb
steep-0.43.1 lib/steep/ast/types/intersection.rb
steep-0.43.0 lib/steep/ast/types/intersection.rb
steep-0.42.0 lib/steep/ast/types/intersection.rb
steep-0.41.0 lib/steep/ast/types/intersection.rb
steep-0.40.0 lib/steep/ast/types/intersection.rb
steep-0.39.0 lib/steep/ast/types/intersection.rb
steep-0.38.0 lib/steep/ast/types/intersection.rb
steep-0.37.0 lib/steep/ast/types/intersection.rb
steep-0.36.0 lib/steep/ast/types/intersection.rb
steep-0.35.0 lib/steep/ast/types/intersection.rb
steep-0.34.0 lib/steep/ast/types/intersection.rb
steep-0.33.0 lib/steep/ast/types/intersection.rb
steep-0.32.0 lib/steep/ast/types/intersection.rb