Commits

Anonymous committed d4127df

+ bind_rev to all monads

  • Participants
  • Parent commits 381777d

Comments (0)

Files changed (3)

 
     value return : 'a -> m 'a;
     value bind : ('a -> m 'b) -> m 'a -> m 'b;
+    value bind_rev : m 'a -> ('a -> m 'b) -> m 'b;
     value catch : (unit -> m 'a) -> (exn -> m 'a) -> m 'a;
 
     value error : exn -> m 'a;
       ]
     ;
     value ( >>= ) m f = bind f m;
+    value bind_rev m f = bind f m;
 
     value catch f handler =
       match f () with
 
     value return : 'a -> m 'a;
     value bind : ('a -> m 'b) -> m 'a -> m 'b;
+    value bind_rev : m 'a -> ('a -> m 'b) -> m 'b;
     value catch : (unit -> m 'a) -> (exn -> m 'a) -> m 'a;
 
     value error : exn -> m 'a;
     type m +'a = Lwt.t 'a;
     value return = Lwt.return;
     value bind f m = Lwt.bind m f;
+    value bind_rev = Lwt.bind;
     value ( >>= ) = Lwt.bind;
 
     value catch = Lwt.catch;
     type m +'a;
     value return : 'a -> m 'a;
     value bind : ('a -> m 'b) -> m 'a -> m 'b;
+    value bind_rev : m 'a -> ('a -> m 'b) -> m 'b;
 
     value error : exn -> m 'a;
     value catch : (unit -> m 'a) -> (exn -> m 'a) -> m 'a;