rbs 3.10.2 → 4.0.0.dev.1

data/core/integer.rbs

@@ -146,9 +146,9 @@ class Integer < Numeric
 
   # <!--
   #   rdoc-file=numeric.c
-  #   - self % other -> real_numeric
+  #   - self % other -> real_number
   # -->
-  # Returns `self` modulo `other` as a real numeric (Integer, Float, or Rational).
+  # Returns `self` modulo `other` as a real number.
   #
   # For integer `n` and real number `r`, these expressions are equivalent:
   #
@@ -193,13 +193,13 @@ class Integer < Numeric
 
   # <!--
   #   rdoc-file=numeric.c
-  #   - self * other -> numeric
+  #   - self * numeric -> numeric_result
   # -->
-  # Returns the numeric product of `self` and `other`:
+  # Performs multiplication:
   #
   #     4 * 2              # => 8
-  #     -4 * 2             # => -8
   #     4 * -2             # => -8
+  #     -4 * 2             # => -8
   #     4 * 2.0            # => 8.0
   #     4 * Rational(1, 3) # => (4/3)
   #     4 * Complex(2, 0)  # => (8+0i)
@@ -211,47 +211,17 @@ class Integer < Numeric
 
   # <!--
   #   rdoc-file=numeric.c
-  #   - self ** exponent -> numeric
+  #   - self ** numeric -> numeric_result
   # -->
-  # Returns `self` raised to the power `exponent`:
-  #
-  #     # Result for non-negative Integer exponent is Integer.
-  #     2 ** 0   # => 1
-  #     2 ** 1   # => 2
-  #     2 ** 2   # => 4
-  #     2 ** 3   # => 8
-  #     -2 ** 3  # => -8
-  #     # Result for negative Integer exponent is Rational, not Float.
-  #     2 ** -3  # => (1/8)
-  #     -2 ** -3 # => (-1/8)
-  #
-  #     # Result for Float exponent is Float.
-  #     2 ** 0.0   # => 1.0
-  #     2 ** 1.0   # => 2.0
-  #     2 ** 2.0   # => 4.0
-  #     2 ** 3.0   # => 8.0
-  #     -2 ** 3.0  # => -8.0
-  #     2 ** -3.0  # => 0.125
-  #     -2 ** -3.0 # => -0.125
-  #
-  #     # Result for non-negative Complex exponent is Complex with Integer parts.
-  #     2 ** Complex(0, 0)   # => (1+0i)
-  #     2 ** Complex(1, 0)   # => (2+0i)
-  #     2 ** Complex(2, 0)   # => (4+0i)
-  #     2 ** Complex(3, 0)   # => (8+0i)
-  #     -2 ** Complex(3, 0) # => (-8+0i)
-  #     # Result for negative Complex exponent is Complex with Rational parts.
-  #     2 ** Complex(-3, 0)  # => ((1/8)+(0/1)*i)
-  #     -2 ** Complex(-3, 0) # => ((-1/8)+(0/1)*i)
-  #
-  #     # Result for Rational exponent is Rational.
-  #     2 ** Rational(0, 1)   # => (1/1)
-  #     2 ** Rational(1, 1)   # => (2/1)
-  #     2 ** Rational(2, 1)   # => (4/1)
-  #     2 ** Rational(3, 1)   # => (8/1)
-  #     -2 ** Rational(3, 1)  # => (-8/1)
-  #     2 ** Rational(-3, 1)  # => (1/8)
-  #     -2 ** Rational(-3, 1) # => (-1/8)
+  # Raises `self` to the power of `numeric`:
+  #
+  #     2 ** 3              # => 8
+  #     2 ** -3             # => (1/8)
+  #     -2 ** 3             # => -8
+  #     -2 ** -3            # => (-1/8)
+  #     2 ** 3.3            # => 9.849155306759329
+  #     2 ** Rational(3, 1) # => (8/1)
+  #     2 ** Complex(3, 0)  # => (8+0i)
   #
   def **: (Integer) -> Numeric
         | (Float) -> Numeric
@@ -260,20 +230,16 @@ class Integer < Numeric
 
   # <!--
   #   rdoc-file=numeric.c
-  #   - self + other -> numeric
+  #   - self + numeric -> numeric_result
   # -->
-  # Returns the sum of `self` and `other`:
-  #
-  #     1 + 1               # => 2
-  #     1 + -1             # => 0
-  #     1 + 0              # => 1
-  #     1 + -2             # => -1
-  #     1 + Complex(1, 0)  # => (2+0i)
-  #     1 + Rational(1, 1) # => (2/1)
-  #
-  # For a computation involving Floats, the result may be inexact (see Float#+):
+  # Performs addition:
   #
-  #     1 + 3.14           # => 4.140000000000001
+  #     2 + 2              # => 4
+  #     -2 + 2             # => 0
+  #     -2 + -2            # => -4
+  #     2 + 2.0            # => 4.0
+  #     2 + Rational(2, 1) # => (4/1)
+  #     2 + Complex(2, 0)  # => (4+0i)
   #
   def +: (Integer) -> Integer
        | (Float) -> Float
@@ -284,9 +250,9 @@ class Integer < Numeric
 
   # <!--
   #   rdoc-file=numeric.c
-  #   - self - other -> numeric
+  #   - self - numeric -> numeric_result
   # -->
-  # Returns the difference of `self` and `other`:
+  # Performs subtraction:
   #
   #     4 - 2              # => 2
   #     -4 - 2             # => -6
@@ -302,34 +268,28 @@ class Integer < Numeric
 
   # <!--
   #   rdoc-file=numeric.rb
-  #   - -self -> integer
+  #   - -int -> integer
   # -->
-  # Returns `self`, negated:
-  #
-  #     -1    # => -1
-  #     -(-1) # => 1
-  #     -0    # => 0
+  # Returns `self`, negated.
   #
   def -@: () -> Integer
 
   # <!--
   #   rdoc-file=numeric.c
-  #   - self / other -> numeric
+  #   - self / numeric -> numeric_result
   # -->
-  # Returns the quotient of `self` and `other`.
-  #
-  # For integer `other`, truncates the result to an integer:
+  # Performs division; for integer `numeric`, truncates the result to an integer:
   #
-  #     4 / 3              # => 1
-  #     4 / -3             # => -2
-  #     -4 / 3             # => -2
-  #     -4 / -3            # => 1
+  #      4 / 3              # => 1
+  #      4 / -3             # => -2
+  #      -4 / 3             # => -2
+  #      -4 / -3            # => 1
   #
-  # For non-integer `other`, returns a non-integer result:
+  #     For other +numeric+, returns non-integer result:
   #
-  #     4 / 3.0            # => 1.3333333333333333
-  #     4 / Rational(3, 1) # => (4/3)
-  #     4 / Complex(3, 0)  # => ((4/3)+0i)
+  #      4 / 3.0            # => 1.3333333333333333
+  #      4 / Rational(3, 1) # => (4/3)
+  #      4 / Complex(3, 0)  # => ((4/3)+0i)
   #
   def /: (Integer) -> Integer
        | (Float) -> Float
@@ -340,14 +300,15 @@ class Integer < Numeric
   #   rdoc-file=numeric.c
   #   - self < other -> true or false
   # -->
-  # Returns whether the value of `self` is less than the value of `other`; `other`
-  # must be numeric, but may not be Complex:
+  # Returns `true` if the value of `self` is less than that of `other`:
   #
-  #     1 < 0              # => false
-  #     1 < 1              # => false
-  #     1 < 2              # => true
-  #     1 < 0.5            # => false
-  #     1 < Rational(1, 2) # => false
+  #       1 < 0              # => false
+  #       1 < 1              # => false
+  #       1 < 2              # => true
+  #       1 < 0.5            # => false
+  #       1 < Rational(1, 2) # => false
+  #
+  #     Raises an exception if the comparison cannot be made.
   #
   def <: (Numeric) -> bool
 
@@ -370,46 +331,44 @@ class Integer < Numeric
 
   # <!--
   #   rdoc-file=numeric.c
-  #   - self <= other -> true or false
+  #   - self <= real -> true or false
   # -->
-  # Returns whether the value of `self` is less than or equal to the value of
-  # `other`; `other` must be numeric, but may not be Complex:
+  # Returns `true` if the value of `self` is less than or equal to that of
+  # `other`:
   #
-  #       1 <= 0              # => false
-  #       1 <= 1              # => true
-  #       1 <= 2              # => true
-  #       1 <= 0.5            # => false
-  #       1 <= Rational(1, 2) # => false
+  #     1 <= 0              # => false
+  #     1 <= 1              # => true
+  #     1 <= 2              # => true
+  #     1 <= 0.5            # => false
+  #     1 <= Rational(1, 2) # => false
   #
-  #     Raises an exception if the comparison cannot be made.
+  # Raises an exception if the comparison cannot be made.
   #
   def <=: (Numeric) -> bool
 
   # <!--
   #   rdoc-file=numeric.c
-  #   - self <=> other -> -1, 0, 1, or nil
+  #   - self <=> other  ->  -1, 0, +1, or nil
   # -->
-  # Compares `self` and `other`.
-  #
   # Returns:
   #
-  # *   `-1`, if `self` is less than `other`.
-  # *   `0`, if `self` is equal to `other`.
-  # *   `1`, if `self` is greater then `other`.
+  # *   -1, if `self` is less than `other`.
+  # *   0, if `self` is equal to `other`.
+  # *   1, if `self` is greater then `other`.
   # *   `nil`, if `self` and `other` are incomparable.
   #
   # Examples:
   #
   #     1 <=> 2              # => -1
   #     1 <=> 1              # => 0
+  #     1 <=> 0              # => 1
+  #     1 <=> 'foo'          # => nil
+  #
   #     1 <=> 1.0            # => 0
   #     1 <=> Rational(1, 1) # => 0
   #     1 <=> Complex(1, 0)  # => 0
-  #     1 <=> 0              # => 1
-  #     1 <=> 'foo'          # => nil
   #
-  # Class Integer includes module Comparable, each of whose methods uses
-  # Integer#<=> for comparison.
+  # This method is the basis for comparisons in module Comparable.
   #
   def <=>: (Integer | Rational) -> Integer
          | (untyped) -> Integer?
@@ -996,7 +955,7 @@ class Integer < Numeric
   def magnitude: () -> Integer
 
   # <!-- rdoc-file=numeric.c -->
-  # Returns `self` modulo `other` as a real numeric (Integer, Float, or Rational).
+  # Returns `self` modulo `other` as a real number.
   #
   # For integer `n` and real number `r`, these expressions are equivalent:
   #

data/core/io/buffer.rbs

@@ -64,9 +64,9 @@ class IO
   #
   #     File.write('test.txt', 'test data')
   #     # => 9
-  #     buffer = IO::Buffer.map(File.open('test.txt'), nil, 0, IO::Buffer::READONLY)
+  #     buffer = IO::Buffer.map(File.open('test.txt'))
   #     # =>
-  #     # #<IO::Buffer 0x00007f3f0768c000+9 EXTERNAL MAPPED FILE SHARED READONLY>
+  #     # #<IO::Buffer 0x00007f3f0768c000+9 MAPPED IMMUTABLE>
   #     # ...
   #     buffer.get_string(5, 2) # read 2 bytes, starting from offset 5
   #     # => "da"
@@ -113,7 +113,7 @@ class IO
     #     buffer.get_string(0, 1)
     #     # => "t"
     #     string
-    #     # => "test"
+    #     # => "best"
     #
     #     buffer.resize(100)
     #     # in `resize': Cannot resize external buffer! (IO::Buffer::AccessError)
@@ -131,25 +131,18 @@ class IO
     #   - IO::Buffer.map(file, [size, [offset, [flags]]]) -> io_buffer
     # -->
     # Create an IO::Buffer for reading from `file` by memory-mapping the file.
-    # `file` should be a `File` instance, opened for reading or reading and writing.
-    #
-    # Optional `size` and `offset` of mapping can be specified. Trying to map an
-    # empty file or specify `size` of 0 will raise an error. Valid values for
-    # `offset` are system-dependent.
+    # `file_io` should be a `File` instance, opened for reading.
     #
-    # By default, the buffer is writable and expects the file to be writable. It is
-    # also shared, so several processes can use the same mapping.
+    # Optional `size` and `offset` of mapping can be specified.
     #
-    # You can pass IO::Buffer::READONLY in `flags` argument to make a read-only
-    # buffer; this allows to work with files opened only for reading. Specifying
-    # IO::Buffer::PRIVATE in `flags` creates a private mapping, which will not
-    # impact other processes or the underlying file. It also allows updating a
-    # buffer created from a read-only file.
+    # By default, the buffer would be immutable (read only); to create a writable
+    # mapping, you need to open a file in read-write mode, and explicitly pass
+    # `flags` argument without IO::Buffer::IMMUTABLE.
     #
     #     File.write('test.txt', 'test')
     #
     #     buffer = IO::Buffer.map(File.open('test.txt'), nil, 0, IO::Buffer::READONLY)
-    #     # => #<IO::Buffer 0x00000001014a0000+4 EXTERNAL MAPPED FILE SHARED READONLY>
+    #     # => #<IO::Buffer 0x00000001014a0000+4 MAPPED READONLY>
     #
     #     buffer.readonly?   # => true
     #
@@ -157,7 +150,7 @@ class IO
     #     # => "test"
     #
     #     buffer.set_string('b', 0)
-    #     # 'IO::Buffer#set_string': Buffer is not writable! (IO::Buffer::AccessError)
+    #     # `set_string': Buffer is not writable! (IO::Buffer::AccessError)
     #
     #     # create read/write mapping: length 4 bytes, offset 0, flags 0
     #     buffer = IO::Buffer.map(File.open('test.txt', 'r+'), 4, 0)
@@ -389,10 +382,6 @@ class IO
     # *   `:U64`: unsigned integer, 8 bytes, big-endian
     # *   `:s64`: signed integer, 8 bytes, little-endian
     # *   `:S64`: signed integer, 8 bytes, big-endian
-    # *   `:u128`: unsigned integer, 16 bytes, little-endian
-    # *   `:U128`: unsigned integer, 16 bytes, big-endian
-    # *   `:s128`: signed integer, 16 bytes, little-endian
-    # *   `:S128`: signed integer, 16 bytes, big-endian
     # *   `:f32`: float, 4 bytes, little-endian
     # *   `:F32`: float, 4 bytes, big-endian
     # *   `:f64`: double, 8 bytes, little-endian

data/core/io/wait.rbs

@@ -1,9 +1,30 @@
 %a{annotate:rdoc:skip}
 class IO
   # <!--
-  #   rdoc-file=io.c
+  #   rdoc-file=ext/io/wait/wait.c
+  #   - io.nread -> int
+  # -->
+  # Returns number of bytes that can be read without blocking. Returns zero if no
+  # information available.
+  #
+  # You must require 'io/wait' to use this method.
+  #
+  def nread: () -> Integer
+
+  # <!--
+  #   rdoc-file=ext/io/wait/wait.c
+  #   - io.ready? -> truthy or falsy
+  # -->
+  # Returns a truthy value if input available without blocking, or a falsy value.
+  #
+  # You must require 'io/wait' to use this method.
+  #
+  def ready?: () -> boolish
+
+  # <!--
+  #   rdoc-file=ext/io/wait/wait.c
   #   - io.wait(events, timeout) -> event mask, false or nil
-  #   - io.wait(*event_symbols[, timeout]) -> self, true, or false
+  #   - io.wait(timeout = nil, mode = :read) -> self, true, or false
   # -->
   # Waits until the IO becomes ready for the specified events and returns the
   # subset of events that become ready, or a falsy value when times out.
@@ -11,14 +32,11 @@ class IO
   # The events can be a bit mask of `IO::READABLE`, `IO::WRITABLE` or
   # `IO::PRIORITY`.
   #
-  # Returns an event mask (truthy value) immediately when buffered data is
-  # available.
+  # Returns a truthy value immediately when buffered data is available.
   #
-  # The second form: if one or more event symbols (`:read`, `:write`, or
-  # `:read_write`) are passed, the event mask is the bit OR of the bitmask
-  # corresponding to those symbols.  In this form, `timeout` is optional, the
-  # order of the arguments is arbitrary, and returns `io` if any of the events is
-  # ready.
+  # Optional parameter `mode` is one of `:read`, `:write`, or `:read_write`.
+  #
+  # You must require 'io/wait' to use this method.
   #
   def wait: (Integer events, ?Time::_Timeout timeout) -> (Integer | false | nil)
           | (?Time::_Timeout? timeout, *wait_mode mode) -> (self | true | false)
@@ -26,7 +44,7 @@ class IO
   type wait_mode = :read | :r | :readable | :write | :w | :writable | :read_write | :rw | :readable_writable
 
   # <!--
-  #   rdoc-file=io.c
+  #   rdoc-file=ext/io/wait/wait.c
   #   - io.wait_readable          -> truthy or falsy
   #   - io.wait_readable(timeout) -> truthy or falsy
   # -->
@@ -34,15 +52,19 @@ class IO
   # times out.  Returns a truthy value immediately when buffered data is
   # available.
   #
+  # You must require 'io/wait' to use this method.
+  #
   def wait_readable: (?Time::_Timeout? timeout) -> boolish
 
   # <!--
-  #   rdoc-file=io.c
+  #   rdoc-file=ext/io/wait/wait.c
   #   - io.wait_writable          -> truthy or falsy
   #   - io.wait_writable(timeout) -> truthy or falsy
   # -->
   # Waits until IO is writable and returns a truthy value or a falsy value when
   # times out.
   #
+  # You must require 'io/wait' to use this method.
+  #
   def wait_writable: (?Time::_Timeout? timeout) -> boolish
 end

data/core/io.rbs

@@ -1373,7 +1373,7 @@ class IO < Object
   # Formats and writes `objects` to the stream.
   #
   # For details on `format_string`, see [Format
-  # Specifications](rdoc-ref:language/format_specifications.rdoc).
+  # Specifications](rdoc-ref:format_specifications.rdoc).
   #
   def printf: (String format_string, *untyped objects) -> nil
 
@@ -2276,7 +2276,7 @@ class IO < Object
   #
   # When called from class IO (but not subclasses of IO), this method has
   # potential security vulnerabilities if called with untrusted input; see
-  # [Command Injection](rdoc-ref:security/command_injection.rdoc).
+  # [Command Injection](rdoc-ref:command_injection.rdoc).
   #
   def self.binread: (String name, ?Integer? length, ?Integer offset) -> String
 
@@ -2289,7 +2289,7 @@ class IO < Object
   #
   # When called from class IO (but not subclasses of IO), this method has
   # potential security vulnerabilities if called with untrusted input; see
-  # [Command Injection](rdoc-ref:security/command_injection.rdoc).
+  # [Command Injection](rdoc-ref:command_injection.rdoc).
   #
   def self.binwrite: (String name, _ToS string, ?Integer offset, ?mode: String mode) -> Integer
 
@@ -2354,16 +2354,15 @@ class IO < Object
   # connected to a new stream `io`.
   #
   # This method has potential security vulnerabilities if called with untrusted
-  # input; see [Command Injection](rdoc-ref:security/command_injection.rdoc).
+  # input; see [Command Injection](rdoc-ref:command_injection.rdoc).
   #
   # If no block is given, returns the new stream, which depending on given `mode`
   # may be open for reading, writing, or both. The stream should be explicitly
   # closed (eventually) to avoid resource leaks.
   #
   # If a block is given, the stream is passed to the block (again, open for
-  # reading, writing, or both); when the block exits, the stream is closed, the
-  # block's value is returned, and the global variable `$?` is set to the child's
-  # exit status.
+  # reading, writing, or both); when the block exits, the stream is closed, and
+  # the block's value is assigned to global variable `$?` and returned.
   #
   # Optional argument `mode` may be any valid IO mode. See [Access
   # Modes](rdoc-ref:File@Access+Modes).
@@ -2392,7 +2391,7 @@ class IO < Object
   # *   [Encoding options](rdoc-ref:encodings.rdoc@Encoding+Options).
   # *   Options for Kernel#spawn.
   #
-  # **Forked Process**
+  # **Forked \Process**
   #
   # When argument `cmd` is the 1-character string `'-'`, causes the process to
   # fork:
@@ -2529,7 +2528,7 @@ class IO < Object
   #
   # When called from class IO (but not subclasses of IO), this method has
   # potential security vulnerabilities if called with untrusted input; see
-  # [Command Injection](rdoc-ref:security/command_injection.rdoc).
+  # [Command Injection](rdoc-ref:command_injection.rdoc).
   #
   # The first argument must be a string that is the path to a file.
   #
@@ -2686,7 +2685,7 @@ class IO < Object
   #
   # When called from class IO (but not subclasses of IO), this method has
   # potential security vulnerabilities if called with untrusted input; see
-  # [Command Injection](rdoc-ref:security/command_injection.rdoc).
+  # [Command Injection](rdoc-ref:command_injection.rdoc).
   #
   # The first argument must be a string that is the path to a file.
   #
@@ -2729,7 +2728,7 @@ class IO < Object
   #
   # When called from class IO (but not subclasses of IO), this method has
   # potential security vulnerabilities if called with untrusted input; see
-  # [Command Injection](rdoc-ref:security/command_injection.rdoc).
+  # [Command Injection](rdoc-ref:command_injection.rdoc).
   #
   # The first argument must be a string that is the path to a file.
   #
@@ -2786,8 +2785,7 @@ class IO < Object
   # IO objects.
   #
   # Argument `timeout` is a numeric value (such as integer or float) timeout
-  # interval in seconds. `timeout` can also be `nil` or `Float::INFINITY`. `nil`
-  # and `Float::INFINITY` means no timeout.
+  # interval in seconds.
   #
   # The method monitors the IO objects given in all three arrays, waiting for some
   # to be ready; returns a 3-element array whose elements are:
@@ -2954,7 +2952,7 @@ class IO < Object
   #
   # When called from class IO (but not subclasses of IO), this method has
   # potential security vulnerabilities if called with untrusted input; see
-  # [Command Injection](rdoc-ref:security/command_injection.rdoc).
+  # [Command Injection](rdoc-ref:command_injection.rdoc).
   #
   # The first argument must be a string that is the path to a file.
   #