Left package:universum

Maps left part of Either to Maybe.

>>> leftToMaybe (Left True)
Just True

>>> leftToMaybe (Right "aba")
Nothing

Extracts from a list of Either all the Left elements. All the Left elements are extracted in order.

Examples

Basic usage:

>>> let list = [ Left "foo", Right 3, Left "bar", Right 7, Left "baz" ]

>>> lefts list
["foo","bar","baz"]

Extracts value from Left or return given default value.

>>> fromLeft 0 (Left 3)
3

>>> fromLeft 0 (Right 5)
0

Maps Maybe to Either wrapping default value into Right.

>>> maybeToLeft True (Just "aba")
Left "aba"

>>> maybeToLeft True Nothing
Right True

Applies given action to Either content if Left is given.

Monadic version of whenLeft.

Return True if the given value is a Left-value, False otherwise.

Examples

Basic usage:

>>> isLeft (Left "foo")
True

>>> isLeft (Right 3)
False

Assuming a Left value signifies some sort of error, we can use isLeft to write a very simple error-reporting function that does absolutely nothing in the case of success, and outputs "ERROR" if any error occurred. This example shows how isLeft might be used to avoid pattern matching when one does not care about the value contained in the constructor:

>>> import Control.Monad ( when )

>>> let report e = when (isLeft e) $ putStrLn "ERROR"

>>> report (Right 1)

>>> report (Left "parse error")
ERROR