std/core/either▲toc

Standard eitherstd/core/types/either: (V, V) -> V functions.

.

fun (==)( e1 : eitherstd/core/types/either: (V, V) -> V<a,b>, e2 : eitherstd/core/types/either: (V, V) -> V<a,b>, ?left/(==) : (a, a) -> e boolstd/core/types/bool: V, ?right/(==) : (b, b) -> e boolstd/core/types/bool: V ) : e boolstd/core/types/bool: V

Equality on eitherstd/core/types/either: (V, V) -> V values.

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

Map over the Rightstd/core/types/Right: forall<a,b> (right : b) -> either<a,b> component of an eitherstd/core/types/either: (V, V) -> V type.

fun maybe( e : eitherstd/core/types/either: (V, V) -> V<a,b> ) : maybestd/core/types/maybe: V -> V<b>

Convert a eitherstd/core/types/either: (V, V) -> V to a maybestd/core/types/maybe: V -> V type discarding the value of the Leftstd/core/types/Left: forall<a,b> (left : a) -> either<a,b> constructor and using Juststd/core/types/Just: forall<a> (value : a) -> maybe<a> for the Rightstd/core/types/Right: forall<a,b> (right : b) -> either<a,b> constructor.

fun show( e : eitherstd/core/types/either: (V, V) -> V<a,b>, ?left/show : (a) -> e stringstd/core/types/string: V, ?right/show : (b) -> e stringstd/core/types/string: V ) : e stringstd/core/types/string: V

Show an eitherstd/core/types/either: (V, V) -> V type.

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