update rbs signatures to be more consistent with generics

Author: sampersand

core/array.rbs

@@ -125,8 +125,8 @@
 #     puts ext_each(o.to_enum) {|*x| puts x; [:b, *x] }
 #     # => [], [:b], [1], [:b, 1], [1, 2], [:b, 1, 2], 3
 #
-class Enumerator[unchecked out Elem, out Return = void] < Object
-  include Enumerable[Elem]
+class Enumerator[unchecked out T, out R = void] < Object
+  include Enumerable[T]
 
   # A convenience interface for `each` with optional block
   #
@@ -210,7 +210,7 @@ class Enumerator[unchecked out Elem, out Return = void] < Object
   # When a block is given, calls the block with each N-element array generated and
   # returns `nil`.
   #
-  def self.product: [Elem] (*_EachEntry[Elem]) -> Product[Elem]
+  def self.product: [T] (*_EachEntry[T]) -> Product[T]
 
   # <!--
   #   rdoc-file=enumerator.c
@@ -247,7 +247,7 @@ class Enumerator[unchecked out Elem, out Return = void] < Object
   #     enum.each(:y, :z).equal?(enum)  #=> false
   #     enum.each(:y, :z) { |elm| elm } #=> :method_returned
   #
-  def each: () { (Elem arg0) -> untyped } -> Return
+  def each: () { (T arg0) -> untyped } -> R
           | () -> self
 
   # <!--
@@ -295,7 +295,7 @@ class Enumerator[unchecked out Elem, out Return = void] < Object
   #     e.next              # (7)
   #                         # (10)
   #
-  def feed: (Elem arg0) -> NilClass
+  def feed: (T arg0) -> NilClass
 
   # <!--
   #   rdoc-file=enumerator.c
@@ -321,7 +321,7 @@ class Enumerator[unchecked out Elem, out Return = void] < Object
   # lazy fashion (see Enumerator#size). It can either be a value or a callable
   # object.
   #
-  def initialize: (?Integer arg0) { (Enumerator::Yielder arg0) -> Return } -> void
+  def initialize: (?Integer arg0) { (Enumerator::Yielder arg0) -> R } -> void
 
   # <!--
   #   rdoc-file=enumerator.c
@@ -349,7 +349,7 @@ class Enumerator[unchecked out Elem, out Return = void] < Object
   #
   # See class-level notes about external iterators.
   #
-  def next: () -> Elem
+  def next: () -> T
 
   # <!--
   #   rdoc-file=enumerator.c
@@ -393,7 +393,7 @@ class Enumerator[unchecked out Elem, out Return = void] < Object
   #     #  yield nil        [nil]            nil
   #     #  yield [1, 2]     [[1, 2]]         [1, 2]
   #
-  def next_values: () -> ::Array[Elem]
+  def next_values: () -> ::Array[T]
 
   # <!--
   #   rdoc-file=enumerator.c
@@ -417,7 +417,7 @@ class Enumerator[unchecked out Elem, out Return = void] < Object
   #     p e.next   #=> 3
   #     p e.peek   #raises StopIteration
   #
-  def peek: () -> Elem
+  def peek: () -> T
 
   # <!--
   #   rdoc-file=enumerator.c
@@ -447,7 +447,7 @@ class Enumerator[unchecked out Elem, out Return = void] < Object
   #     e.next
   #     p e.peek_values    # raises StopIteration
   #
-  def peek_values: () -> ::Array[Elem]
+  def peek_values: () -> ::Array[T]
 
   # <!--
   #   rdoc-file=enumerator.c
@@ -500,7 +500,7 @@ class Enumerator[unchecked out Elem, out Return = void] < Object
   #     e = (1..3).each + [4, 5]
   #     e.to_a #=> [1, 2, 3, 4, 5]
   #
-  def +: [Elem2] (::_Each[Elem2]) -> ::Enumerator::Chain[Elem | Elem2]
+  def +: [Elem2] (::_Each[Elem2]) -> ::Enumerator::Chain[T | Elem2]
 
   # <!--
   #   rdoc-file=enumerator.c
@@ -514,8 +514,8 @@ class Enumerator[unchecked out Elem, out Return = void] < Object
   # `offset`
   # :   the starting index to use
   #
-  def with_index: (?Integer offset) { (Elem arg0, Integer arg1) -> untyped } -> Return
-                | (?Integer offset) -> ::Enumerator[[ Elem, Integer ], Return]
+  def with_index: (?Integer offset) { (T arg0, Integer arg1) -> untyped } -> R
+                | (?Integer offset) -> ::Enumerator[[ T, Integer ], R]
 
   # <!-- rdoc-file=enumerator.c -->
   # Iterates the given block for each element with an arbitrary object, `obj`, and
@@ -540,17 +540,17 @@ class Enumerator[unchecked out Elem, out Return = void] < Object
   #     # => foo: 1
   #     # => foo: 2
   #
-  def with_object: [U] (U obj) { (Elem, U obj) -> untyped } -> U
-                 | [U] (U obj) -> ::Enumerator[[ Elem, U ], U]
+  def with_object: [U] (U obj) { (T, U obj) -> untyped } -> U
+                 | [U] (U obj) -> ::Enumerator[[ T, U ], U]
 end
 
 # <!-- rdoc-file=enumerator.c -->
 # Generator
 #
-class Enumerator::Generator[out Elem] < Object
-  include Enumerable[Elem]
+class Enumerator::Generator[out T] < Object
+  include Enumerable[T]
 
-  def each: () { (Elem) -> void } -> void
+  def each: () { (T) -> void } -> void
 end
 
 # <!-- rdoc-file=enumerator.c -->
@@ -619,7 +619,7 @@ end
 #     # This returns an array of items like a normal enumerator does.
 #     all_checked = active_items.select(&:checked)
 #
-class Enumerator::Lazy[out Elem, out Return = void] < Enumerator[Elem, Return]
+class Enumerator::Lazy[out T, out R = void] < Enumerator[T, R]
   # <!-- rdoc-file=enumerator.c -->
   # Expands `lazy` enumerator to an array. See Enumerable#to_a.
   #
@@ -631,15 +631,15 @@ class Enumerator::Lazy[out Elem, out Return = void] < Enumerator[Elem, Return]
   # -->
   # Like Enumerable#compact, but chains operation to be lazy-evaluated.
   #
-  def compact: () -> Enumerator::Lazy[Elem, Return]
+  def compact: () -> Enumerator::Lazy[T, R]
 
   # <!--
   #   rdoc-file=enumerator.c
   #   - lzy.eager -> enum
   # -->
   # Returns a non-lazy Enumerator converted from the lazy enumerator.
   #
-  def eager: () -> ::Enumerator[Elem, Return]
+  def eager: () -> ::Enumerator[T, R]
 end
 
 # <!-- rdoc-file=enumerator.c -->
@@ -674,7 +674,7 @@ end
 #
 # This type of objects can be created by Enumerable#chain and Enumerator#+.
 #
-class Enumerator::Chain[out Elem] < Enumerator[Elem, void]
+class Enumerator::Chain[out T] < Enumerator[T, void]
   # <!--
   #   rdoc-file=enumerator.c
   #   - Enumerator::Chain.new(*enums) -> enum
@@ -686,7 +686,7 @@ class Enumerator::Chain[out Elem] < Enumerator[Elem, void]
   #     e.to_a #=> [1, 2, 3, 4, 5]
   #     e.size #=> 5
   #
-  def initialize: (*_Each[Elem] enums) -> void
+  def initialize: (*_Each[T] enums) -> void
 
   # <!--
   #   rdoc-file=enumerator.c
@@ -699,6 +699,6 @@ class Enumerator::Chain[out Elem] < Enumerator[Elem, void]
   #
   # If no block is given, returns an enumerator.
   #
-  def each: () { (Elem) -> void } -> self
-          | () -> Enumerator[Elem, self]
+  def each: () { (T) -> void } -> self
+          | () -> Enumerator[T, self]
 end

core/enumerable.rbs

@@ -1,5 +1,5 @@
 %a{annotate:rdoc:skip}
-class Enumerator[unchecked out Elem, out Return = void]
+class Enumerator[unchecked out T, out R = void]
   # <!-- rdoc-file=enumerator.c -->
   # Enumerator::Product generates a Cartesian product of any number of enumerable
   # objects.  Iterating over the product of enumerable objects is roughly
@@ -30,7 +30,7 @@ class Enumerator[unchecked out Elem, out Return = void]
   #
   # This type of objects can be created by Enumerator.product.
   #
-  class Product[unchecked out Elem] < Enumerator[Array[Elem], Product[Elem]]
+  class Product[unchecked out T] < Enumerator[Array[T], Product[T]]
     # <!--
     #   rdoc-file=enumerator.c
     #   - Enumerator::Product.new(*enums) -> enum
@@ -42,7 +42,7 @@ class Enumerator[unchecked out Elem, out Return = void]
     #     e.to_a #=> [[1, 4], [1, 5], [2, 4], [2, 5], [3, 4], [3, 5]]
     #     e.size #=> 6
     #
-    def initialize: (*_EachEntry[Elem]) -> void
+    def initialize: (*_EachEntry[T]) -> void
 
     # <!--
     #   rdoc-file=enumerator.c
@@ -55,7 +55,7 @@ class Enumerator[unchecked out Elem, out Return = void]
     #
     # If no block is given, returns an enumerator.  Otherwise, returns self.
     #
-    def each: () { (Array[Elem]) -> void } -> self
+    def each: () { (Array[T]) -> void } -> self
 
     # <!--
     #   rdoc-file=enumerator.c
@@ -87,6 +87,6 @@ class Enumerator[unchecked out Elem, out Return = void]
 
     private
 
-    def initialize_copy: (Product[Elem]) -> void
+    def initialize_copy: (Product[T]) -> void
   end
 end

core/enumerator.rbs

@@ -57,7 +57,7 @@ module ObjectSpace
   # attributes always, but the values that aren't needed anymore wouldn't be
   # sitting in the cache forever.
   #
-  class WeakKeyMap[Key, Value]
+  class WeakKeyMap[K, V]
     # <!--
     #   rdoc-file=weakmap.c
     #   - map[key] -> value
@@ -66,7 +66,7 @@ module ObjectSpace
     #
     # If `key` is not found, returns `nil`.
     #
-    def []: (Key) -> Value?
+    def []: (K) -> V?
 
     # <!--
     #   rdoc-file=weakmap.c
@@ -80,7 +80,7 @@ module ObjectSpace
     # If the given `key` exists, replaces its value with the given `value`; the
     # ordering is not affected
     #
-    def []=: (Key, Value?) -> Value?
+    def []=: (K, V?) -> V?
 
     # <!--
     #   rdoc-file=weakmap.c
@@ -119,8 +119,8 @@ module ObjectSpace
     #     m = ObjectSpace::WeakKeyMap.new
     #     m.delete("nosuch") { |key| "Key #{key} not found" } # => "Key nosuch not found"
     #
-    def delete: (Key) -> Value?
-              | [T] (Key) { (Key) -> T } -> (Value | T)
+    def delete: (K) -> V?
+              | [T] (K) { (K) -> T } -> (V | T)
 
     # <!--
     #   rdoc-file=weakmap.c
@@ -141,7 +141,7 @@ module ObjectSpace
     #     copy = cache.getkey({amount: 1, currency: 'USD'})
     #     copy.object_id == value.object_id #=> true
     #
-    def getkey: (untyped) -> Key?
+    def getkey: (untyped) -> K?
 
     # <!--
     #   rdoc-file=weakmap.c
@@ -161,6 +161,6 @@ module ObjectSpace
     # -->
     # Returns `true` if `key` is a key in `self`, otherwise `false`.
     #
-    def key?: (Key) -> bool
+    def key?: (K) -> bool
   end
 end