Contents

module Steep
  module AST
    module Types
      class Intersection
        attr_reader types: Array[t]

        attr_reader location: untyped

        def initialize: (types: Array[t], ?location: untyped?) -> void

        def self.build: (types: Array[t], ?location: untyped?) -> t

        def ==: (untyped other) -> bool

        @hash: Integer
        def hash: () -> Integer

        alias eql? ==

        def subst: (Interface::Substitution s) -> t

        def to_s: () -> String

        @fvs: Set[variable]
        def free_variables: () -> Set[variable]

        include Helper::ChildrenLevel

        def each_child: () { (t) -> void } -> void
                      | () -> Enumerator[t, void]

        def level: () -> Array[Integer]

        def with_location: (untyped new_location) -> Intersection
      end
    end
  end
end

Version data entries

26 entries across 26 versions & 1 rubygems

Version	Path
steep-1.4.0.dev.3	sig/steep/ast/types/intersection.rbs
steep-1.3.2	sig/steep/ast/types/intersection.rbs
steep-1.3.1	sig/steep/ast/types/intersection.rbs
steep-1.4.0.dev.2	sig/steep/ast/types/intersection.rbs
steep-1.4.0.dev.1	sig/steep/ast/types/intersection.rbs
steep-1.3.0	sig/steep/ast/types/intersection.rbs