steep 1.6.0 → 1.7.1

data/sig/steep/ast/builtin.rbs

@@ -1,69 +0,0 @@
-module Steep
-  module AST
-    module Builtin
-      class Type
-        attr_reader module_name: RBS::TypeName
-
-        attr_reader arity: Integer
-
-        def initialize: (String module_name, ?arity: ::Integer) -> void
-
-        def instance_type: (*Types::t args, ?fill_untyped: bool) -> Types::Name::Instance
-
-        def module_type: () -> Types::Name::Singleton
-
-        def instance_type?: (Types::t `type`, ?args: Array[Types::t]?) -> Types::Name::Instance?
-
-        def module_type?: (Types::t `type`) -> Types::Name::Singleton?
-      end
-
-      Object: Type
-
-      BasicObject: Type
-
-      Array: Type
-
-      Range: Type
-
-      Hash: Type
-
-      Module: Type
-
-      Class: Type
-
-      Integer: Type
-
-      Float: Type
-
-      String: Type
-
-      Symbol: Type
-
-      TrueClass: Type
-
-      FalseClass: Type
-
-      Regexp: Type
-
-      NilClass: Type
-
-      Proc: Type
-
-      def self.nil_type: () -> Types::Nil
-
-      def self.any_type: () -> Types::Any
-
-      def self.bool_type: () -> Types::Boolean
-
-      def self.bottom_type: () -> Types::Bot
-
-      def self.top_type: () -> Types::Top
-
-      def self.optional: (Types::t) -> Types::t
-
-      def self.true_type: () -> Types::Literal
-
-      def self.false_type: () -> Types::Literal
-    end
-  end
-end

data/sig/steep/ast/node/type_application.rbs

@@ -1,31 +0,0 @@
-module Steep
-  module AST
-    module Node
-      class TypeApplication
-        attr_reader location: RBS::Location[untyped, untyped]
-
-        attr_reader node: Parser::AST::Node
-
-        def line: () -> Integer
-
-        def source: () -> String
-
-        def initialize: (RBS::Location[untyped, untyped]) -> void
-
-        def types: (RBS::Resolver::context, Subtyping::Check, Array[Symbol] type_vars) -> (Array[Types::t] | RBS::ParsingError | Enumerator[Diagnostic::Signature::Base, void] | nil)
-
-        def types?: (RBS::Resolver::context, Subtyping::Check, Array[Symbol] type_vars) -> Array[Types::t]?
-
-        @type_str: String?
-        def type_str: () -> String
-
-        def type_location: () -> RBS::Location[untyped, untyped]
-
-        # Set the back reference to the `:tapp` node
-        def set_node: (Parser::AST::Node) -> void
-
-        def self.parse: (RBS::Location[untyped, untyped]) -> TypeApplication?
-      end
-    end
-  end
-end

data/sig/steep/ast/node/type_assertion.rbs

@@ -1,32 +0,0 @@
-module Steep
-  module AST
-    module Node
-      class TypeAssertion
-        attr_reader location: RBS::Location[untyped, untyped]
-
-        def source: () -> String
-
-        def line: () -> Integer
-
-        def initialize: (RBS::Location[untyped, untyped]) -> void
-
-        def type: (RBS::Resolver::context, Subtyping::Check, Array[Symbol] type_vars) -> (Types::t | RBS::ParsingError | Array[Diagnostic::Signature::Base] | nil)
-
-        def type?: (RBS::Resolver::context, Subtyping::Check, Array[Symbol] type_vars) -> Types::t?
-
-        @type_str: String?
-        def type_str: () -> String
-
-        def type_location: () -> RBS::Location[untyped, untyped]
-
-        # Returns true if given comment body has a valid type syntax
-        #
-        # This method is used to reject RDoc directives beforehand.
-        #
-        def type_syntax?: () -> bool
-
-        def self.parse: (RBS::Location[untyped, untyped]) -> TypeAssertion?
-      end
-    end
-  end
-end

data/sig/steep/ast/types/any.rbs

@@ -1,29 +0,0 @@
-module Steep
-  module AST
-    module Types
-      class Any
-        attr_reader location: untyped
-
-        def initialize: (?location: untyped?) -> void
-
-        def ==: (untyped other) -> bool
-
-        def hash: () -> Integer
-
-        alias eql? ==
-
-        def subst: (Interface::Substitution s) -> Any
-
-        def to_s: () -> String
-
-        include Helper::NoFreeVariables
-
-        include Helper::NoChild
-
-        def level: () -> Array[Integer]
-
-        def with_location: (untyped new_location) -> Any
-      end
-    end
-  end
-end

data/sig/steep/ast/types/boolean.rbs

@@ -1,31 +0,0 @@
-module Steep
-  module AST
-    module Types
-      class Boolean
-        attr_reader location: untyped
-
-        def initialize: (?location: untyped?) -> void
-
-        def ==: (untyped other) -> bool
-
-        def hash: () -> Integer
-
-        alias eql? ==
-
-        def subst: (Interface::Substitution) -> Boolean
-
-        def to_s: () -> String
-
-        include Helper::NoFreeVariables
-
-        include Helper::NoChild
-
-        def level: () -> Array[Integer]
-
-        def with_location: (untyped new_location) -> Boolean
-
-        def back_type: () -> t
-      end
-    end
-  end
-end

data/sig/steep/ast/types/bot.rbs

@@ -1,29 +0,0 @@
-module Steep
-  module AST
-    module Types
-      class Bot
-        attr_reader location: untyped
-
-        def initialize: (?location: untyped?) -> void
-
-        def ==: (untyped other) -> bool
-
-        def hash: () -> Integer
-
-        alias eql? ==
-
-        def subst: (Interface::Substitution) -> Bot
-
-        def to_s: () -> String
-
-        include Helper::NoFreeVariables
-
-        include Helper::NoChild
-
-        def level: () -> Array[Integer]
-
-        def with_location: (untyped new_location) -> Bot
-      end
-    end
-  end
-end

data/sig/steep/ast/types/class.rbs

@@ -1,33 +0,0 @@
-module Steep
-  module AST
-    module Types
-      class Class
-        attr_reader location: untyped
-
-        def initialize: (?location: untyped?) -> void
-
-        def to_s: () -> String
-
-        def ==: (untyped other) -> bool
-
-        def hash: () -> Integer
-
-        alias eql? ==
-
-        def subst: (Interface::Substitution s) -> t
-
-        @@fvs: Set[variable]
-        def free_variables: () -> Set[variable]
-
-        include Helper::NoChild
-
-        def level: () -> Array[Integer]
-
-        def with_location: (untyped new_location) -> Class
-
-        self.@instance: Class
-        def self.instance: () -> Class
-      end
-    end
-  end
-end

data/sig/steep/ast/types/factory.rbs

@@ -1,110 +0,0 @@
-use RBS::TypeName, RBS::Resolver::TypeNameResolver
-
-module Steep
-  module AST
-    module Types
-      class Factory
-        @env: RBS::Environment
-
-        attr_reader definition_builder: RBS::DefinitionBuilder
-
-        attr_reader type_cache: Hash[RBS::Types::t, t]
-
-        attr_reader type_interface_cache: untyped
-
-        @type_name_resolver: TypeNameResolver?
-
-        def inspect: () -> String
-
-        def initialize: (builder: RBS::DefinitionBuilder) -> void
-
-        def type_name_resolver: () -> TypeNameResolver
-
-        def type: (RBS::Types::t `type`) -> t
-
-        def type_opt: (RBS::Types::t? `type`) -> t?
-
-        def type_1: (t `type`) -> RBS::Types::t
-
-        def type_1_opt: (t?) -> RBS::Types::t?
-
-        def function_1: (Interface::Function func) -> RBS::Types::Function
-
-        def params: (RBS::Types::Function `type`) -> Interface::Function::Params
-
-        def type_param: (RBS::AST::TypeParam type_param) -> Interface::TypeParam
-
-        def type_param_1: (Interface::TypeParam type_param) -> RBS::AST::TypeParam
-
-        @method_type_cache: Hash[RBS::MethodType, Interface::MethodType]
-
-        def method_type: (RBS::MethodType method_type, method_decls: Set[TypeInference::MethodCall::MethodDecl]) -> Interface::MethodType
-
-        def method_type_1: (Interface::MethodType method_type) -> RBS::MethodType
-
-        def unfold: (TypeName type_name, Array[t] args) -> t
-
-        # Unfold type alias one step, or returns itself
-        #
-        def expand_alias: (t `type`) -> t
-
-        # Unfold type alias until non alias type
-        #
-        # * Unions and intersections are expanded
-        # * Returns `nil` if it is recursive
-        #
-        def deep_expand_alias: (t `type`, ?recursive: Set[TypeName]) -> t?
-
-        # Convert union types to array of types
-        #
-        def flatten_union: (t `type`, ?Array[t] acc) -> Array[t]
-
-        # Partition the type components in union types to truthy ones and falsy ones
-        #
-        # * Returns a pair of *truthy* type and *falsy* type
-        # * The pair may contain `nil` if given type always evaluates to truthy or falsy
-        # * Expand (unfold) the type aliases automatically
-        #
-        # ```ruby
-        # partition_union?(`Integer?`)                          # => [`Integer`, `nil`]
-        # partition_union?(`Integer | String | nil | false`)    # => [`Integer | String`, `nil | false`]
-        # partition_union?(`bool`)                              # => [`bool`, `bool`]
-        # partition_union?(`nil`)                               # => [nil, `nil`]
-        # ```
-        #
-        def partition_union: (Types::t) -> [Types::t?, Types::t?]
-
-        # Returns a type that doesn't have `nil` in the union component
-        #
-        # * Returns `nil` if given type is `nil`
-        # * Expand (unfold) the type aliases automatically
-        #
-        # ```ruby
-        # unwrap_optional(`String?`)                               # => `String`
-        # unwrap_optional(`String | Integer | false | nil`)        # => `String | Integer | false`
-        # unwrap_optional(`nil`)                                   # => nil
-        # ```
-        #
-        def unwrap_optional: (Types::t) -> Types::t?
-
-        def module_name?: (TypeName type_name) -> bool
-
-        def class_name?: (TypeName type_name) -> bool
-
-        def env: () -> RBS::Environment
-
-        def absolute_type: (t `type`, context: RBS::Resolver::context) -> t
-
-        def absolute_type_name: (TypeName type_name, context: RBS::Resolver::context) -> TypeName?
-
-        def instance_type: (TypeName type_name, ?args: Array[t]?, ?location: untyped?) -> t
-
-        def try_singleton_type: (t) -> t?
-
-        def try_instance_type: (t) -> t?
-
-        def normalize_type: (t) -> t
-      end
-    end
-  end
-end

data/sig/steep/ast/types/helper.rbs

@@ -1,22 +0,0 @@
-module Steep
-  module AST
-    module Types
-      module Helper
-        module ChildrenLevel
-          def level_of_children: (Array[t] children) -> Array[Integer]
-        end
-
-        module NoFreeVariables
-          @fvs: Set[variable]
-
-          def free_variables: () -> Set[variable]
-        end
-
-        module NoChild
-          def each_child: () { (t) -> void } -> void
-                        | () -> Enumerator[t, void]
-        end
-      end
-    end
-  end
-end

data/sig/steep/ast/types/instance.rbs

@@ -1,33 +0,0 @@
-module Steep
-  module AST
-    module Types
-      class Instance
-        attr_reader location: untyped
-
-        def initialize: (?location: untyped?) -> void
-
-        def ==: (untyped other) -> bool
-
-        def hash: () -> Integer
-
-        alias eql? ==
-
-        def subst: (Interface::Substitution s) -> t
-
-        @@fvs: Set[variable]
-        def free_variables: () -> Set[variable]
-
-        include Helper::NoChild
-
-        def to_s: () -> String
-
-        def level: () -> Array[Integer]
-
-        def with_location: (untyped new_location) -> untyped
-
-        self.@instance: Instance
-        def self.instance: () -> Instance
-      end
-    end
-  end
-end

data/sig/steep/ast/types/intersection.rbs

@@ -1,38 +0,0 @@
-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

data/sig/steep/ast/types/literal.rbs

@@ -1,35 +0,0 @@
-module Steep
-  module AST
-    module Types
-      class Literal
-        attr_reader location: untyped
-
-        type value = Integer | String | Symbol | TrueClass | FalseClass
-
-        attr_reader value: value
-
-        def initialize: (value: value, ?location: untyped?) -> void
-
-        def ==: (untyped other) -> bool
-
-        def hash: () -> Integer
-
-        alias eql? ==
-
-        def subst: (Interface::Substitution s) -> Literal
-
-        def to_s: () -> String
-
-        include Helper::NoFreeVariables
-
-        include Helper::NoChild
-
-        def level: () -> Array[Integer]
-
-        def with_location: (untyped new_location) -> Literal
-
-        def back_type: () -> AST::Types::Name::Instance
-      end
-    end
-  end
-end

data/sig/steep/ast/types/logic.rbs

@@ -1,83 +0,0 @@
-module Steep
-  module AST
-    module Types
-      module Logic
-        class Base
-          attr_reader location: untyped
-
-          def subst: (Interface::Substitution s) -> self
-
-          include Helper::NoFreeVariables
-
-          include Helper::NoChild
-
-          def hash: () -> Integer
-
-          def ==: (untyped other) -> bool
-
-          alias eql? ==
-
-          def to_s: () -> String
-
-          def level: () -> Array[Integer]
-        end
-
-        # A type for `!` (not) operator results.
-        class Not < Base
-          def initialize: (?location: untyped?) -> void
-        end
-
-        # A type for `foo.nil?` call results.
-        class ReceiverIsNil < Base
-          def initialize: (?location: untyped?) -> void
-        end
-
-        #
-        class ReceiverIsNotNil < Base
-          def initialize: (?location: untyped?) -> void
-        end
-
-        # A type for `receiver.is_a?(C)` call results.
-        class ReceiverIsArg < Base
-          def initialize: (?location: untyped?) -> void
-        end
-
-        # A type for `Class#===` call results.
-        class ArgIsReceiver < Base
-          def initialize: (?location: untyped?) -> void
-        end
-
-        # A type for `Object#===` call results.
-        class ArgEqualsReceiver < Base
-          def initialize: (?location: untyped?) -> void
-        end
-
-        # A type for `Class#<` or `Class#<=` call results.
-        class ArgIsAncestor < Base
-          def initialize: (?location: untyped?) -> void
-        end
-
-        # A type with truthy/falsy type environment.
-        class Env < Base
-          attr_reader truthy: TypeInference::TypeEnv
-
-          attr_reader falsy: TypeInference::TypeEnv
-
-          attr_reader type: t
-
-          def initialize: (truthy: TypeInference::TypeEnv, falsy: TypeInference::TypeEnv, type: t, ?location: untyped) -> void
-
-          def ==: (untyped other) -> bool
-
-          alias eql? ==
-
-          def hash: () -> Integer
-
-          def inspect: () -> String
-
-          alias to_s inspect
-        end
-      end
-    end
-  end
-end

data/sig/steep/ast/types/name.rbs

@@ -1,80 +0,0 @@
-module Steep
-  module AST
-    module Types
-      # Types with names
-      #
-      module Name
-        class Base
-          attr_reader location: untyped
-
-          attr_reader name: RBS::TypeName
-
-          def initialize: (name: RBS::TypeName, ?location: untyped?) -> void
-
-          include Helper::NoFreeVariables
-
-          def subst: (Steep::Interface::Substitution s) -> self
-
-          def level: () -> Array[Integer]
-
-          def map_type: () { (t) -> t } -> self
-        end
-
-        class Applying < Base
-          attr_reader args: Array[t]
-
-          def initialize: (name: RBS::TypeName, args: Array[t], ?location: untyped?) -> void
-
-          def ==: (untyped other) -> bool
-
-          alias eql? ==
-
-          @hash: Integer
-          def hash: () -> Integer
-
-          def to_s: () -> ::String
-
-          def with_location: (untyped new_location) -> self
-
-          def subst: (Steep::Interface::Substitution s) -> self
-
-          @fvs: Set[variable]
-          def free_variables: () -> Set[variable]
-
-          def each_child: () { (t) -> void } -> void
-                        | () -> Enumerator[t, void]
-
-          include Helper::ChildrenLevel
-
-          def level: () -> Array[Integer]
-
-          def map_type: () { (t) -> t } -> self
-        end
-
-        class Singleton < Base
-          def ==: (untyped other) -> bool
-
-          alias eql? ==
-
-          def hash: () -> Integer
-
-          def to_s: () -> ::String
-
-          def with_location: (untyped new_location) -> Singleton
-
-          include Helper::NoChild
-        end
-
-        class Instance < Applying
-          def to_module: () -> Singleton
-        end
-
-        class Interface < Applying
-        end
-
-        class Alias < Applying
-        end
-      end
-    end
-  end
-end

data/sig/steep/ast/types/nil.rbs

@@ -1,31 +0,0 @@
-module Steep
-  module AST
-    module Types
-      class Nil
-        attr_reader location: untyped
-
-        def initialize: (?location: untyped?) -> void
-
-        def ==: (untyped other) -> bool
-
-        def hash: () -> Integer
-
-        alias eql? ==
-
-        def subst: (Interface::Substitution s) -> Nil
-
-        def to_s: () -> String
-
-        include Helper::NoFreeVariables
-
-        include Helper::NoChild
-
-        def level: () -> Array[Integer]
-
-        def with_location: (untyped new_location) -> Nil
-
-        def back_type: () -> Name::Instance
-      end
-    end
-  end
-end