DA.Either
DA.Either
The Either type represents values with two possibilities.
It is sometimes used to represent a value which is either correct
or an error. By convention, the Left constructor is used to hold
an error value and the Right constructor is used to hold a correct
value (mnemonic: "right" also means correct).
Functions
lefts: [Either a b] -> [a]
Extracts all the Left elements from a list.
: [Either a b] -> [b]
Extracts all the Right elements from a list.
: [Either a b] -> ([a], [b])
Partitions a list of Either into two lists, the Left and
Right elements respectively. Order is maintained.
Return True if the given value is a Left-value, False
otherwise.
Return True if the given value is a Right-value, False
otherwise.
: a -> Either a b -> a
Return the contents of a Left-value, or a default value
in case of a Right-value.
: b -> Either a b -> b
Return the contents of a Right-value, or a default value
in case of a Left-value.
: a -> Optional b -> Either a b
Convert a Optional value to an Either value, using the supplied
parameter as the Left value if the Optional is None.
Convert an Either value to a Optional, dropping any value in
Left.
: a -> Optional b -> Either a b
Warning
DEPRECATED:
Warning
DEPRECATED:
