sig
type 'a t = 'a Core.Std.Or_error.t Deferred.t
val ( >>= ) : 'a t -> ('a -> 'b t) -> 'b t
val ( >>| ) : 'a t -> ('a -> 'b) -> 'b t
module Monad_infix :
sig
val ( >>= ) : 'a t -> ('a -> 'b t) -> 'b t
val ( >>| ) : 'a t -> ('a -> 'b) -> 'b t
end
val bind : 'a t -> ('a -> 'b t) -> 'b t
val map : 'a t -> f:('a -> 'b) -> 'b t
val join : 'a t t -> 'a t
val ignore : 'a t -> unit t
val all : 'a t list -> 'a list t
val all_ignore : unit t list -> unit t
val return : 'ok -> 'ok t
val fail : Core.Std.Error.t -> 'a t
val of_exn : exn -> 'a t
val failwith : string -> 'a t
val ok_unit : unit t
val never : unit -> 'a t
val try_with : ?name:string -> f:('arg -> 'a Deferred.t) -> 'arg -> 'a t
val try_with_join : ?name:string -> f:('arg -> 'a t) -> 'arg -> 'a t
module List :
sig
val foldi : 'a list -> init:'b -> f:(int -> 'b -> 'a -> 'b t) -> 'b t
val fold : 'a list -> init:'b -> f:('b -> 'a -> 'b t) -> 'b t
val init :
?how:Deferred_intf.how -> int -> f:(int -> 'a t) -> 'a list t
val iter :
?how:Deferred_intf.how -> 'a list -> f:('a -> unit t) -> unit t
val iteri :
?how:Deferred_intf.how ->
'a list -> f:(int -> 'a -> unit t) -> unit t
val map :
?how:Deferred_intf.how -> 'a list -> f:('a -> 'b t) -> 'b list t
val filter :
?how:Deferred_intf.how -> 'a list -> f:('a -> bool t) -> 'a list t
val filter_map :
?how:Deferred_intf.how ->
'a list -> f:('a -> 'b option t) -> 'b list t
val all : 'a t list -> 'a list t
val all_unit : unit t list -> unit t
end
val ounit_tests : unit -> OUnit.test
end