chore: more accurate type annotations for SDK internals (#83)

Author: stainless-app[bot]

rbi/lib/finch-api/type/array_of.rbi

@@ -11,6 +11,8 @@ module FinchAPI
       abstract!
       final!
 
+      Elem = type_member(:out)
+
       sig(:final) do
         params(
           type_info: T.any(
@@ -36,11 +38,7 @@ module FinchAPI
       # @api private
       sig(:final) do
         override
-          .params(value: T.any(
-            T::Enumerable[T.anything],
-            T.anything
-          ),
-                  state: FinchAPI::Type::Converter::State)
+          .params(value: T.any(T::Enumerable[Elem], T.anything), state: FinchAPI::Type::Converter::State)
           .returns(T.any(T::Array[T.anything], T.anything))
       end
       def coerce(value, state:)
@@ -49,14 +47,14 @@ module FinchAPI
       # @api private
       sig(:final) do
         override
-          .params(value: T.any(T::Enumerable[T.anything], T.anything))
+          .params(value: T.any(T::Enumerable[Elem], T.anything))
           .returns(T.any(T::Array[T.anything], T.anything))
       end
       def dump(value)
       end
 
       # @api private
-      sig(:final) { returns(T.anything) }
+      sig(:final) { returns(Elem) }
       protected def item_type
       end
 

rbi/lib/finch-api/type/hash_of.rbi

@@ -11,6 +11,8 @@ module FinchAPI
       abstract!
       final!
 
+      Elem = type_member(:out)
+
       sig(:final) do
         params(
           type_info: T.any(
@@ -56,7 +58,7 @@ module FinchAPI
       end
 
       # @api private
-      sig(:final) { returns(T.anything) }
+      sig(:final) { returns(Elem) }
       protected def item_type
       end
 

sig/finch-api/type/array_of.rbs

@@ -1,6 +1,6 @@
 module FinchAPI
   module Type
-    class ArrayOf
+    class ArrayOf[Elem]
       include FinchAPI::Type::Converter
 
       def self.[]: (
@@ -15,13 +15,13 @@ module FinchAPI
       def ==: (top other) -> bool
 
       def coerce: (
-        Enumerable[top] | top value,
+        Enumerable[Elem] | top value,
         state: FinchAPI::Type::Converter::state
       ) -> (::Array[top] | top)
 
-      def dump: (Enumerable[top] | top value) -> (::Array[top] | top)
+      def dump: (Enumerable[Elem] | top value) -> (::Array[top] | top)
 
-      def item_type: -> top
+      def item_type: -> Elem
 
       def nilable?: -> bool
 

sig/finch-api/type/hash_of.rbs

@@ -1,6 +1,6 @@
 module FinchAPI
   module Type
-    class HashOf
+    class HashOf[Elem]
       include FinchAPI::Type::Converter
 
       def self.[]: (
@@ -21,7 +21,7 @@ module FinchAPI
 
       def dump: (::Hash[top, top] | top value) -> (::Hash[Symbol, top] | top)
 
-      def item_type: -> top
+      def item_type: -> Elem
 
       def nilable?: -> bool