jon.recoil.org

Module Import.ResultSource

include module type of struct include Stdppx.Result end
Sourceval bind : ('a, 'b) result -> f:('a -> ('c, 'b) result) -> ('c, 'b) result
Sourceval map : ('a, 'b) result -> f:('a -> 'c) -> ('c, 'b) result
Sourceval (>>=) : ('a, 'b) result -> ('a -> ('c, 'b) result) -> ('c, 'b) result
Sourceval (>>|) : ('a, 'b) result -> ('a -> 'c) -> ('c, 'b) result
Sourceval handle_error : ('a, 'b) result -> f:('b -> 'a) -> 'a
Sourcemodule Let_syntax : sig ... end
Sourceval map_error : ('a, 'b) result -> f:('b -> 'c) -> ('a, 'c) result
Sourceval all_errors_of_list : ('ok, 'err) result list -> ('ok list, 'err Nonempty_list_type.Nonempty_list.t) result
Sourceval syntax_errors_of_list : ('a, Syntax_error.t) result list -> ('a list, Syntax_error.t) result
Sourceval syntax_errors_of_unit_list : (unit, Syntax_error.t) result list -> (unit, Syntax_error.t) result