Description
The Either type, and associated operations.
DocumentationThe Either
type represents values with two possibilities: a value of type
is either Either
a b
or Left
a
.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 -> cSource
Case analysis for the Either
type. If the value is
, apply the first function to Left
aa
; if it is
, apply the second function to Right
bb
.
partitionEithers :: [Either a b] -> ([a], [b])Source
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.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4