Sha256: e835c8fd8f9f575002d054d60467f56733fc31991052e36f1c62d56941322130

Contents?: true

Size: 1.02 KB

Versions: 31

Compression:

Stored size: 1.02 KB

Contents

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

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

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

        def hash
          self.class.hash ^ types.hash
        end

        alias eql? ==

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

        def to_s
          "[#{types.join(", ")}]"
        end

        def free_variables
          types.each.with_object(Set.new) do |type, set|
            set.merge(type.free_variables)
          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

31 entries across 31 versions & 1 rubygems

Version Path
steep-0.25.0 lib/steep/ast/types/tuple.rb
steep-0.24.0 lib/steep/ast/types/tuple.rb
steep-0.23.0 lib/steep/ast/types/tuple.rb
steep-0.22.0 lib/steep/ast/types/tuple.rb
steep-0.21.0 lib/steep/ast/types/tuple.rb
steep-0.20.0 lib/steep/ast/types/tuple.rb
steep-0.19.0 lib/steep/ast/types/tuple.rb
steep-0.18.0 lib/steep/ast/types/tuple.rb
steep-0.17.1 lib/steep/ast/types/tuple.rb
steep-0.17.0 lib/steep/ast/types/tuple.rb
steep-0.16.3 lib/steep/ast/types/tuple.rb
steep-0.16.2 lib/steep/ast/types/tuple.rb
steep-0.16.1 lib/steep/ast/types/tuple.rb
steep-0.16.0 lib/steep/ast/types/tuple.rb
steep-0.15.0 lib/steep/ast/types/tuple.rb
steep-0.14.0 lib/steep/ast/types/tuple.rb
steep-0.13.0 lib/steep/ast/types/tuple.rb
steep-0.12.0 lib/steep/ast/types/tuple.rb
steep-0.11.1 lib/steep/ast/types/tuple.rb
steep-0.11.0 lib/steep/ast/types/tuple.rb