rbi/dry-monads.rbi in dry-monads-sorbet-1.1.0.pre.4 vs rbi/dry-monads.rbi in dry-monads-sorbet-1.1.0.pre.5

@@ -35,11 +35,16 @@
 module Dry::Monads::Transformer
   def fmap2(*args); end
   def fmap3(*args); end
 end
 class Dry::Monads::Maybe
+  extend T::Sig
+  extend T::Generic
   extend T::Helpers
+
+  Elem = type_member
+
   abstract!
   sealed!
 
   sig do
     type_parameters(:New)
@@ -151,10 +156,16 @@
 module Dry::Monads::Maybe::Hash
   def self.all(hash, trace = nil); end
   def self.filter(hash); end
 end
 class Dry::Monads::Result
+  extend T::Sig
+  extend T::Generic
   extend T::Helpers
+
+  FailureType = type_member
+  SuccessType = type_member
+
   abstract!
   sealed!
 
   sig do
     type_parameters(:NewSuccessType)