rbs 1.7.1 → 2.0.0.pre2

data/sig/validator.rbs

@@ -1,14 +1,50 @@
 module RBS
   class Validator
     attr_reader env: Environment
+
     attr_reader resolver: TypeNameResolver
 
-    def initialize: (env: Environment, resolver: TypeNameResolver) -> void
+    attr_reader definition_builder: DefinitionBuilder
 
-    def absolute_type: (Types::t, context: TypeNameResolver::context) { (Types::t) -> TypeName } -> Types::t
+    attr_reader type_alias_dependency: TypeAliasDependency
+
+    attr_reader type_alias_regularity: TypeAliasRegularity
+
+    def initialize: (env: Environment, resolver: TypeNameResolver) -> void
 
+    # Validates the presence of type names and type application arity match.
+    #
     def validate_type: (Types::t, context: TypeNameResolver::context) -> void
 
+    # Validates type alias definition:
+    #
+    # - There is no circular definition between aliases
+    # - The type alias is _regular_
+    # - The generics type parameter variance annotation is consistent with respect to their usage
+    # - There is no circular dependencies between the generics type parameter bounds
+    #
     def validate_type_alias: (entry: Environment::SingleEntry[TypeName, AST::Declarations::Alias]) -> void
+
+    # Validates the type parameters in generic methods.
+    #
+    def validate_method_definition: (AST::Members::MethodDefinition, type_name: TypeName) -> void
+
+    # Validates the type parameters if there is no circular dependencies between the bounds.
+    #
+    # ```rbs
+    # [X, Y]                      # OK
+    # [X, Y < _Foo[X]]            # OK
+    # [X < _Foo[Y], Y]            # OK
+    # [X < _Foo[Y], Y < _Foo[X]]  # Error
+    # ```
+    #
+    def validate_type_params: (Array[AST::TypeParam] params, type_name: TypeName, ?method_name: Symbol?, location: Location[untyped, untyped]?) -> void
+
+    private
+
+    # Resolves relative type names to absolute type names in given context.
+    # Yields the type when the type name resolution using `#resolver` fails.
+    #
+    def absolute_type: (Types::t, context: TypeNameResolver::context) { (Types::t) -> TypeName } -> Types::t
   end
 end

data/sig/variance_calculator.rbs

@@ -1,7 +1,47 @@
 module RBS
+  # Calculate the use variances of type variables in declaration.
+  #
+  # ```rb
+  # calculator = VarianceCalculator.new(builder: builder)
+  #
+  # # Calculates variances in a method type
+  # result = calculator.in_method_type(method_type: method_type, variables: variables)
+  #
+  # # Calculates variances in a inheritance/mixin/...
+  # result = calculator.in_inherit(name: name, args: args, variables: variables)
+  #
+  # # Calculates variances in a type alias
+  # result = calculator.in_type_alias(name: name, args: args, variables: variables)
+  # ```
+  #
+  # See `RBS::VarianceCaluculator::Result` for information recorded in the `Result` object.
+  #
   class VarianceCalculator
     type variance = :unused | :covariant | :contravariant | :invariant
 
+    # Result contains the set of type variables and it's variance in a occurrence.
+    #
+    # ```rb
+    # # Enumerates recorded type variables
+    # result.each do |name, variance|
+    #   # name is the name of a type variable
+    #   # variance is one of :unused | :covariant | :contravariant | :invariant
+    # end
+    # ```
+    #
+    # You can test with `compatible?` method if the type variable occurrences are compatible with specified (annotated) variance.
+    #
+    # ```rb
+    # # When T is declared as `out T`
+    # result.compatible?(:T, with_annotation: :covariant)
+    #
+    # # When T is declared as `in T`
+    # result.compatible?(:T, with_annotation: :contravariant)
+    #
+    # # When T is declared as `T`
+    # result.compatible?(:T, with_annotation: :invariant)
+    # ```
+    #
     class Result
       attr_reader result: Hash[Symbol, variance]
 
@@ -18,6 +58,8 @@ module RBS
       def include?: (Symbol) -> bool
 
       def compatible?: (Symbol, with_annotation: variance) -> bool
+
+      def incompatible?: (Array[AST::TypeParam]) -> Set[Symbol]?
     end
 
     attr_reader builder: DefinitionBuilder
@@ -30,6 +72,14 @@ module RBS
 
     def in_inherit: (name: TypeName, args: Array[Types::t], variables: Array[Symbol]) -> Result
 
+    def in_type_alias: (name: TypeName) -> Result
+
+    private
+
     def type: (Types::t, result: Result, context: variance) -> void
+
+    def function: (Types::Function, result: Result, context: variance) -> void
+
+    def negate: (variance) -> variance
   end
 end

data/sig/writer.rbs

@@ -27,7 +27,7 @@ module RBS
 
     def write_member: (AST::Declarations::Module::member) -> void
 
-    def name_and_params: (TypeName, AST::Declarations::ModuleTypeParams) -> String?
+    def name_and_params: (TypeName, Array[AST::TypeParam]) -> String?
 
     def name_and_args: (TypeName, Array[Types::t]) -> String?
 

data/stdlib/bigdecimal-math/0/manifest.yaml

@@ -0,0 +1,2 @@
+dependencies:
+  - name: bigdecimal

data/stdlib/csv/0/manifest.yaml

@@ -0,0 +1,2 @@
+dependencies:
+  - name: forwardable

data/stdlib/date/0/date.rbs

@@ -446,7 +446,7 @@ class Date
   #     DateTime.jd(0,12) + DateTime.new(2001,2,3).ajd
   #                               #=> #<DateTime: 2001-02-03T00:00:00+00:00 ...>
   #
-  def +: (Integer | Rational other) -> Date
+  def +: ((Numeric & _ToR) other) -> Date
 
   # Returns the difference between the two dates if the other is a date object.
   # If the other is a numeric value, returns a date object pointing `other` days
@@ -461,7 +461,7 @@ class Date
   #     DateTime.new(2001,2,3) - DateTime.new(2001,2,2,12)
   #                              #=> (1/2)
   #
-  def -: (Integer | Rational other) -> Date
+  def -: ((Numeric & _ToR) other) -> Date
        | (Date other) -> Rational
 
   # Returns a date object pointing `n` months before self. The argument `n` should

data/stdlib/logger/0/manifest.yaml

@@ -0,0 +1,2 @@
+dependencies:
+  - name: monitor

data/stdlib/net-http/0/manifest.yaml

@@ -0,0 +1,2 @@
+dependencies:
+  - name: uri

data/stdlib/openssl/0/manifest.yaml

@@ -0,0 +1,2 @@
+dependencies:
+  - name: socket

data/stdlib/prime/0/manifest.yaml

@@ -0,0 +1,2 @@
+dependencies:
+  - name: singleton

data/stdlib/resolv/0/manifest.yaml

@@ -0,0 +1,3 @@
+dependencies:
+  - name: socket
+  - name: timeout

data/stdlib/set/0/set.rbs

@@ -122,7 +122,7 @@ class Set[A]
   #
   # See also Enumerable#include?
   #
-  def include?: (untyped) -> bool
+  def include?: (A) -> bool
 
   alias member? include?
 
@@ -168,12 +168,12 @@ class Set[A]
   # Deletes the given object from the set and returns self.  Use `subtract` to
   # delete many items at once.
   #
-  def delete: (untyped) -> self
+  def delete: (A) -> self
 
   # Deletes the given object from the set and returns self.  If the object is not
   # in the set, returns nil.
   #
-  def delete?: (untyped) -> self?
+  def delete?: (A) -> self?
 
   # Deletes every element of the set for which block evaluates to true, and
   # returns self. Returns an enumerator if no block is given.

data/stdlib/uri/0/common.rbs

@@ -154,7 +154,7 @@ module URI
   #
   # See URI.encode_www_form_component, URI.decode_www_form.
   #
-  def self.encode_www_form: (Enumerable[[ _ToS, _ToS ]] enum, ?encoding enc) -> String
+  def self.encode_www_form: (Enumerable[[ _ToS, _ToS ]] enum, ?encoding? enc) -> String
 
   # Encodes given `str` to URL-encoded form data.
   #
@@ -168,7 +168,7 @@ module URI
   #
   # See URI.decode_www_form_component, URI.encode_www_form.
   #
-  def self.encode_www_form_component: (String str, ?encoding enc) -> String
+  def self.encode_www_form_component: (_ToS str, ?encoding? enc) -> String
 
   # ## Synopsis
   #
@@ -268,7 +268,7 @@ module URI
   # It's recommended to first ::escape the provided `uri_str` if there are any
   # invalid URI characters.
   #
-  def self.parse: (String uri) -> URI::Generic
+  def self.parse: (_ToStr uri) -> (File | FTP | HTTP | HTTPS | LDAP | LDAPS | MailTo | WS | WSS | Generic)
 
   # ## Synopsis
   #
@@ -302,12 +302,17 @@ module URI
   #       p $&
   #     end
   #
-  def self.regexp: (?Array[String] schemes) -> Regexp
+  def self.regexp: (?Array[String]? schemes) -> Regexp
 
   # Returns a Hash of the defined schemes.
   #
   def self.scheme_list: () -> Hash[String, Class]
 
+  # Construct a URI instance, using the scheme to detect the appropriate class
+  # from +URI.scheme_list+.
+  #
+  def self.for: (String scheme, *untyped arguments, ?default: Class) -> (File | FTP | HTTP | HTTPS | LDAP | LDAPS | MailTo | WS | WSS | Generic)
+
   # ## Synopsis
   #
   #     URI::split(uri)
@@ -340,7 +345,7 @@ module URI
   #     URI.split("http://www.ruby-lang.org/")
   #     # => ["http", nil, "www.ruby-lang.org", nil, nil, "/", nil, nil, nil]
   #
-  def self.split: (String uri) -> [ String?, String?, String?, String?, String?, String?, String?, String?, String? ]
+  def self.split: (_ToStr uri) -> [ String?, String?, String?, String?, nil, String?, String?, String?, String? ]
 end
 
 URI::ABS_PATH: Regexp

data/stdlib/uri/0/ftp.rbs

@@ -0,0 +1,10 @@
+module URI
+  # FTP URI syntax is defined by RFC1738 section 3.2.
+  #
+  # This class will be redesigned because of difference of implementations;
+  # the structure of its path. draft-hoffman-ftp-uri-04 is a draft but it
+  # is a good summary about the de facto spec.
+  # http://tools.ietf.org/html/draft-hoffman-ftp-uri-04
+  class FTP < Generic
+  end
+end

data/stdlib/uri/0/generic.rbs

@@ -193,14 +193,14 @@ module URI
     #
     # Creates a new URI::Generic instance from ``generic'' components without check.
     #
-    def initialize: (String scheme, String userinfo, String host, Integer port, String? registry, String path, String? opaque, String query, String fragment, ?untyped parser, ?boolish arg_check) -> URI::Generic
+    def initialize: (String? scheme, String? userinfo, String? host, (String | Integer)? port, nil registry, String? path, String? opaque, String? query, String? fragment, ?untyped parser, ?boolish arg_check) -> void
 
     #
     # Returns the scheme component of the URI.
     #
     #   URI("http://foo/bar/baz").scheme #=> "http"
     #
-    attr_reader scheme: String
+    attr_reader scheme: String?
 
     # Returns the host component of the URI.
     #
@@ -222,14 +222,14 @@ module URI
     #   URI("http://[::1]/bar/baz").host     #=> "[::1]"
     #   URI("http://[::1]/bar/baz").hostname #=> "::1"
     #
-    attr_reader host: String
+    attr_reader host: String?
 
     # Returns the port component of the URI.
     #
     #   URI("http://foo/bar/baz").port      #=> 80
     #   URI("http://foo:8080/bar/baz").port #=> 8080
     #
-    attr_reader port: Integer
+    attr_reader port: Integer?
 
     def registry: () -> nil
 
@@ -237,13 +237,13 @@ module URI
     #
     #   URI("http://foo/bar/baz").path #=> "/bar/baz"
     #
-    attr_reader path: String
+    attr_reader path: String?
 
     # Returns the query component of the URI.
     #
     #   URI("http://foo/bar/baz?search=FooBar").query #=> "search=FooBar"
     #
-    attr_reader query: String
+    attr_reader query: String?
 
     # Returns the opaque part of the URI.
     #
@@ -280,13 +280,13 @@ module URI
     #
     # Checks the scheme +v+ component against the URI::Parser Regexp for :SCHEME.
     #
-    def check_scheme: (String v) -> true
+    def check_scheme: (String? v) -> true
 
     # Protected setter for the scheme component +v+.
     #
     # See also URI::Generic.scheme=.
     #
-    def set_scheme: (String v) -> String
+    def set_scheme: (String? v) -> String?
 
     #
     # == Args
@@ -309,7 +309,7 @@ module URI
     #   uri.scheme = "https"
     #   uri.to_s  #=> "https://my.example.com"
     #
-    def scheme=: (String v) -> String
+    def scheme=: (String? v) -> String?
 
     #
     # Checks the +user+ and +password+.
@@ -338,12 +338,12 @@ module URI
     # Can not have a registry or opaque component defined,
     # with a user component defined.
     #
-    def check_password: (String v, ?String user) -> (String | true)
+    def check_password: (String? v, ?String user) -> (String? | true)
 
     #
     # Sets userinfo, argument is string like 'name:pass'.
     #
-    def userinfo=: (String? userinfo) -> Array[String | nil]?
+    def userinfo=: (String? userinfo) -> String?
 
     #
     # == Args
@@ -366,7 +366,7 @@ module URI
     #   uri.user = "sam"
     #   uri.to_s  #=> "http://sam:V3ry_S3nsit1ve@my.example.com"
     #
-    def user=: (String user) -> String
+    def user=: (String? user) -> String?
 
     #
     # == Args
@@ -389,26 +389,26 @@ module URI
     #   uri.password = "V3ry_S3nsit1ve"
     #   uri.to_s  #=> "http://john:V3ry_S3nsit1ve@my.example.com"
     #
-    def password=: (String password) -> String
+    def password=: (String? password) -> String?
 
     # Protected setter for the +user+ component, and +password+ if available
     # (with validation).
     #
     # See also URI::Generic.userinfo=.
     #
-    def set_userinfo: (String user, ?String? password) -> Array[String | nil]
+    def set_userinfo: (String? user, ?String? password) -> [String?, String?]
 
     # Protected setter for the user component +v+.
     #
     # See also URI::Generic.user=.
     #
-    def set_user: (String v) -> String
+    def set_user: (String? v) -> String?
 
     # Protected setter for the password component +v+.
     #
     # See also URI::Generic.password=.
     #
-    def set_password: (String v) -> String
+    def set_password: (String? v) -> String?
 
     # Returns the userinfo +ui+ as <code>[user, password]</code>
     # if properly formatted as 'user:password'.
@@ -421,10 +421,10 @@ module URI
     def userinfo: () -> String?
 
     # Returns the user component.
-    def user: () -> String
+    def user: () -> String?
 
     # Returns the password component.
-    def password: () -> String
+    def password: () -> String?
 
     #
     # Checks the host +v+ component for RFC2396 compliance
@@ -433,13 +433,13 @@ module URI
     # Can not have a registry or opaque component defined,
     # with a host component defined.
     #
-    def check_host: (String v) -> (String | true)
+    def check_host: (String? v) -> true?
 
     # Protected setter for the host component +v+.
     #
     # See also URI::Generic.host=.
     #
-    def set_host: (String v) -> String
+    def set_host: (String? v) -> String?
 
     #
     # == Args
@@ -462,7 +462,7 @@ module URI
     #   uri.host = "foo.com"
     #   uri.to_s  #=> "http://foo.com"
     #
-    def host=: (String v) -> String
+    def host=: (String? v) -> String?
 
     # Extract the host part of the URI and unwrap brackets for IPv6 addresses.
     #
@@ -473,7 +473,7 @@ module URI
     #   uri.hostname      #=> "::1"
     #   uri.host          #=> "[::1]"
     #
-    def hostname: () -> String
+    def hostname: () -> String?
 
     # Sets the host part of the URI as the argument with brackets for IPv6 addresses.
     #
@@ -487,7 +487,7 @@ module URI
     # If the argument seems to be an IPv6 address,
     # it is wrapped with brackets.
     #
-    def hostname=: (String v) -> String
+    def hostname=: (String? v) -> String?
 
     #
     # Checks the port +v+ component for RFC2396 compliance
@@ -496,13 +496,13 @@ module URI
     # Can not have a registry or opaque component defined,
     # with a port component defined.
     #
-    def check_port: (Integer v) -> (Integer | true)
+    def check_port: ((String | Integer)? v) -> true?
 
     # Protected setter for the port component +v+.
     #
     # See also URI::Generic.port=.
     #
-    def set_port: (Integer v) -> Integer
+    def set_port: ((String | Integer)? v) -> (String | Integer)?
 
     #
     # == Args
@@ -525,7 +525,7 @@ module URI
     #   uri.port = 8080
     #   uri.to_s  #=> "http://my.example.com:8080"
     #
-    def port=: (Integer v) -> Integer
+    def port=: ((String | Integer)? v) -> (String | Integer)?
 
     def check_registry: (String v) -> nil
 
@@ -541,13 +541,13 @@ module URI
     # Can not have a opaque component defined,
     # with a path component defined.
     #
-    def check_path: (String v) -> true
+    def check_path: (String? v) -> true
 
     # Protected setter for the path component +v+.
     #
     # See also URI::Generic.path=.
     #
-    def set_path: (String v) -> String
+    def set_path: (String? v) -> String?
 
     #
     # == Args
@@ -570,7 +570,7 @@ module URI
     #   uri.path = "/faq/"
     #   uri.to_s  #=> "http://my.example.com/faq/"
     #
-    def path=: (String v) -> String
+    def path=: (String? v) -> String?
 
     #
     # == Args
@@ -590,7 +590,7 @@ module URI
     #   uri.query = "id=1"
     #   uri.to_s  #=> "http://my.example.com/?id=1"
     #
-    def query=: (String v) -> String
+    def query=: (String? v) -> String?
 
     #
     # Checks the opaque +v+ component for RFC2396 compliance and
@@ -599,13 +599,13 @@ module URI
     # Can not have a host, port, user, or path component defined,
     # with an opaque component defined.
     #
-    def check_opaque: (String v) -> (String | true)
+    def check_opaque: (String? v) -> true?
 
     # Protected setter for the opaque component +v+.
     #
     # See also URI::Generic.opaque=.
     #
-    def set_opaque: (String v) -> String
+    def set_opaque: (String? v) -> String?
 
     #
     # == Args
@@ -620,7 +620,7 @@ module URI
     #
     # See also URI::Generic.check_opaque.
     #
-    def opaque=: (String v) -> String
+    def opaque=: (String? v) -> String?
 
     #
     # Checks the fragment +v+ component against the URI::Parser Regexp for :FRAGMENT.
@@ -644,7 +644,7 @@ module URI
     #   uri.fragment = "time=1305212086"
     #   uri.to_s  #=> "http://my.example.com/?id=25#time=1305212086"
     #
-    def fragment=: (String v) -> String
+    def fragment=: (String? v) -> String?
 
     #
     # Returns true if URI is hierarchical.

data/stdlib/uri/0/mailto.rbs

@@ -0,0 +1,5 @@
+module URI
+  # RFC6068, the mailto URL scheme.
+  class MailTo < Generic
+  end
+end

data/stdlib/uri/0/ws.rbs

@@ -0,0 +1,10 @@
+module URI
+  # The syntax of WS URIs is defined in RFC6455 section 3.
+  #
+  # Note that the Ruby URI library allows WS URLs containing usernames and
+  # passwords. This is not legal as per the RFC, but used to be
+  # supported in Internet Explorer 5 and 6, before the MS04-004 security
+  # update. See <URL:http://support.microsoft.com/kb/834489>.
+  class WS < Generic
+  end
+end

data/stdlib/uri/0/wss.rbs

@@ -0,0 +1,7 @@
+module URI
+  # The default port for WSS URIs is 443, and the scheme is 'wss:' rather
+  # than 'ws:'. Other than that, WSS URIs are identical to WS URIs;
+  # see URI::WS.
+  class WSS < WS
+  end
+end

data/stdlib/yaml/0/manifest.yaml

@@ -0,0 +1,3 @@
+dependencies:
+  - name: dbm
+  - name: pstore

data/steep/Gemfile.lock

@@ -9,37 +9,37 @@ GEM
       zeitwerk (~> 2.3)
     ast (2.4.2)
     concurrent-ruby (1.1.9)
-    ffi (1.15.3)
-    i18n (1.8.10)
+    ffi (1.15.4)
+    i18n (1.8.11)
       concurrent-ruby (~> 1.0)
     language_server-protocol (3.16.0.3)
     listen (3.7.0)
       rb-fsevent (~> 0.10, >= 0.10.3)
       rb-inotify (~> 0.9, >= 0.9.10)
     minitest (5.14.4)
-    parallel (1.20.1)
-    parser (3.0.2.0)
+    parallel (1.21.0)
+    parser (3.0.3.1)
       ast (~> 2.4.1)
     rainbow (3.0.0)
     rb-fsevent (0.11.0)
     rb-inotify (0.10.1)
       ffi (~> 1.0)
-    rbs (1.5.1)
-    steep (0.46.0)
+    rbs (1.7.1)
+    steep (0.47.0)
       activesupport (>= 5.1)
       language_server-protocol (>= 3.15, < 4.0)
       listen (~> 3.0)
       parallel (>= 1.0.0)
       parser (>= 3.0)
       rainbow (>= 2.2.2, < 4.0)
-      rbs (>= 1.2.0)
+      rbs (~> 1.7.0)
       terminal-table (>= 2, < 4)
-    terminal-table (3.0.1)
+    terminal-table (3.0.2)
       unicode-display_width (>= 1.1.1, < 3)
     tzinfo (2.0.4)
       concurrent-ruby (~> 1.0)
-    unicode-display_width (2.0.0)
-    zeitwerk (2.4.2)
+    unicode-display_width (2.1.0)
+    zeitwerk (2.5.1)
 
 PLATFORMS
   ruby