jon.recoil.org

Module Std.ResultSource

include module type of struct include Result end

Results

Sourcetype (('a : value_or_null), ('e : value_or_null)) t = ('a, 'e) result =
  1. | Ok of 'a
  2. | Error of 'e

The type for result values. Either a value Ok v or an error Error e.

Sourceval ok : ('a : value_or_null) ('e : value_or_null). 'a -> ('a, 'e) result @@ portable

ok v is Ok v.

Sourceval error : ('a : value_or_null) ('e : value_or_null). 'e -> ('a, 'e) result @@ portable

error e is Error e.

Sourceval value : ('a : value_or_null) ('e : value_or_null). ('a, 'e) result -> default:'a -> 'a @@ portable

value r ~default is v if r is Ok v and default otherwise.

Sourceval get_ok : ('a : value_or_null) ('e : value_or_null). ('a, 'e) result -> 'a @@ portable

get_ok r is v if r is Ok v and raise otherwise.

Sourceval get_error : ('a : value_or_null) ('e : value_or_null). ('a, 'e) result -> 'e @@ portable

get_error r is e if r is Error e and raise otherwise.

Sourceval join : ('a : value_or_null) ('e : value_or_null). (('a, 'e) result, 'e) result -> ('a, 'e) result @@ portable

join rr is r if rr is Ok r and rr if rr is Error _.

Sourceval map_error : ('a : value_or_null) ('e : value_or_null) ('f : value_or_null). ('e -> 'f) -> ('a, 'e) result -> ('a, 'f) result @@ portable

map_error f r is Error (f e) if r is Error e and r if r is Ok _.

Sourceval fold : ('a : value_or_null) ('c : value_or_null) ('e : value_or_null). ok:('a -> 'c) -> error:('e -> 'c) -> ('a, 'e) result -> 'c @@ portable

fold ~ok ~error r is ok v if r is Ok v and error e if r is Error e.

Sourceval iter : ('a : value_or_null) ('e : value_or_null). ('a -> unit) -> ('a, 'e) result -> unit @@ portable

iter f r is f v if r is Ok v and () otherwise.

Sourceval iter_error : ('a : value_or_null) ('e : value_or_null). ('e -> unit) -> ('a, 'e) result -> unit @@ portable

iter_error f r is f e if r is Error e and () otherwise.

Predicates and comparisons

Sourceval is_ok : ('a : value_or_null) ('e : value_or_null). ('a, 'e) result -> bool @@ portable

is_ok r is true if and only if r is Ok _.

Sourceval is_error : ('a : value_or_null) ('e : value_or_null). ('a, 'e) result -> bool @@ portable

is_error r is true if and only if r is Error _.

Sourceval equal : ('a : value_or_null) ('e : value_or_null). ok:('a -> 'a -> bool) -> error:('e -> 'e -> bool) -> ('a, 'e) result -> ('a, 'e) result -> bool @@ portable

equal ~ok ~error r0 r1 tests equality of r0 and r1 using ok and error to respectively compare values wrapped by Ok _ and Error _.

Sourceval compare : ('a : value_or_null) ('e : value_or_null). ok:('a -> 'a -> int) -> error:('e -> 'e -> int) -> ('a, 'e) result -> ('a, 'e) result -> int @@ portable

compare ~ok ~error r0 r1 totally orders r0 and r1 using ok and error to respectively compare values wrapped by Ok _ and Error _. Ok _ values are smaller than Error _ values.

Converting

Sourceval to_option : ('a : value_or_null) ('e : value_or_null). ('a, 'e) result -> 'a option @@ portable

to_option r is r as an option, mapping Ok v to Some v and Error _ to None.

Sourceval to_list : ('a : value_or_null) ('e : value_or_null). ('a, 'e) result -> 'a list @@ portable

to_list r is [v] if r is Ok v and [] otherwise.

Sourceval to_seq : ('a : value_or_null) ('e : value_or_null). ('a, 'e) result -> 'a Seq.t @@ portable

to_seq r is r as a sequence. Ok v is the singleton sequence containing v and Error _ is the empty sequence.

Sourceval map : f:('a -> 'b) -> ('a, 'c) result -> ('b, 'c) result
Sourceval bind : f:('a -> ('b, 'c) result) -> ('a, 'c) result -> ('b, 'c) result