rbs 2.5.1 → 2.6.0

data/core/global_variables.rbs

@@ -115,7 +115,7 @@ $:: Array[String]
 $;: Regexp | String | nil
 
 # The same as ARGF.
-$<: IO
+$<: RBS::Unnamed::ARGFClass
 
 # This variable is no longer effective. Deprecated.
 $=: bool

data/core/hash.rbs

@@ -978,7 +978,7 @@ class Hash[unchecked out K, unchecked out V] < Object
   #     h.dig(:hello, :world) # => h
   #     h.dig(:hello, :world, :foo, :bar, 2) # => :c
   #
-  def dig: (*untyped) -> untyped
+  def dig: (K, *untyped) -> untyped
 
   # <!-- rdoc-file=hash.c -->
   # Hash#each is an alias for Hash#each_pair.
@@ -1543,8 +1543,8 @@ class Hash[unchecked out K, unchecked out V] < Object
   #     h1 = e.each {|key, value| key.start_with?('b') }
   #     h1 # => {:foo=>0}
   #
-  def reject: () -> ::Enumerator[[ K, V ], self]
-            | () { (K, V) -> boolish } -> self
+  def reject: () -> ::Enumerator[[ K, V ], ::Hash[K, V]]
+            | () { (K, V) -> boolish } -> ::Hash[K, V]
 
   # <!--
   #   rdoc-file=hash.c

data/core/kernel.rbs

@@ -871,8 +871,8 @@ module Kernel : BasicObject
   #     raise ArgumentError, "No parameters", caller
   #
   def self?.fail: () -> bot
-                | (String arg0) -> bot
-                | (_Exception arg0, ?untyped arg1, ?::Array[String] arg2) -> bot
+                | (String message, ?cause: Exception?) -> bot
+                | (_Exception exception, ?untyped message, ?::Array[String] backtrace, ?cause: Exception?) -> bot
 
   # <!--
   #   rdoc-file=eval.c

data/core/random.rbs

@@ -20,9 +20,7 @@
 # of 2**19937-1.  As this algorithm is *not* for cryptographical use, you must
 # use SecureRandom for security purpose, instead of this PRNG.
 #
-class Random < Object
-  include Random::Formatter
-
+class Random < RBS::Unnamed::Random_Base
   # <!--
   #   rdoc-file=random.c
   #   - prng1 == prng2 -> true or false
@@ -49,78 +47,6 @@ class Random < Object
   #
   def ==: (untyped arg0) -> bool
 
-  # <!--
-  #   rdoc-file=random.c
-  #   - prng.bytes(size) -> string
-  # -->
-  # Returns a random binary string containing `size` bytes.
-  #
-  #     random_string = Random.new.bytes(10) # => "\xD7:R\xAB?\x83\xCE\xFAkO"
-  #     random_string.size                   # => 10
-  #
-  def bytes: (Integer size) -> String
-
-  # <!--
-  #   rdoc-file=random.c
-  #   - Random.new(seed = Random.new_seed) -> prng
-  # -->
-  # Creates a new PRNG using `seed` to set the initial state. If `seed` is
-  # omitted, the generator is initialized with Random.new_seed.
-  #
-  # See Random.srand for more information on the use of seed values.
-  #
-  def initialize: (?Integer seed) -> void
-
-  # <!--
-  #   rdoc-file=random.c
-  #   - prng.rand -> float
-  #   - prng.rand(max) -> number
-  #   - prng.rand(range) -> number
-  # -->
-  # When `max` is an Integer, `rand` returns a random integer greater than or
-  # equal to zero and less than `max`. Unlike Kernel.rand, when `max` is a
-  # negative integer or zero, `rand` raises an ArgumentError.
-  #
-  #     prng = Random.new
-  #     prng.rand(100)       # => 42
-  #
-  # When `max` is a Float, `rand` returns a random floating point number between
-  # 0.0 and `max`, including 0.0 and excluding `max`.
-  #
-  #     prng.rand(1.5)       # => 1.4600282860034115
-  #
-  # When `range` is a Range, `rand` returns a random number where
-  # `range.member?(number) == true`.
-  #
-  #     prng.rand(5..9)      # => one of [5, 6, 7, 8, 9]
-  #     prng.rand(5...9)     # => one of [5, 6, 7, 8]
-  #     prng.rand(5.0..9.0)  # => between 5.0 and 9.0, including 9.0
-  #     prng.rand(5.0...9.0) # => between 5.0 and 9.0, excluding 9.0
-  #
-  # Both the beginning and ending values of the range must respond to subtract
-  # (`-`) and add (`+`)methods, or rand will raise an ArgumentError.
-  #
-  def rand: () -> Float
-          | (Integer | ::Range[Integer] max) -> Integer
-          | (Float | ::Range[Float] max) -> Float
-
-  # <!--
-  #   rdoc-file=random.c
-  #   - prng.seed -> integer
-  # -->
-  # Returns the seed value used to initialize the generator. This may be used to
-  # initialize another generator with the same state at a later time, causing it
-  # to produce the same sequence of numbers.
-  #
-  #     prng1 = Random.new(1234)
-  #     prng1.seed       #=> 1234
-  #     prng1.rand(100)  #=> 47
-  #
-  #     prng2 = Random.new(prng1.seed)
-  #     prng2.rand(100)  #=> 47
-  #
-  def seed: () -> Integer
-
   # <!--
   #   rdoc-file=random.c
   #   - Random.new_seed -> integer
@@ -173,6 +99,9 @@ end
 
 Random::DEFAULT: Random
 
+class Random::Base < RBS::Unnamed::Random_Base
+end
+
 # <!-- rdoc-file=lib/random/formatter.rb -->
 # ## Random number formatter.
 #
@@ -220,149 +149,5 @@ Random::DEFAULT: Random
 #     prng.rand(1..6)          #=> 3
 #
 module Random::Formatter
-  # <!--
-  #   rdoc-file=lib/random/formatter.rb
-  #   - base64(n=nil)
-  # -->
-  # Random::Formatter#base64 generates a random base64 string.
-  #
-  # The argument *n* specifies the length, in bytes, of the random number to be
-  # generated. The length of the result string is about 4/3 of *n*.
-  #
-  # If *n* is not specified or is nil, 16 is assumed. It may be larger in the
-  # future.
-  #
-  # The result may contain A-Z, a-z, 0-9, "+", "/" and "=".
-  #
-  #     require 'random/formatter'
-  #
-  #     prng.base64 #=> "/2BuBuLf3+WfSKyQbRcc/A=="
-  #     prng.base64 #=> "6BbW0pxO0YENxn38HMUbcQ=="
-  #
-  # See RFC 3548 for the definition of base64.
-  #
-  def base64: (?Integer? n) -> String
-
-  # <!--
-  #   rdoc-file=lib/random/formatter.rb
-  #   - hex(n=nil)
-  # -->
-  # Random::Formatter#hex generates a random hexadecimal string.
-  #
-  # The argument *n* specifies the length, in bytes, of the random number to be
-  # generated. The length of the resulting hexadecimal string is twice of *n*.
-  #
-  # If *n* is not specified or is nil, 16 is assumed. It may be larger in the
-  # future.
-  #
-  # The result may contain 0-9 and a-f.
-  #
-  #     require 'random/formatter'
-  #
-  #     prng.hex #=> "eb693ec8252cd630102fd0d0fb7c3485"
-  #     prng.hex #=> "91dc3bfb4de5b11d029d376634589b61"
-  #
-  def hex: (?Integer? n) -> String
-
-  # <!-- rdoc-file=random.c -->
-  # Generates formatted random number from raw random bytes. See Random#rand.
-  #
-  def rand: () -> Float
-          | (?Float? n) -> Float
-          | (?Integer? n) -> Integer
-          | (?Numeric? n) -> Numeric
-          | (?::Range[Float]? n) -> Float
-          | (?::Range[Integer]? n) -> Integer
-          | (?::Range[Numeric]? n) -> Numeric
-
-  # <!--
-  #   rdoc-file=lib/random/formatter.rb
-  #   - random_bytes(n=nil)
-  # -->
-  # Random::Formatter#random_bytes generates a random binary string.
-  #
-  # The argument *n* specifies the length of the result string.
-  #
-  # If *n* is not specified or is nil, 16 is assumed. It may be larger in future.
-  #
-  # The result may contain any byte: "x00" - "xff".
-  #
-  #     require 'random/formatter'
-  #
-  #     prng.random_bytes #=> "\xD8\\\xE0\xF4\r\xB2\xFC*WM\xFF\x83\x18\xF45\xB6"
-  #     prng.random_bytes #=> "m\xDC\xFC/\a\x00Uf\xB2\xB2P\xBD\xFF6S\x97"
-  #
-  def random_bytes: (?Integer? n) -> String
-
-  # <!--
-  #   rdoc-file=random.c
-  #   - prng.random_number        -> float
-  #   - prng.random_number(max)   -> number
-  #   - prng.random_number(range) -> number
-  #   - prng.rand                 -> float
-  #   - prng.rand(max)            -> number
-  #   - prng.rand(range)          -> number
-  # -->
-  # Generates formatted random number from raw random bytes. See Random#rand.
-  #
-  def random_number: () -> Float
-                   | (?Float? n) -> Float
-                   | (?Integer? n) -> Integer
-                   | (?Numeric? n) -> Numeric
-                   | (?::Range[Float]? n) -> Float
-                   | (?::Range[Integer]? n) -> Integer
-                   | (?::Range[Numeric]? n) -> Numeric
-
-  # <!--
-  #   rdoc-file=lib/random/formatter.rb
-  #   - urlsafe_base64(n=nil, padding=false)
-  # -->
-  # Random::Formatter#urlsafe_base64 generates a random URL-safe base64 string.
-  #
-  # The argument *n* specifies the length, in bytes, of the random number to be
-  # generated. The length of the result string is about 4/3 of *n*.
-  #
-  # If *n* is not specified or is nil, 16 is assumed. It may be larger in the
-  # future.
-  #
-  # The boolean argument *padding* specifies the padding. If it is false or nil,
-  # padding is not generated. Otherwise padding is generated. By default, padding
-  # is not generated because "=" may be used as a URL delimiter.
-  #
-  # The result may contain A-Z, a-z, 0-9, "-" and "_". "=" is also used if
-  # *padding* is true.
-  #
-  #     require 'random/formatter'
-  #
-  #     prng.urlsafe_base64 #=> "b4GOKm4pOYU_-BOXcrUGDg"
-  #     prng.urlsafe_base64 #=> "UZLdOkzop70Ddx-IJR0ABg"
-  #
-  #     prng.urlsafe_base64(nil, true) #=> "i0XQ-7gglIsHGV2_BNPrdQ=="
-  #     prng.urlsafe_base64(nil, true) #=> "-M8rLhr7JEpJlqFGUMmOxg=="
-  #
-  # See RFC 3548 for the definition of URL-safe base64.
-  #
-  def urlsafe_base64: (?Integer? n, ?boolish padding) -> String
-
-  # <!--
-  #   rdoc-file=lib/random/formatter.rb
-  #   - uuid()
-  # -->
-  # Random::Formatter#uuid generates a random v4 UUID (Universally Unique
-  # IDentifier).
-  #
-  #     require 'random/formatter'
-  #
-  #     prng.uuid #=> "2d931510-d99f-494a-8c67-87feb05e1594"
-  #     prng.uuid #=> "bad85eb9-0713-4da7-8d36-07a8e4b00eab"
-  #     prng.uuid #=> "62936e70-1815-439b-bf89-8492855a7e6b"
-  #
-  # The version 4 UUID is purely random (except the version). It doesn't contain
-  # meaningful information such as MAC addresses, timestamps, etc.
-  #
-  # The result contains 122 random bits (15.25 random bytes).
-  #
-  # See RFC 4122 for details of UUID.
-  #
-  def uuid: () -> String
+  include RBS::Unnamed::Random_Formatter
 end

data/core/rational.rbs

@@ -68,9 +68,9 @@ class Rational < Numeric
   #     Rational(9, 8)  * 4                #=> (9/2)
   #     Rational(20, 9) * 9.8              #=> 21.77777777777778
   #
-  def *: (Float) -> Float
-       | (Complex) -> Complex
-       | (Numeric) -> Numeric
+  def *: (Integer) -> Rational
+       | (Rational) -> Rational
+       | [T < Numeric](T) -> T
 
   # <!--
   #   rdoc-file=rational.c