Future_lwt (p.biocaml.0.11.1.doc.biocaml.lwt.Biocaml_lwt.Future

include Biocaml_unix.Future.S
  with type 'a Deferred.t = 'a Lwt.t
   and type 'a Pipe.Reader.t = 'a Lwt_stream.t
   and type Reader.t = Lwt_io.input_channel
   and type Writer.t = Lwt_io.output_channel

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 ]

Source

val try_with : 
  (unit -> 'a Deferred.t) ->
  ('a, exn) Core_kernel.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