From d74808efe030f2c22103c3e8a89accfcd800871b Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 24 Mar 2013 17:57:02 +0100 Subject: [PATCH] small api change in future --- future.ml | 2 ++ future.mli | 5 +++++ 2 files changed, 7 insertions(+) diff --git a/future.ml b/future.ml index 3a2a2759..2657a822 100644 --- a/future.ml +++ b/future.ml @@ -524,3 +524,5 @@ module Infix = struct let (>>=) x f = flatMap f x let (>>) a f = andThen a f end + +include Infix diff --git a/future.mli b/future.mli index 01422020..48988002 100644 --- a/future.mli +++ b/future.mli @@ -142,7 +142,12 @@ val spawn_process : ?pool:Pool.t -> ?stdin:string -> cmd:string -> val sleep : ?pool:Pool.t -> float -> unit t (** Future that returns with success in the given amount of seconds *) + + module Infix : sig val (>>=) : 'a t -> ('a -> 'b t) -> 'b t val (>>) : 'a t -> (unit -> 'b t) -> 'b t end + +val (>>=) : 'a t -> ('a -> 'b t) -> 'b t +val (>>) : 'a t -> (unit -> 'b t) -> 'b t