diff --git a/dev/containers/CCResult/index.html b/dev/containers/CCResult/index.html index e0704afa..923f112e 100644 --- a/dev/containers/CCResult/index.html +++ b/dev/containers/CCResult/index.html @@ -14,4 +14,4 @@ ( 'b -> 'a -> ( 'b, 'err ) t ) -> 'b -> 'a iter -> - ( 'b, 'err ) t

Misc

val choose : ( 'a, 'err ) t list -> ( 'a, 'err list ) t

choose l selects a member of l that is a Ok _ value, or returns Error l otherwise, where l is the list of errors.

val retry : int -> ( unit -> ( 'a, 'err ) t ) -> ( 'a, 'err list ) t

retry n f calls f at most n times, returning the first result of f () that doesn't fail. If f fails n times, retry n f fails with the list of successive errors.

module type MONAD = sig ... end
module Traverse (M : MONAD) : sig ... end

Conversions

val to_opt : ( 'a, _ ) t -> 'a option

Convert a result to an option.

val of_opt : 'a option -> ( 'a, string ) t

Convert an option to a result.

val to_iter : ( 'a, _ ) t -> 'a iter
val to_seq : ( 'a, _ ) t -> 'a Stdlib.Seq.t

Renamed from to_std_seq since 3.0.

type ('a, 'b) error = [
| `Ok of 'a
| `Error of 'b
]
val of_err : ( 'a, 'b ) error -> ( 'a, 'b ) t
val to_err : ( 'a, 'b ) t -> ( 'a, 'b ) error

IO

val pp : 'a printer -> ( 'a, string ) t printer
val pp' : 'a printer -> 'e printer -> ( 'a, 'e ) t printer

Printer that is generic on the error type.

\ No newline at end of file + ( 'b, 'err ) t

Misc

val choose : ( 'a, 'err ) t list -> ( 'a, 'err list ) t

choose l selects a member of l that is a Ok _ value, or returns Error l otherwise, where l is the list of errors.

val retry : int -> ( unit -> ( 'a, 'err ) t ) -> ( 'a, 'err list ) t

retry n f calls f at most n times, returning the first result of f () that doesn't fail. If f fails n times, retry n f fails with the list of successive errors.

module type MONAD = sig ... end
module Traverse (M : MONAD) : sig ... end

Conversions

val to_opt : ( 'a, _ ) t -> 'a option

Convert a result to an option.

val of_opt : 'a option -> ( 'a, string ) t

of_opt opt converts Some v to Ok v and None to Error "of_opt".

val to_iter : ( 'a, _ ) t -> 'a iter
val to_seq : ( 'a, _ ) t -> 'a Stdlib.Seq.t

Renamed from to_std_seq since 3.0.

type ('a, 'b) error = [
| `Ok of 'a
| `Error of 'b
]
val of_err : ( 'a, 'b ) error -> ( 'a, 'b ) t
val to_err : ( 'a, 'b ) t -> ( 'a, 'b ) error

IO

val pp : 'a printer -> ( 'a, string ) t printer
val pp' : 'a printer -> 'e printer -> ( 'a, 'e ) t printer

Printer that is generic on the error type.

\ No newline at end of file