rbs 3.2.2 → 3.3.0.pre.1

data/core/marshal.rbs

@@ -108,6 +108,16 @@
 # which is Marshal.loaded in _load for complex objects.
 #
 module Marshal
+  # <!-- rdoc-file=marshal.c -->
+  # major version
+  #
+  MAJOR_VERSION: Integer
+
+  # <!-- rdoc-file=marshal.c -->
+  # minor version
+  #
+  MINOR_VERSION: Integer
+
   # <!--
   #   rdoc-file=marshal.c
   #   - dump( obj [, anIO] , limit=-1 ) -> anIO
@@ -141,8 +151,8 @@ module Marshal
   #     ThreadGroup, Continuation
   # *   objects which define singleton methods
   #
-  def self.dump: (untyped obj, untyped port, ?Integer limit) -> untyped
-               | (untyped obj, ?Integer limit) -> String
+  def self?.dump: [W < _Writer] (untyped obj, W port, ?int? limit) -> W
+                | (untyped obj, ?Integer limit) -> String
 
   # <!--
   #   rdoc-file=marshal.rb
@@ -175,8 +185,18 @@ module Marshal
   #     deserialized.map(&:object_id)
   #     # => [1039360, 1039380, 1039360, 1039380] -- only 2 different objects, object_ids repeating
   #
-  def self.load: (String | untyped port, ?freeze: boolish) -> untyped
-               | [A] (String | untyped port, ^(untyped) -> A, ?freeze: boolish) -> A
+  def self.load: (string | _Source source, ?freeze: boolish) -> untyped
+               | [A] (string | _Source source, _Proc[A] proc, ?freeze: boolish) -> A
+
+  interface _Proc[T]
+    def call: (untyped loaded) -> T
+  end
+
+  interface _Source
+    def getbyte: () -> (String | int)
+
+    def read: (Integer) -> string
+  end
 
   # <!--
   #   rdoc-file=marshal.rb
@@ -185,13 +205,3 @@ module Marshal
   #
   alias self.restore self.load
 end
-
-# <!-- rdoc-file=marshal.c -->
-# major version
-#
-Marshal::MAJOR_VERSION: Integer
-
-# <!-- rdoc-file=marshal.c -->
-# minor version
-#
-Marshal::MINOR_VERSION: Integer

data/core/match_data.rbs

@@ -83,7 +83,7 @@ class MatchData
   def []: (Integer idx) -> String?
         | (Integer start, Integer length) -> ::Array[String?]
         | (::Range[Integer] range) -> ::Array[String?]
-        | (String | Symbol name) -> String?
+        | (interned name) -> String?
 
   # <!--
   #   rdoc-file=re.c
@@ -121,7 +121,7 @@ class MatchData
   #
   # Related: MatchData#end, MatchData#offset, MatchData#byteoffset.
   #
-  def begin: (Integer | String | Symbol n_or_name) -> Integer?
+  def begin: (Integer | interned n_or_name) -> Integer?
 
   # <!--
   #   rdoc-file=re.c
@@ -139,7 +139,7 @@ class MatchData
   #     p m.byteoffset(:foo) #=> [0, 1]
   #     p m.byteoffset(:bar) #=> [2, 3]
   #
-  def byteoffset: (Integer | Symbol | String n_or_name) -> ([ Integer, Integer ] | [ nil, nil ])
+  def byteoffset: (Integer | interned n_or_name) -> ([ Integer, Integer ] | [ nil, nil ])
 
   # <!--
   #   rdoc-file=re.c
@@ -221,7 +221,7 @@ class MatchData
   #
   # Related: MatchData#begin, MatchData#offset, MatchData#byteoffset.
   #
-  def end: (Integer | String | Symbol n_or_name) -> Integer?
+  def end: (Integer | interned n_or_name) -> Integer?
 
   # <!--
   #   rdoc-file=re.c
@@ -348,7 +348,7 @@ class MatchData
   #     m.match('foo') # => "h"
   #     m.match(:bar)  # => "ge"
   #
-  def match: (int | String | Symbol) -> String?
+  def match: (int | interned) -> String?
 
   # <!--
   #   rdoc-file=re.c
@@ -375,7 +375,7 @@ class MatchData
   #     m.match_length('foo') # => 1
   #     m.match_length(:bar)  # => 2
   #
-  def match_length: (int | String | Symbol) -> Integer?
+  def match_length: (int | interned) -> Integer?
 
   # <!--
   #   rdoc-file=re.c
@@ -414,7 +414,7 @@ class MatchData
   #
   # Related: MatchData#byteoffset, MatchData#begin, MatchData#end.
   #
-  def offset: (Integer | Symbol | String n_or_name) -> ([ Integer, Integer ] | [ nil, nil ])
+  def offset: (Integer | interned n_or_name) -> ([ Integer, Integer ] | [ nil, nil ])
 
   # <!--
   #   rdoc-file=re.c
@@ -544,7 +544,7 @@ class MatchData
   #     m.values_at(0, 1..2, :a, :b, :op)
   #     # => ["1 + 2", "1", "+", "1", "2", "+"]
   #
-  def values_at: (*Integer | Symbol | String n_or_name) -> ::Array[String?]
+  def values_at: (*Integer | interned n_or_name) -> ::Array[String?]
 
   private
 

data/core/math.rbs

@@ -127,6 +127,37 @@
 # *   ::hypot: Returns `sqrt(a**2 + b**2)` for the given `a` and `b`.
 #
 module Math
+  # <!-- rdoc-file=math.c -->
+  # Definition of the mathematical constant E for Euler's number (e) as a Float
+  # number.
+  #
+  E: Float
+
+  # <!-- rdoc-file=math.c -->
+  # Definition of the mathematical constant PI as a Float number.
+  #
+  PI: Float
+
+  # <!-- rdoc-file=math.c -->
+  # Raised when a mathematical function is evaluated outside of its domain of
+  # definition.
+  #
+  # For example, since `cos` returns values in the range -1..1, its inverse
+  # function `acos` is only defined on that interval:
+  #
+  #     Math.acos(42)
+  #
+  # *produces:*
+  #
+  #     Math::DomainError: Numerical argument is out of domain - "acos"
+  #
+  class DomainError < StandardError
+  end
+
+  # A type that's passable to `Math` functions: A `Numeric` type that defines `.to_f`.
+  #
+  type double = Numeric & _ToF
+
   # <!--
   #   rdoc-file=math.c
   #   - Math.acos(x) -> float
@@ -144,7 +175,7 @@ module Math
   #     acos(0.0)  # => 1.5707963267948966 # PI/2
   #     acos(1.0)  # => 0.0
   #
-  def self.acos: (Numeric x) -> Float
+  def self.acos: (double x) -> Float
 
   # <!--
   #   rdoc-file=math.c
@@ -162,7 +193,7 @@ module Math
   #     acosh(1.0)      # => 0.0
   #     acosh(INFINITY) # => Infinity
   #
-  def self.acosh: (Numeric x) -> Float
+  def self.acosh: (double x) -> Float
 
   # <!--
   #   rdoc-file=math.c
@@ -181,7 +212,7 @@ module Math
   #     asin(0.0)  # => 0.0
   #     asin(1.0)  # => 1.5707963267948966  # PI/2
   #
-  def self.asin: (Numeric x) -> Float
+  def self.asin: (double x) -> Float
 
   # <!--
   #   rdoc-file=math.c
@@ -200,7 +231,7 @@ module Math
   #     asinh(0.0)       # => 0.0
   #     asinh(INFINITY)  # => Infinity
   #
-  def self.asinh: (Numeric x) -> Float
+  def self.asinh: (double x) -> Float
 
   # <!--
   #   rdoc-file=math.c
@@ -224,7 +255,7 @@ module Math
   #     atan(PI)        # => 1.2626272556789115
   #     atan(INFINITY)  # => 1.5707963267948966  # PI/2
   #
-  def self.atan: (Numeric x) -> Float
+  def self.atan: (double x) -> Float
 
   # <!--
   #   rdoc-file=math.c
@@ -247,7 +278,7 @@ module Math
   #     atan2(-1.0, 1.0)  # => -0.7853981633974483 # -PI/4
   #     atan2(0.0, -1.0)  # => 3.141592653589793   # PI
   #
-  def self.atan2: (Numeric y, Numeric x) -> Float
+  def self.atan2: (double y, double x) -> Float
 
   # <!--
   #   rdoc-file=math.c
@@ -266,7 +297,7 @@ module Math
   #     atanh(0.0)  # => 0.0
   #     atanh(1.0)  # => Infinity
   #
-  def self.atanh: (Numeric x) -> Float
+  def self.atanh: (double x) -> Float
 
   # <!--
   #   rdoc-file=math.c
@@ -292,7 +323,7 @@ module Math
   #     cbrt(27.0)      # => 3.0
   #     cbrt(INFINITY)  # => Infinity
   #
-  def self.cbrt: (Numeric x) -> Float
+  def self.cbrt: (double x) -> Float
 
   # <!--
   #   rdoc-file=math.c
@@ -314,7 +345,7 @@ module Math
   #     cos(PI/2)  # => 6.123031769111886e-17 # 0.0000000000000001
   #     cos(PI)    # => -1.0
   #
-  def self.cos: (Numeric x) -> Float
+  def self.cos: (double x) -> Float
 
   # <!--
   #   rdoc-file=math.c
@@ -335,7 +366,7 @@ module Math
   #     cosh(0.0)       # => 1.0
   #     cosh(INFINITY)  # => Infinity
   #
-  def self.cosh: (Numeric x) -> Float
+  def self.cosh: (double x) -> Float
 
   # <!--
   #   rdoc-file=math.c
@@ -356,7 +387,7 @@ module Math
   #
   # Related: Math.erfc.
   #
-  def self.erf: (Numeric x) -> Float
+  def self.erf: (double x) -> Float
 
   # <!--
   #   rdoc-file=math.c
@@ -378,7 +409,7 @@ module Math
   #
   # Related: Math.erf.
   #
-  def self.erfc: (Numeric x) -> Float
+  def self.erfc: (double x) -> Float
 
   # <!--
   #   rdoc-file=math.c
@@ -400,7 +431,7 @@ module Math
   #     exp(2.0)       # => 7.38905609893065    # E**2
   #     exp(INFINITY)  # => Infinity
   #
-  def self.exp: (Numeric x) -> Float
+  def self.exp: (double x) -> Float
 
   # <!--
   #   rdoc-file=math.c
@@ -431,7 +462,7 @@ module Math
   #
   # Related: Math.ldexp (inverse of Math.frexp).
   #
-  def self.frexp: (Numeric x) -> [ Float, Integer ]
+  def self.frexp: (double x) -> [Float, Integer]
 
   # <!--
   #   rdoc-file=math.c
@@ -458,7 +489,7 @@ module Math
   #
   # Related: Math.lgamma.
   #
-  def self.gamma: (Numeric x) -> Float
+  def self.gamma: (double x) -> Float
 
   # <!--
   #   rdoc-file=math.c
@@ -483,7 +514,7 @@ module Math
   # Note that if either argument is `INFINITY` or `-INFINITY`, the result is
   # `Infinity`.
   #
-  def self.hypot: (Numeric x, Numeric y) -> Float
+  def self.hypot: (double x, double y) -> Float
 
   # <!--
   #   rdoc-file=math.c
@@ -511,7 +542,7 @@ module Math
   #
   # Related: Math.frexp (inverse of Math.ldexp).
   #
-  def self.ldexp: (Numeric fraction, Numeric exponent) -> Float
+  def self.ldexp: (double fraction, int exponent) -> Float
 
   # <!--
   #   rdoc-file=math.c
@@ -552,7 +583,7 @@ module Math
   #
   # Related: Math.gamma.
   #
-  def self.lgamma: (Numeric x) -> [ Float, Integer ]
+  def self.lgamma: (double x) -> [Float, -1 | 1]
 
   # <!--
   #   rdoc-file=math.c
@@ -580,7 +611,7 @@ module Math
   #     log(1.0, 10.0)  # => 0.0
   #     log(10.0, 10.0) # => 1.0
   #
-  def self.log: (Numeric x, ?Numeric base) -> Float
+  def self.log: (double x, ?double base) -> Float
 
   # <!--
   #   rdoc-file=math.c
@@ -600,7 +631,7 @@ module Math
   #     log10(10.0)     # => 1.0
   #     log10(INFINITY) # => Infinity
   #
-  def self.log10: (Numeric x) -> Float
+  def self.log10: (double x) -> Float
 
   # <!--
   #   rdoc-file=math.c
@@ -620,7 +651,7 @@ module Math
   #     log2(2.0)      # => 1.0
   #     log2(INFINITY) # => Infinity
   #
-  def self.log2: (Numeric x) -> Float
+  def self.log2: (double x) -> Float
 
   # <!--
   #   rdoc-file=math.c
@@ -642,7 +673,7 @@ module Math
   #     sin(PI/2)  # => 1.0
   #     sin(PI)    # => 1.2246063538223773e-16  # 0.0000000000000001
   #
-  def self.sin: (Numeric x) -> Float
+  def self.sin: (double x) -> Float
 
   # <!--
   #   rdoc-file=math.c
@@ -663,7 +694,7 @@ module Math
   #     sinh(0.0)       # => 0.0
   #     sinh(INFINITY)  # => Infinity
   #
-  def self.sinh: (Numeric x) -> Float
+  def self.sinh: (double x) -> Float
 
   # <!--
   #   rdoc-file=math.c
@@ -686,7 +717,7 @@ module Math
   #     sqrt(9.0)      # => 3.0
   #     sqrt(INFINITY) # => Infinity
   #
-  def self.sqrt: (Numeric x) -> Float
+  def self.sqrt: (double x) -> Float
 
   # <!--
   #   rdoc-file=math.c
@@ -709,7 +740,7 @@ module Math
   #     tan(PI/2)  # => 1.633123935319537e+16   # 16331239353195370.0
   #     tan(PI)    # => -1.2246467991473532e-16 # -0.0000000000000001
   #
-  def self.tan: (Numeric x) -> Float
+  def self.tan: (double x) -> Float
 
   # <!--
   #   rdoc-file=math.c
@@ -730,32 +761,5 @@ module Math
   #     tanh(0.0)       # => 0.0
   #     tanh(INFINITY)  # => 1.0
   #
-  def self.tanh: (Numeric x) -> Float
-end
-
-# <!-- rdoc-file=math.c -->
-# Definition of the mathematical constant E for Euler's number (e) as a Float
-# number.
-#
-Math::E: Float
-
-# <!-- rdoc-file=math.c -->
-# Definition of the mathematical constant PI as a Float number.
-#
-Math::PI: Float
-
-# <!-- rdoc-file=math.c -->
-# Raised when a mathematical function is evaluated outside of its domain of
-# definition.
-#
-# For example, since `cos` returns values in the range -1..1, its inverse
-# function `acos` is only defined on that interval:
-#
-#     Math.acos(42)
-#
-# *produces:*
-#
-#     Math::DomainError: Numerical argument is out of domain - "acos"
-#
-class Math::DomainError < StandardError
+  def self.tanh: (double x) -> Float
 end

data/core/method.rbs

@@ -23,6 +23,8 @@
 #     #=> [#<Date: 2017-03-01 ((2457814j,0s,0n),+0s,2299161j)>, #<Date: 2017-03-02 ((2457815j,0s,0n),+0s,2299161j)>]
 #
 class Method < Object
+  type param_types = Array[[:req | :opt | :rest | :keyreq | :key | :keyrest | :block, Symbol] | [:rest | :keyrest | :nokey]]
+
   # <!--
   #   rdoc-file=proc.c
   #   - meth.to_proc    -> proc
@@ -252,7 +254,7 @@ class Method < Object
   #     def foo(bar, baz, *args, &blk); end
   #     method(:foo).parameters #=> [[:req, :bar], [:req, :baz], [:rest, :args], [:block, :blk]]
   #
-  def parameters: () -> ::Array[[ :req | :opt | :rest | :keyreq | :key | :keyrest | :block, Symbol ] | [ :rest | :keyrest ]]
+  def parameters: () -> param_types
 
   # <!--
   #   rdoc-file=proc.c