Данные.Either

Тип Either String Int — это тип значений, которые могут быть либо String, либо Int. Конструктор Left может использоваться только для Strings, а конструктор Right может использоваться только для Ints:

>>> let s = Left "foo" :: Either String Int
>>> s
Left "foo"
>>> let n = Right 3 :: Either String Int
>>> n
Right 3
>>> :type s
s :: Either String Int
>>> :type n
n :: Either String Int

Функция fmap из нашего экземпляра Functor будет игнорировать значения Left, но будет применять предоставленную функцию к значениям, содержащимся в Right:

>>> let s = Left "foo" :: Either String Int
>>> let n = Right 3 :: Either String Int
>>> fmap (*2) s
Left "foo"
>>> fmap (*2) n
Right 6

Экземпляр Monad для Either позволяет нам объединять несколько действий, которые могут завершиться неудачей, и в целом завершаться неудачей, если какой-либо из отдельных шагов завершился неудачей. Сначала мы напишем функцию, которая может либо разобрать Int из Char, либо завершиться неудачей.

>>> import Data.Char ( digitToInt, isDigit )
>>> :{
    let parseEither :: Char -> Either String Int
        parseEither c
          | isDigit c = Right (digitToInt c)
          | otherwise = Left "parse error"
>>> :}

Следующее должно работать, так как '1' и '2' могут быть разобраны как Ints.

>>> :{
    let parseMultiple :: Either String Int
        parseMultiple = do
          x <- parseEither '1'
          y <- parseEither '2'
          return (x + y)
>>> :}

>>> parseMultiple
Right 3

Но следующее должно завершиться общей неудачей, так как первая операция, где мы пытаемся разобрать 'm' как Int, завершится неудачей:

>>> :{
    let parseMultiple :: Either String Int
        parseMultiple = do
          x <- parseEither 'm'
          y <- parseEither '2'
          return (x + y)
>>> :}

>>> parseMultiple
Left "parse error"

Мы создаем два значения типа Either String Int, одно с использованием конструктора Left и другое с использованием конструктора Right. Затем мы применяем функцию "either" length (если у нас есть String) или функцию "times-two" (если у нас есть Int):

>>> let s = Left "foo" :: Either String Int
>>> let n = Right 3 :: Either String Int
>>> either length (*2) s
3
>>> either length (*2) n
6

Основное использование:

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

Основное использование:

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

Основное использование:

>>> isLeft (Left "foo")
True
>>> isLeft (Right 3)
False

Предполагая, что значение Left означает некоторую ошибку, мы можем использовать isLeft для написания очень простой функции отчетности об ошибках, которая абсолютно ничего не делает в случае успеха и выводит "ERROR", если произошла какая-либо ошибка.

Этот пример показывает, как isLeft можно использовать для избежания сопоставления с образцом, когда значение, содержащееся в конструкторе, не имеет значения:

>>> import Control.Monad ( when )
>>> let report e = when (isLeft e) $ putStrLn "ERROR"
>>> report (Right 1)
>>> report (Left "parse error")
ERROR

Основное использование:

>>> isRight (Left "foo")
False
>>> isRight (Right 3)
True

Предполагая, что значение Left означает некоторую ошибку, мы можем использовать isRight для написания очень простой функции отчетности, которая выводит только "SUCCESS", когда вычисление завершилось успешно.

Этот пример показывает, как isRight можно использовать для избежания сопоставления с образцом, когда значение, содержащееся в конструкторе, не имеет значения:

>>> import Control.Monad ( when )
>>> let report e = when (isRight e) $ putStrLn "SUCCESS"
>>> report (Left "parse error")
>>> report (Right 1)
SUCCESS

Основное использование:

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

Пара, возвращаемая partitionEithers x, должна быть той же парой, что и (lefts x, rights x):

>>> let list = [ Left "foo", Right 3, Left "bar", Right 7, Left "baz" ]
>>> partitionEithers list == (lefts list, rights list)
True