Module Res
type 'a res
=
|
Ok of 'a
There was a problem.
|
Err of Stdlib.Format.formatter -> unit
A result for some type.
val unwrap : 'a res -> 'a
Unwraps a result.
val map_res : ('a -> 'b) -> ((Stdlib.Format.formatter -> unit) -> Stdlib.Format.formatter -> unit) -> 'a res -> 'b res
Maps functions to
Ok
orErr
.
val map_err : ((Stdlib.Format.formatter -> unit) -> Stdlib.Format.formatter -> unit) -> 'a res -> 'a res
Maps a function to a result if it's
Err
.
val chain : ?fmt:((Stdlib.Format.formatter -> unit) -> Stdlib.Format.formatter -> unit) -> ('a -> 'b res) -> 'a res -> 'b res
Feeds a result to a function returning a result, propagates if argument's an error.
val l_fold : ?fmt:((Stdlib.Format.formatter -> unit) -> Stdlib.Format.formatter -> unit) -> ('acc -> 'a -> 'acc res) -> 'acc -> 'a list -> 'acc res
Fold over a list of results.