|The Either type, and associated operations.
|data Either a b |
The Either type represents values with two possibilities: a value of
type Either a b is either Left a or Right b.
The Either type 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").
|either :: (a -> c) -> (b -> c) -> Either a b -> c|
|Case analysis for the Either type.
If the value is Left a, apply the first function to a;
if it is Right b, apply the second function to b.
|lefts :: [Either a b] -> [a]|
|Extracts from a list of Either all the Left elements
All the Left elements are extracted in order.
|rights :: [Either a b] -> [b]|
|Extracts from a list of Either all the Right elements
All the Right elements are extracted in order.
|partitionEithers :: [Either a b] -> ([a], [b])|
|Partitions a list of Either into two lists
All the Left elements are extracted, in order, to the first
component of the output. Similarly the Right elements are extracted
to the second component of the output.
|Produced by Haddock version 2.3.0|