Source

ocaml_monad_io / iO_Types.ml

Diff from to

File iO_Types.ml

 
   end
 ;
+
+
+module type IO_Sequence
+ =
+  sig
+
+    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 sequence_array : array (m 'a) -> m (array 'a);
+
+  end
+;