std/core/result▲toc

Standard resultstd/core/types/result: (V, V) -> V functions.

.

fun (==)( e1 : resultstd/core/types/result: (V, V) -> V<a,b>, e2 : resultstd/core/types/result: (V, V) -> V<a,b>, ?ok/(==) : (a, a) -> e boolstd/core/types/bool: V, ?error/(==) : (b, b) -> e boolstd/core/types/bool: V ) : e boolstd/core/types/bool: V

Equality on resultstd/core/types/result: (V, V) -> V values.

fun default( r : resultstd/core/types/result: (V, V) -> V<a,b>, def : a ) : a

Convert a resultstd/core/types/result: (V, V) -> V to its Okstd/core/types/Ok: forall<a,b> (value : a) -> result<a,b> value by providing a default value in the case of an Errorstd/core/types/Error: forall<a,b> (error : b) -> result<a,b>.

fun either( r : resultstd/core/types/result: (V, V) -> V<a,b> ) : eitherstd/core/types/either: (V, V) -> V<b,a>

Convert a resultstd/core/types/result: (V, V) -> V to an eiter type using Leftstd/core/types/Left: forall<a,b> (left : a) -> either<a,b> for the Errorstd/core/types/Error: forall<a,b> (error : b) -> result<a,b> constructor and using Rightstd/core/types/Right: forall<a,b> (right : b) -> either<a,b> for the Okstd/core/types/Ok: forall<a,b> (value : a) -> result<a,b> constructor.

fun flatten( rr : resultstd/core/types/result: (V, V) -> V<resultstd/core/types/result: (V, V) -> V<a,b>,b> ) : e resultstd/core/types/result: (V, V) -> V<a,b>

Flatten the result of a result.

fun map( e : resultstd/core/types/result: (V, V) -> V<a,b>, f : (a) -> e c ) : e resultstd/core/types/result: (V, V) -> V<c,b>

Map over the Okstd/core/types/Ok: forall<a,b> (value : a) -> result<a,b> component of a resultstd/core/types/result: (V, V) -> V type.

fun maybe( r : resultstd/core/types/result: (V, V) -> V<a,b> ) : maybestd/core/types/maybe: V -> V<a>

Convert a resultstd/core/types/result: (V, V) -> V to a maybestd/core/types/maybe: V -> V type discarding the value of the Errorstd/core/types/Error: forall<a,b> (error : b) -> result<a,b> constructor and using Juststd/core/types/Just: forall<a> (value : a) -> maybe<a> for the Okstd/core/types/Ok: forall<a,b> (value : a) -> result<a,b> constructor.

fun show( e : resultstd/core/types/result: (V, V) -> V<a,b>, ?ok/show : (a) -> e stringstd/core/types/string: V, ?error/show : (b) -> e stringstd/core/types/string: V ) : e stringstd/core/types/string: V

Show an resultstd/core/types/result: (V, V) -> V type.

private import std/core/typesstd/core/types, std/core/hndstd/core/hnd