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 return : 'a -> 'a 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 fail : Core.Std.Error.t -> 'a t
val ok_exn : 'a t -> 'a Deferred.t
val of_exn : exn -> 'a t
val of_exn_result : ('a, exn) Core.Std.Result.t Deferred.t -> 'a t
val error : string -> 'a -> ('a -> Core.Std.Sexp.t) -> 'b t
val error_string : string -> 'a t
val unimplemented : string -> 'a t
val combine_errors : 'a t list -> 'a list t
val combine_errors_unit : unit t list -> unit t
val ok_unit : unit t
val try_with :
?extract_exn:bool -> ?name:string -> (unit -> 'a Deferred.t) -> 'a t
val try_with_join :
?extract_exn:bool -> ?name:string -> (unit -> 'a t) -> '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
end