package async_kernel

You can search for identifiers within the package.

in-package search v0.2.0

Module `Eager_deferred.Result`Source

include Core.Monad.S2
  with type ('a, 'b) t = ('a, 'b) Core.Result.t Async_kernel.Deferred.t

Sourcetype ('a, 'b) t = ('a, 'b) Core.Result.t Async_kernel.Deferred.t

Sourceval (>>=) : ('a, 'e) t -> ('a -> ('b, 'e) t) -> ('b, 'e) t

Sourceval (>>|) : ('a, 'e) t -> ('a -> 'b) -> ('b, 'e) t

Sourcemodule Let_syntax : sig ... end

Sourcemodule Monad_infix : sig ... end

Same as Infix, except the monad type has two arguments. The second is always just passed through.

Sourceval bind : ('a, 'e) t -> f:('a -> ('b, 'e) t) -> ('b, 'e) t

Sourceval return : 'a -> ('a, _) t

Sourceval map : ('a, 'e) t -> f:('a -> 'b) -> ('b, 'e) t

Sourceval join : (('a, 'e) t, 'e) t -> ('a, 'e) t

Sourceval ignore_m : (_, 'e) t -> (unit, 'e) t

Sourceval all : ('a, 'e) t list -> ('a list, 'e) t

Sourceval all_unit : (unit, 'e) t list -> (unit, 'e) t

Sourceval fail : 'err -> (_, 'err) t

Sourceval failf : ('a, unit, string, (_, string) t) Core.format4 -> 'a

e.g., failf "Couldn't find bloogle %s" (Bloogle.to_string b).

Sourceval map_error : ('ok, 'error1) t -> f:('error1 -> 'error2) -> ('ok, 'error2) t

val combine : 
  ('ok1, 'err) t ->
  ('ok2, 'err) t ->
  ok:('ok1 -> 'ok2 -> 'ok3) ->
  err:('err -> 'err -> 'err) ->
  ('ok3, 'err) t

combine waits on both inputs and combines their results using Result.combine.