Future_unix (p.biocaml.0.11.2.doc.biocaml.unix.Biocaml_unix.Future

include Future.S
  with type 'a Deferred.t = 'a
   and type 'a Pipe.Reader.t = 'a Stream.t
   and type Reader.t = Core.In_channel.t
   and type Writer.t = Core.Out_channel.t

Sourcetype how = [

| `Parallel
| `Sequential
| `Max_concurrent_jobs of int

]

`Max_concurrent_jobs supported only for Async implementation. The Lwt implementation treats this the same as `Parallel. Blocking implementation treats all as `Sequential.

Sourcemodule Deferred : sig ... end

Sourceval return : 'a -> 'a Deferred.t

Sourceval (>>=) : 'a Deferred.t -> ('a -> 'b Deferred.t) -> 'b Deferred.t

Sourceval (>>|) : 'a Deferred.t -> ('a -> 'b) -> 'b Deferred.t

Source

val (>>=?) : 
  ('a, 'b) Deferred.Result.t ->
  ('a -> ('c, 'b) Deferred.Result.t) ->
  ('c, 'b) Deferred.Result.t

Source

val (>>|?) : 
  ('a, 'b) Deferred.Result.t ->
  ('a -> 'c) ->
  ('c, 'b) Deferred.Result.t

Sourceval fail : exn -> 'a Deferred.t

Difference from Async: Use fail instead of raise.

Sourceval raise : [> `Use_fail_instead ]

Sourceval try_with : (unit -> 'a Deferred.t) -> ('a, exn) Core.Result.t Deferred.t

Async supports several extra parameters to this function, which we do not currently support.

Sourcemodule In_thread : sig ... end

Sourcemodule Pipe : sig ... end

Sourcemodule Reader : sig ... end

Sourcemodule Writer : sig ... end