rbs 1.0.1 → 1.0.6

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 8d03121b9d58454590a45862ba1d479305feae4f2b4d10707ae8e1a3c24d4aba
-  data.tar.gz: f147d99859cfc7e18b41a751587f7b2cba484bf397d5b306b9fe69f15dd4b452
+  metadata.gz: 0c8f0c698e503246f1952a9f05aed05cd1a820d4ea67721970497664bf0ee3fd
+  data.tar.gz: bf2d2e438893b213ad750d1fcd71c9d1b318f9cff1f2212ee65a3dc50cf43e39
 SHA512:
-  metadata.gz: 2e325492bc73b6d9f2f62660c4e4821f7d3853780f39a957e02ad4b30fc44ca1e687fbde9d0b2843be786e51126fbb5473e1d5ae5c9c719f255bfc50fe2f7cde
-  data.tar.gz: '03995c9d63b9db359744338497985952eed7608729cb4a259b20af6e68de5eecdf3c996404701e2821f35d4bebfdb1e2c7c8e6289f9b5a7875fd4c6c507bde27'
+  metadata.gz: 53fd4afc4d095999f7a03d6199af9cdd1009a378ebd2976c690c54a2bd2aed81d129912c70a16914733bd252a58e50223f9090bd995ca53a01a1acef513efd4a
+  data.tar.gz: b976e7a9c8bd2b80912290d7047403cfc2d7b09ed405e82aa52b75e9ed19737c144bc9c62d72f0ddcf2839117400d3e5207952753fb73097b21fdfd1192d214f

data/CHANGELOG.md

@@ -2,6 +2,37 @@
 
 ## master
 
+## 1.0.6 (2021-02-17)
+
+* Signature Updates
+  * `Enumerable` ([\#595](https://github.com/ruby/rbs/pull/595), [\#596](https://github.com/ruby/rbs/pull/596), [\#601](https://github.com/ruby/rbs/pull/601))
+  * `#as_json` ([\#597](https://github.com/ruby/rbs/pull/597))
+
+## 1.0.5 (2021-02-13)
+
+* Signature Updates
+  * Enumerable ([\#596](https://github.com/ruby/rbs/pull/596))
+  * Set ([\#595](https://github.com/ruby/rbs/pull/595))
+  * `#to_json` ([\#592](https://github.com/ruby/rbs/pull/592))
+  * `<=>` ([\#593](https://github.com/ruby/rbs/pull/593))
+  * Timeout ([\#586](https://github.com/ruby/rbs/pull/586))
+  * URI::RFC2396_Parser ([\#587](https://github.com/ruby/rbs/pull/587))
+* Rename generic class parameters on re-open ([\#594](https://github.com/ruby/rbs/pull/594))
+* Make `refute_send_type` check that method call doesn't match with types in RBS ([\#588](https://github.com/ruby/rbs/pull/588))
+
+## 1.0.4 (2021-01-31)
+
+* Unbundle `rr` to run test in `ruby/ruby` repo ([#585](https://github.com/ruby/rbs/pull/585))
+
+## 1.0.3 (2021-01-28)
+
+* Set up `#ancestors` and `#location` of `RecursiveAncestorError` ([#583](https://github.com/ruby/rbs/pull/583))
+
+## 1.0.2 (2021-01-28)
+
+* Signature Updates
+  * Kernel([#582](https://github.com/ruby/rbs/pull/582))
+
 ## 1.0.1 (2021-01-27)
 
 * Signature Updates

data/Gemfile

@@ -6,7 +6,6 @@ gemspec
 # Development dependencies
 gem "rake"
 gem "test-unit"
-gem "test-unit-rr"
 gem "rspec"
 gem "racc"
 gem "rubocop"

data/core/array.rbs

@@ -1736,7 +1736,7 @@ class Array[unchecked out Elem] < Object
   # See also Enumerable#sort_by.
   #
   def sort: () -> ::Array[Elem]
-          | () { (Elem a, Elem b) -> ::Integer? } -> ::Array[Elem]
+          | () { (Elem a, Elem b) -> ::Integer } -> ::Array[Elem]
 
   # Sorts `self` in place.
   #
@@ -1757,7 +1757,7 @@ class Array[unchecked out Elem] < Object
   # See also Enumerable#sort_by.
   #
   def sort!: () -> self
-           | () { (Elem a, Elem b) -> ::Integer? } -> self
+           | () { (Elem a, Elem b) -> ::Integer } -> self
 
   # Sorts `self` in place using a set of keys generated by mapping the values in
   # `self` through the given block.

data/core/complex.rbs

@@ -121,7 +121,7 @@ class Complex < Numeric
   #     Complex(2)     <=> 2               #=> 0
   #     Complex(2)     <=> 3               #=> -1
   #
-  def <=>: (Numeric) -> Integer?
+  def <=>: (untyped) -> Integer?
 
   # Returns true if cmp equals object numerically.
   #

data/core/enumerable.rbs

@@ -286,8 +286,22 @@ module Enumerable[unchecked out Elem]: _Each[Elem]
   def sort_by: () { (Elem arg0) -> (Comparable | ::Array[untyped]) } -> ::Array[Elem]
              | () -> ::Enumerator[Elem, ::Array[Elem]]
 
-  def take: (Integer n) -> ::Array[Elem]?
+  # Returns first n elements from *enum*.
+  #
+  #     a = [1, 2, 3, 4, 5, 0]
+  #     a.take(3)             #=> [1, 2, 3]
+  #     a.take(30)            #=> [1, 2, 3, 4, 5, 0]
+  #
+  def take: (Integer n) -> ::Array[Elem]
 
+  # Passes elements to the block until the block returns `nil` or `false`, then
+  # stops iterating and returns an array of all prior elements.
+  #
+  # If no block is given, an enumerator is returned instead.
+  #
+  #     a = [1, 2, 3, 4, 5, 0]
+  #     a.take_while { |i| i < 3 }   #=> [1, 2]
+  #
   def take_while: () { (Elem) -> boolish } -> ::Array[Elem]
                 | () -> ::Enumerator[Elem, ::Array[Elem]]
 

data/core/enumerator.rbs

@@ -244,6 +244,8 @@ end
 
 class Enumerator::Generator[out Elem] < Object
   include Enumerable[Elem]
+
+  def each: () { (Elem) -> void } -> void
 end
 
 class Enumerator::Lazy[out Elem, out Return] < Enumerator[Elem, Return]
@@ -259,4 +261,6 @@ end
 
 class Enumerator::Chain[out Elem] < Object
   include Enumerable[Elem]
+
+  def each: () { (Elem) -> void } -> void
 end

data/core/file.rbs

@@ -985,7 +985,8 @@ class File::Stat < Object
   include Comparable
 
   def initialize: (String file) -> Object
-  def <=>: (File::Stat other) -> Integer?
+  def <=>: (File::Stat other) -> Integer
+         | (untyped) -> nil
 
   def atime: () -> Time
 

data/core/integer.rbs

@@ -112,7 +112,8 @@ class Integer < Numeric
   #
   # `nil` is returned if the two values are incomparable.
   #
-  def <=>: (Numeric) -> Integer?
+  def <=>: (Integer | Rational) -> Integer
+         | (untyped) -> Integer?
 
   # Returns `true` if `int` equals `other` numerically. Contrast this with
   # Integer#eql?, which requires `other` to be an Integer.

data/core/kernel.rbs

@@ -54,7 +54,7 @@ module Kernel : BasicObject
   # try { "hello" }      #=> "hello"
   # try do "hello" end   #=> "hello"
   # ```
-  def self.block_given?: () -> bool
+  def self?.block_given?: () -> bool
 
   # Returns the names of the current local variables.
   #

data/core/module.rbs

@@ -90,7 +90,7 @@ class Module < Object
   # Returns `nil` if `module` has no relationship with `other_module`, if
   # `other_module` is not a module, or if the two values are incomparable.
   #
-  def <=>: (Module other) -> Integer?
+  def <=>: (untyped other) -> Integer?
 
   # Equality --- At the Object level, #== returns `true` only if `obj` and `other`
   # are the same object.  Typically, this method is overridden in descendant

data/core/rational.rbs

@@ -125,7 +125,8 @@ class Rational < Numeric
   #
   #     Rational(1, 3) <=> "0.3"           #=> nil
   #
-  def <=>: (Numeric) -> Integer?
+  def <=>: (Integer | Rational) -> Integer
+         | (untyped) -> Integer?
 
   # Returns `true` if `rat` equals `object` numerically.
   #

data/core/string.rbs

@@ -91,7 +91,8 @@ class String
   #     "abcdef" <=> "ABCDEF"    #=> 1
   #     "abcdef" <=> 1           #=> nil
   #
-  def <=>: (untyped other) -> Integer?
+  def <=>: (string other) -> Integer
+         | (untyped other) -> Integer?
 
   # Equality---Returns whether `str` == `obj`, similar to Object#==.
   #

data/core/symbol.rbs

@@ -47,7 +47,8 @@ class Symbol
   #
   # See String#<=> for more information.
   #
-  def <=>: (untyped other) -> Integer?
+  def <=>: (Symbol other) -> Integer
+         | (untyped other) -> Integer?
 
   # Equality---If *sym* and *obj* are exactly the same symbol, returns `true`.
   #

data/core/time.rbs

@@ -230,7 +230,8 @@ class Time < Object
   #     t2 <=> t           #=> 1
   #     t <=> t            #=> 0
   #
-  def <=>: (Time other) -> Integer?
+  def <=>: (Time other) -> Integer
+         | (untyped other) -> Integer?
 
   def >: (Time arg0) -> bool
 

data/docs/stdlib.md

@@ -70,7 +70,7 @@ One non-trivial but absolutely better solution is to make a tool:
 The next step should be importing RDoc documents.
 
 ```
-$ bin/annotate-with-rdoc stdlib/pathname/pathname.rbs
+$ bin/annotate-with-rdoc stdlib/pathname/0/pathname.rbs
 Loading store from /Users/soutaro/.rbenv/versions/2.7.0-dev/share/ri/2.7.0/system...
 Loading store from /Users/soutaro/.rbenv/versions/2.7.0-dev/share/ri/2.7.0/site...
 Opening stdlib/pathname/pathname.rbs...

data/lib/rbs/ast/members.rb

@@ -245,6 +245,19 @@ module RBS
         def hash
           self.class.hash ^ name.hash ^ type.hash ^ ivar_name.hash ^ kind.hash
         end
+
+        def update(name: self.name, type: self.type, ivar_name: self.ivar_name, kind: self.kind, annotations: self.annotations, location: self.location, comment: self.comment)
+          klass = _ = self.class
+          klass.new(
+            name: name,
+            type: type,
+            ivar_name: ivar_name,
+            kind: kind,
+            annotations: annotations,
+            location: location,
+            comment: comment
+          )
+        end
       end
 
       class AttrReader < Base

data/lib/rbs/definition_builder.rb

@@ -139,9 +139,8 @@ module RBS
         case entry
         when Environment::ClassEntry, Environment::ModuleEntry
           ancestors = ancestor_builder.instance_ancestors(type_name)
-          self_type = Types::ClassInstance.new(name: type_name,
-                                               args: Types::Variable.build(entry.type_params.each.map(&:name)),
-                                               location: nil)
+          args = Types::Variable.build(entry.type_params.each.map(&:name))
+          self_type = Types::ClassInstance.new(name: type_name, args: args, location: nil)
 
           Definition.new(type_name: type_name, entry: entry, self_type: self_type, ancestors: ancestors).tap do |definition|
             one_ancestors = ancestor_builder.one_instance_ancestors(type_name)
@@ -217,6 +216,8 @@ module RBS
                            super_interface_method: entry.is_a?(Environment::ModuleEntry))
 
             entry.decls.each do |d|
+              subst = Substitution.build(d.decl.type_params.each.map(&:name), args)
+
               d.decl.members.each do |member|
                 case member
                 when AST::Members::AttrReader, AST::Members::AttrAccessor, AST::Members::AttrWriter
@@ -229,12 +230,18 @@ module RBS
                                 end
 
                     if ivar_name
-                      insert_variable(type_name, definition.instance_variables, name: ivar_name, type: member.type)
+                      insert_variable(type_name,
+                                      definition.instance_variables,
+                                      name: ivar_name,
+                                      type: member.type.sub(subst))
                     end
                   end
 
                 when AST::Members::InstanceVariable
-                  insert_variable(type_name, definition.instance_variables, name: member.name, type: member.type)
+                  insert_variable(type_name,
+                                  definition.instance_variables,
+                                  name: member.name,
+                                  type: member.type.sub(subst))
 
                 when AST::Members::ClassVariable
                   insert_variable(type_name, definition.class_variables, name: member.name, type: member.type)

data/lib/rbs/definition_builder/method_builder.rb

@@ -96,15 +96,22 @@ module RBS
             type = Types::ClassInstance.new(name: type_name, args: args, location: nil)
             Methods.new(type: type).tap do |methods|
               entry.decls.each do |d|
+                subst = Substitution.build(d.decl.type_params.each.map(&:name), args)
                 each_member_with_accessibility(d.decl.members) do |member, accessibility|
                   case member
                   when AST::Members::MethodDefinition
                     if member.instance?
-                      build_method(methods, type, member: member, accessibility: accessibility)
+                      build_method(methods,
+                                   type,
+                                   member: member.update(types: member.types.map {|type| type.sub(subst) }),
+                                   accessibility: accessibility)
                     end
                   when AST::Members::AttrReader, AST::Members::AttrWriter, AST::Members::AttrAccessor
                     if member.kind == :instance
-                      build_attribute(methods, type, member: member, accessibility: accessibility)
+                      build_attribute(methods,
+                                      type,
+                                      member: member.update(type: member.type.sub(subst)),
+                                      accessibility: accessibility)
                     end
                   when AST::Members::Alias
                     if member.kind == :instance

data/lib/rbs/errors.rb

@@ -40,6 +40,9 @@ module RBS
     attr_reader :location
 
     def initialize(ancestors:, location:)
+      @ancestors = ancestors
+      @location = location
+
       names = ancestors.map do |ancestor|
         case ancestor
         when Definition::Ancestor::Singleton

data/lib/rbs/version.rb

@@ -1,3 +1,3 @@
 module RBS
-  VERSION = "1.0.1"
+  VERSION = "1.0.6"
 end

data/sig/members.rbs

@@ -104,6 +104,8 @@ module RBS
         def initialize: (name: Symbol, type: Types::t, ivar_name: Symbol | false | nil, kind: kind, annotations: Array[Annotation], location: Location?, comment: Comment?) -> void
 
         include _HashEqual
+
+        def update: (?name: Symbol, ?type: Types::t, ?ivar_name: Symbol | false | nil, ?kind: kind, ?annotations: Array[Annotation], ?location: Location?, ?comment: Comment?) -> instance
       end
 
       class AttrReader < Base

data/stdlib/bigdecimal/0/big_decimal.rbs

@@ -321,7 +321,7 @@ class BigDecimal < Numeric
 
   # The comparison operator. a <=> b is 0 if a == b, 1 if a > b, -1 if a < b.
   #
-  def <=>: (Numeric) -> Integer?
+  def <=>: (untyped) -> Integer?
 
   # Tests for value equality; returns true if the values are equal.
   #

data/stdlib/date/0/date.rbs

@@ -496,7 +496,7 @@ class Date
   #
   # See also Comparable.
   #
-  def <=>: (Date | Rational | Object other) -> Integer?
+  def <=>: (untyped other) -> Integer?
 
   # Returns true if they are the same day.
   #

data/stdlib/json/0/json.rbs

@@ -339,3 +339,291 @@ JSON::VERSION_BUILD: Integer
 JSON::VERSION_MAJOR: Integer
 
 JSON::VERSION_MINOR: Integer
+
+class Object
+  # Converts this object to a string (calling #to_s), converts
+  # it to a JSON string, and returns the result. This is a fallback, if no
+  # special method #to_json was defined for some object.
+  #
+  def to_json: (?JSON::State state) -> String
+end
+
+class NilClass
+  # Returns a JSON string for nil: 'null'.
+  #
+  def to_json: (?JSON::State state) -> String
+end
+
+class TrueClass
+  # Returns a JSON string for true: 'true'.
+  #
+  def to_json: (?JSON::State state) -> String
+end
+
+class FalseClass
+  # Returns a JSON string for false: 'false'.
+  #
+  def to_json: (?JSON::State state) -> String
+end
+
+class String
+  # This string should be encoded with UTF-8 A call to this method
+  # returns a JSON string encoded with UTF16 big endian characters as
+  # \u????.
+  #
+  def to_json: (?JSON::State state) -> String
+end
+
+class Integer
+  # Returns a JSON string representation for this Integer number.
+  #
+  def to_json: (?JSON::State state) -> String
+end
+
+class Float
+  # Returns a JSON string representation for this Float number.
+  #
+  def to_json: (?JSON::State state) -> String
+end
+
+class Hash[unchecked out K, unchecked out V]
+  # Returns a JSON string containing a JSON object, that is generated from
+  # this Hash instance.
+  # _state_ is a JSON::State object, that can also be used to configure the
+  # produced JSON string output further.
+  #
+  def to_json: (?JSON::State state) -> String
+end
+
+class Array[unchecked out Elem]
+  # Returns a JSON string containing a JSON array, that is generated from
+  # this Array instance.
+  # _state_ is a JSON::State object, that can also be used to configure the
+  # produced JSON string output further.
+  #
+  def to_json: (?JSON::State state) -> String
+end
+
+class BigDecimal
+  # Import a JSON Marshalled object.
+  #
+  # method used for JSON marshalling support.
+  #
+  def self.json_create: (Hash[String, String] object) -> instance
+
+  # Marshal the object to JSON.
+  #
+  # method used for JSON marshalling support.
+  #
+  def as_json: (*untyped) -> Hash[String, String]
+
+  # return the JSON value
+  #
+  def to_json: (?JSON::State state) -> String
+end
+
+class Complex
+  # Deserializes JSON string by converting Real value `r`, imaginary value `i`, to
+  # a Complex object.
+  #
+  def self.json_create: (Hash[String, String | Numeric] object) -> instance
+
+  # Returns a hash, that will be turned into a JSON object and represent this
+  # object.
+  #
+  def as_json: (*untyped) -> Hash[String, String | Numeric]
+
+  # Stores class name (Complex) along with real value `r` and imaginary value `i`
+  # as JSON string
+  #
+  def to_json: (?JSON::State state) -> String
+end
+
+class Date
+  # Deserializes JSON string by converting Julian year `y`, month `m`, day `d` and
+  # Day of Calendar Reform `sg` to Date.
+  #
+  def self.json_create: (Hash[String, String | Integer | Float] object) -> instance
+
+  # Returns a hash, that will be turned into a JSON object and represent this
+  # object.
+  #
+  def as_json: (*untyped) -> Hash[String, String | Integer | Float]
+
+  # Stores class name (Date) with Julian year `y`, month `m`, day `d` and Day of
+  # Calendar Reform `sg` as JSON string
+  #
+  def to_json: (?JSON::State state) -> String
+end
+
+class DateTime
+  # Deserializes JSON string by converting year `y`, month `m`, day `d`, hour `H`,
+  # minute `M`, second `S`, offset `of` and Day of Calendar Reform `sg` to
+  # DateTime.
+  #
+  def self.json_create: (Hash[String, String | Integer | Float] object) -> instance
+
+  # Returns a hash, that will be turned into a JSON object and represent this
+  # object.
+  #
+  def as_json: (*untyped) -> Hash[String, String | Integer | Float]
+
+  # Stores class name (DateTime) with Julian year `y`, month `m`, day `d`, hour
+  # `H`, minute `M`, second `S`, offset `of` and Day of Calendar Reform `sg` as
+  # JSON string
+  #
+  def to_json: (?JSON::State state) -> String
+end
+
+class Exception
+  # Deserializes JSON string by constructing new Exception object with message `m`
+  # and backtrace `b` serialized with `to_json`
+  #
+  def self.json_create: (Hash[String, String | Array[String] | nil] object) -> instance
+
+  # Returns a hash, that will be turned into a JSON object and represent this
+  # object.
+  #
+  def as_json: (*untyped) -> Hash[String, String | Array[String] | nil]
+
+  # Stores class name (Exception) with message `m` and backtrace array `b` as JSON
+  # string
+  #
+  def to_json: (?JSON::State state) -> String
+end
+
+class OpenStruct
+  # Deserializes JSON string by constructing new Struct object with values `t`
+  # serialized by `to_json`.
+  #
+  def self.json_create: (Hash[String, String | Hash[Symbol, untyped]] object) -> instance
+
+  # Returns a hash, that will be turned into a JSON object and represent this
+  # object.
+  #
+  def as_json: (*untyped) -> Hash[String, String | Hash[Symbol, untyped]]
+
+  # Stores class name (OpenStruct) with this struct's values `t` as a JSON string.
+  #
+  def to_json: (?JSON::State state) -> String
+end
+
+class Range[out Elem]
+  # Deserializes JSON string by constructing new Range object with arguments `a`
+  # serialized by `to_json`.
+  #
+  def self.json_create: (Hash[String, String | [Elem, Elem, bool]] object) -> instance
+
+  # Returns a hash, that will be turned into a JSON object and represent this
+  # object.
+  #
+  def as_json: (*untyped) -> Hash[String, String | [Elem, Elem, bool]]
+
+  # Stores class name (Range) with JSON array of arguments `a` which include
+  # `first` (integer), `last` (integer), and `exclude_end?` (boolean) as JSON
+  # string.
+  #
+  def to_json: (?JSON::State state) -> String
+end
+
+class Rational
+  # Deserializes JSON string by converting numerator value `n`, denominator value
+  # `d`, to a Rational object.
+  #
+  def self.json_create: (Hash[String, String | Integer] object) -> instance
+
+  # Returns a hash, that will be turned into a JSON object and represent this
+  # object.
+  #
+  def as_json: (*untyped) -> Hash[String, String | Integer]
+
+  # Stores class name (Rational) along with numerator value `n` and denominator
+  # value `d` as JSON string
+  #
+  def to_json: (?JSON::State state) -> String
+end
+
+class Regexp
+  # Deserializes JSON string by constructing new Regexp object with source `s`
+  # (Regexp or String) and options `o` serialized by `to_json`
+  #
+  def self.json_create: (Hash[String, String | Integer] object) -> instance
+
+  # Returns a hash, that will be turned into a JSON object and represent this
+  # object.
+  #
+  def as_json: (*untyped) -> Hash[String, String | Integer]
+
+  # Stores class name (Regexp) with options `o` and source `s` (Regexp or String)
+  # as JSON string
+  #
+  def to_json: (?JSON::State state) -> String
+end
+
+class Set[A]
+  # Import a JSON Marshalled object.
+  #
+  # method used for JSON marshalling support.
+  #
+  def self.json_create: (Hash[String, String | Array[A]] object) -> instance
+
+  # Marshal the object to JSON.
+  #
+  # method used for JSON marshalling support.
+  #
+  def as_json: (*untyped) -> Hash[String, String | Array[A]]
+
+  # return the JSON value
+  #
+  def to_json: (?JSON::State state) -> String
+end
+
+class Struct[Elem]
+  # Deserializes JSON string by constructing new Struct object with values `v`
+  # serialized by `to_json`.
+  #
+  def self.json_create: (Hash[String, String | Array[Elem]] object) -> instance
+
+  # Returns a hash, that will be turned into a JSON object and represent this
+  # object.
+  #
+  def as_json: (*untyped) -> Hash[String, String | Array[Elem]]
+
+  # Stores class name (Struct) with Struct values `v` as a JSON string. Only named
+  # structs are supported.
+  #
+  def to_json: (?JSON::State state) -> String
+end
+
+class Symbol
+  # Deserializes JSON string by converting the `string` value stored in the object
+  # to a Symbol
+  #
+  def self.json_create: (Hash[String, String] object) -> instance
+
+  # Returns a hash, that will be turned into a JSON object and represent this
+  # object.
+  #
+  def as_json: (*untyped) -> Hash[String, String]
+
+  # Stores class name (Symbol) with String representation of Symbol as a JSON
+  # string.
+  #
+  def to_json: (?JSON::State state) -> String
+end
+
+class Time
+  # Deserializes JSON string by converting time since epoch to Time
+  #
+  def self.json_create: (Hash[String, String | Integer] object) -> instance
+
+  # Returns a hash, that will be turned into a JSON object and represent this
+  # object.
+  #
+  def as_json: (*untyped) -> Hash[String, String | Integer]
+
+  # Stores class name (Time) with number of seconds since epoch and number of
+  # microseconds for Time as JSON string
+  #
+  def to_json: (?JSON::State state) -> String
+end

data/stdlib/pathname/0/pathname.rbs

@@ -240,7 +240,8 @@ class Pathname
   # relative to the right argument. Or it will return `nil` if the arguments are
   # not comparable.
   #
-  def <=>: (untyped other) -> Integer?
+  def <=>: (Pathname other) -> Integer
+         | (untyped other) -> nil
 
   # Compare this pathname with `other`.  The comparison is string-based. Be aware
   # that two different paths (`foo.txt` and `./foo.txt`) can refer to the same

data/stdlib/set/0/set.rbs

@@ -299,3 +299,10 @@ class Set[A]
 
   include Enumerable[A]
 end
+
+module Enumerable[unchecked out Elem]
+  # Makes a set from the enumerable object with given arguments.
+  # Needs to `require "set"` to use this method.
+  #
+  def to_set: () -> Set[Elem]
+end

data/stdlib/timeout/0/timeout.rbs

@@ -0,0 +1,57 @@
+# Timeout long-running blocks
+#
+# ## Synopsis
+#
+#     require 'timeout'
+#     status = Timeout::timeout(5) {
+#       # Something that should be interrupted if it takes more than 5 seconds...
+#     }
+#
+# ## Description
+#
+# Timeout provides a way to auto-terminate a potentially long-running operation
+# if it hasn't finished in a fixed amount of time.
+#
+# Previous versions didn't use a module for namespacing, however #timeout is
+# provided for backwards compatibility.  You should prefer Timeout.timeout
+# instead.
+#
+# ## Copyright
+#
+# Copyright
+# :   (C) 2000  Network Applied Communication Laboratory, Inc.
+# Copyright
+# :   (C) 2000  Information-technology Promotion Agency, Japan
+#
+module Timeout
+  # Perform an operation in a block, raising an error if it takes longer than
+  # `sec` seconds to complete.
+  #
+  # `sec`
+  # :   Number of seconds to wait for the block to terminate. Any number may be
+  #     used, including Floats to specify fractional seconds. A value of 0 or
+  #     `nil` will execute the block without any timeout.
+  # `klass`
+  # :   Exception Class to raise if the block fails to terminate in `sec` seconds.
+  #      Omitting will use the default, Timeout::Error
+  # `message`
+  # :   Error message to raise with Exception Class. Omitting will use the
+  #     default, "execution expired"
+  #
+  #
+  # Returns the result of the block **if** the block completed before `sec`
+  # seconds, otherwise throws an exception, based on the value of `klass`.
+  #
+  # The exception thrown to terminate the given block cannot be rescued inside the
+  # block unless `klass` is given explicitly. However, the block can use ensure to
+  # prevent the handling of the exception.  For that reason, this method cannot be
+  # relied on to enforce timeouts for untrusted blocks.
+  #
+  # Note that this is both a method of module Timeout, so you can `include
+  # Timeout` into your classes so they have a #timeout method, as well as a module
+  # method, so you can call it directly as Timeout.timeout().
+  #
+  def self?.timeout: [T] (Numeric? sec, ?singleton(Exception) klass, ?String message) { (Numeric sec) -> T } -> T
+end
+
+Timeout::VERSION: String

data/stdlib/uri/0/rfc2396_parser.rbs

@@ -1,9 +1,146 @@
-# Class that parses String's into URI's.
-#
-# It contains a Hash set of patterns and Regexp's that match and validate.
-class URI::RFC2396_Parser
-end
+module URI
+  # Includes URI::REGEXP::PATTERN
+  #
+  module RFC2396_REGEXP
+  end
+
+  # Class that parses String's into URI's.
+  #
+  # It contains a Hash set of patterns and Regexp's that match and validate.
+  #
+  class RFC2396_Parser
+    include RFC2396_REGEXP
+
+    # The Hash of patterns.
+    #
+    # See also URI::Parser.initialize_pattern.
+    #
+    attr_reader pattern: Hash[Symbol, String]
+
+    # The Hash of Regexp.
+    #
+    # See also URI::Parser.initialize_regexp.
+    #
+    attr_reader regexp: Hash[Symbol, Regexp]
+
+    # == Synopsis
+    #
+    #   URI::Parser.new([opts])
+    #
+    # == Args
+    #
+    # The constructor accepts a hash as options for parser.
+    # Keys of options are pattern names of URI components
+    # and values of options are pattern strings.
+    # The constructor generates set of regexps for parsing URIs.
+    #
+    # You can use the following keys:
+    #
+    #   * :ESCAPED (URI::PATTERN::ESCAPED in default)
+    #   * :UNRESERVED (URI::PATTERN::UNRESERVED in default)
+    #   * :DOMLABEL (URI::PATTERN::DOMLABEL in default)
+    #   * :TOPLABEL (URI::PATTERN::TOPLABEL in default)
+    #   * :HOSTNAME (URI::PATTERN::HOSTNAME in default)
+    #
+    # == Examples
+    #
+    #   p = URI::Parser.new(:ESCAPED => "(?:%[a-fA-F0-9]{2}|%u[a-fA-F0-9]{4})")
+    #   u = p.parse("http://example.jp/%uABCD") #=> #<URI::HTTP http://example.jp/%uABCD>
+    #   URI.parse(u.to_s) #=> raises URI::InvalidURIError
+    #
+    #   s = "http://example.com/ABCD"
+    #   u1 = p.parse(s) #=> #<URI::HTTP http://example.com/ABCD>
+    #   u2 = URI.parse(s) #=> #<URI::HTTP http://example.com/ABCD>
+    #   u1 == u2 #=> true
+    #   u1.eql?(u2) #=> false
+    #
+    def initialize: (?Hash[Symbol, String] opts) -> void
+
+    # ## Args
+    #
+    # `str`
+    # :   String to make safe
+    # `unsafe`
+    # :   Regexp to apply. Defaults to [self.regexp](:UNSAFE)
+    #
+    #
+    # ## Description
+    #
+    # Constructs a safe String from `str`, removing unsafe characters, replacing
+    # them with codes.
+    #
+    def escape: (String str, ?Regexp unsafe) -> String
+
+    # ## Args
+    #
+    # `str`
+    # :   String to search
+    # `schemes`
+    # :   Patterns to apply to `str`
+    #
+    #
+    # ## Description
+    #
+    # Attempts to parse and merge a set of URIs. If no `block` given, then returns
+    # the result, else it calls `block` for each element in result.
+    #
+    # See also URI::Parser.make_regexp.
+    #
+    def extract: (String str, ?Array[String] schemes) -> Array[String]
+               | (String str, ?Array[String] schemes) { (String) -> untyped } -> nil
+
+    # ## Args
+    #
+    # `uris`
+    # :   an Array of Strings
+    #
+    #
+    # ## Description
+    #
+    # Attempts to parse and merge a set of URIs.
+    #
+    def join: (*String uris) -> URI::Generic
+
+    # Returns Regexp that is default [self.regexp](:ABS_URI_REF), unless `schemes`
+    # is provided. Then it is a Regexp.union with [self.pattern](:X_ABS_URI).
+    #
+    def make_regexp: (?Array[String] schemes) -> Regexp
+
+    # ## Args
+    #
+    # `uri`
+    # :   String
+    #
+    #
+    # ## Description
+    #
+    # Parses `uri` and constructs either matching URI scheme object (File, FTP,
+    # HTTP, HTTPS, LDAP, LDAPS, or MailTo) or URI::Generic.
+    #
+    # ## Usage
+    #
+    #     p = URI::Parser.new
+    #     p.parse("ldap://ldap.example.com/dc=example?user=john")
+    #     #=> #<URI::LDAP ldap://ldap.example.com/dc=example?user=john>
+    #
+    def parse: (String uri) -> URI::Generic
+
+    # Returns a split URI against [regexp](:ABS_URI).
+    #
+    def split: (String uri) -> [ String?, String?, String?, String?, String?, String?, String?, String?, String? ]
 
-# Includes URI::REGEXP::PATTERN
-module URI::RFC2396_REGEXP
+    # ## Args
+    #
+    # `str`
+    # :   String to remove escapes from
+    # `escaped`
+    # :   Regexp to apply. Defaults to [self.regexp](:ESCAPED)
+    #
+    #
+    # ## Description
+    #
+    # Removes escapes from `str`.
+    #
+    def unescape: (String str, ?Regexp escaped) -> String
+  end
 end

data/steep/Gemfile.lock

@@ -1,42 +1,40 @@
 GEM
   remote: https://rubygems.org/
   specs:
-    activesupport (6.1.0)
+    activesupport (6.1.2.1)
       concurrent-ruby (~> 1.0, >= 1.0.2)
       i18n (>= 1.6, < 2)
       minitest (>= 5.1)
       tzinfo (~> 2.0)
       zeitwerk (~> 2.3)
-    ast (2.4.1)
-    ast_utils (0.3.0)
-      parser (~> 2.4)
-      thor (>= 0.19)
-    concurrent-ruby (1.1.7)
-    ffi (1.13.1)
-    i18n (1.8.5)
+    ast (2.4.2)
+    ast_utils (0.4.0)
+      parser (>= 2.7.0)
+    concurrent-ruby (1.1.8)
+    ffi (1.14.2)
+    i18n (1.8.8)
       concurrent-ruby (~> 1.0)
     language_server-protocol (3.15.0.1)
-    listen (3.3.3)
+    listen (3.4.1)
       rb-fsevent (~> 0.10, >= 0.10.3)
       rb-inotify (~> 0.9, >= 0.9.10)
-    minitest (5.14.2)
-    parser (2.7.2.0)
+    minitest (5.14.3)
+    parser (3.0.0.0)
       ast (~> 2.4.1)
     rainbow (3.0.0)
     rb-fsevent (0.10.4)
     rb-inotify (0.10.1)
       ffi (~> 1.0)
-    rbs (0.20.1)
-    steep (0.38.0)
+    rbs (1.0.4)
+    steep (0.41.0)
       activesupport (>= 5.1)
-      ast_utils (~> 0.3.0)
+      ast_utils (>= 0.4.0)
       language_server-protocol (~> 3.15.0.1)
       listen (~> 3.0)
-      parser (~> 2.7.0)
+      parser (>= 2.7)
       rainbow (>= 2.2.2, < 4.0)
-      rbs (>= 0.20.0)
-    thor (1.0.1)
-    tzinfo (2.0.3)
+      rbs (~> 1.0.3)
+    tzinfo (2.0.4)
       concurrent-ruby (~> 1.0)
     zeitwerk (2.4.2)
 
@@ -47,4 +45,4 @@ DEPENDENCIES
   steep
 
 BUNDLED WITH
-   2.2.0.rc.2
+   2.2.3

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: rbs
 version: !ruby/object:Gem::Version
-  version: 1.0.1
+  version: 1.0.6
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2021-01-27 00:00:00.000000000 Z
+date: 2021-02-16 00:00:00.000000000 Z
 dependencies: []
 description: RBS is the language for type signatures for Ruby and standard library
   definitions.
@@ -224,6 +224,7 @@ files:
 - stdlib/set/0/set.rbs
 - stdlib/singleton/0/singleton.rbs
 - stdlib/time/0/time.rbs
+- stdlib/timeout/0/timeout.rbs
 - stdlib/tmpdir/0/tmpdir.rbs
 - stdlib/tsort/0/cyclic.rbs
 - stdlib/tsort/0/interfaces.rbs