dry-monads.rbi in dry-monads-sorbet-1.1.0.pre

- old
+ new

@@ -1,6 +1,6 @@
-# typed: strong
+# typed: true
 #
 # dry-monads-1.3.1
 #
 # Note: This file depends on dry/monads/sorbet to define generics.
 
@@ -38,10 +38,13 @@
   def fmap2(*args); end
   def fmap3(*args); end
 end
 class Dry::Monads::Maybe
   extend T::Helpers
+  extend T::Generic
+  Elem = type_member
+
   abstract!
   sealed!
 
   sig do
     type_parameters(:New)
@@ -161,9 +164,12 @@
   def self.all(hash, trace = nil); end
   def self.filter(hash); end
 end
 class Dry::Monads::Result
   extend T::Helpers
+  extend T::Generic
+  FailureType = type_member
+  SuccessType = type_member
   abstract!
   sealed!
 
   sig do
     type_parameters(:NewSuccessType)