Data.Maybe

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

>>> maybe False odd (Just 3)
True

>>> maybe False odd Nothing
False

Чтение целого числа из строки с использованием readMaybe. Если мы преуспеем, вернём удвоенное целое число, то есть применим (*2) к нему. Если же мы не сможем разобрать целое число, вернём значение по умолчанию 0:

>>> import GHC.Internal.Text.Read ( readMaybe )
>>> maybe 0 (*2) (readMaybe "5")
10
>>> maybe 0 (*2) (readMaybe "")
0

Применение show к значению Maybe Int. Если у нас есть Just n, мы хотим показать лежащее в основе значение Int n. Но если у нас есть Nothing, мы вернём пустую строку вместо (например) "Nothing":

>>> maybe "" show (Just 5)
"5"
>>> maybe "" show Nothing
""

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

>>> isJust (Just 3)
True

>>> isJust (Just ())
True

>>> isJust Nothing
False

Учитывается только внешний конструктор:

>>> isJust (Just Nothing)
True

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

>>> isNothing (Just 3)
False

>>> isNothing (Just ())
False

>>> isNothing Nothing
True

Учитывается только внешний конструктор:

>>> isNothing (Just Nothing)
False

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

>>> fromJust (Just 1)
1

>>> 2 * (fromJust (Just 10))
20

>>> 2 * (fromJust Nothing)
*** Exception: Maybe.fromJust: Nothing
...

ПРЕДУПРЕЖДЕНИЕ: Эта функция неполная. Вместо неё можно использовать сопоставление с образцом.

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

>>> fromMaybe "" (Just "Hello, World!")
"Hello, World!"

>>> fromMaybe "" Nothing
""

Чтение целого числа из строки с помощью readMaybe. Если нам не удаётся разобрать целое число, мы хотим вернуть значение по умолчанию 0:

>>> import GHC.Internal.Text.Read ( readMaybe )
>>> fromMaybe 0 (readMaybe "5")
5
>>> fromMaybe 0 (readMaybe "")
0

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

>>> listToMaybe []
Nothing

>>> listToMaybe [9]
Just 9

>>> listToMaybe [1,2,3]
Just 1

Композиция maybeToList с listToMaybe должна быть тождественной функцией для списков-одиночек/пустых списков:

>>> maybeToList $ listToMaybe [5]
[5]
>>> maybeToList $ listToMaybe []
[]

Но не для списков, содержащих более одного элемента:

>>> maybeToList $ listToMaybe [1,2,3]
[1]

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

>>> maybeToList (Just 7)
[7]

>>> maybeToList Nothing
[]

Можно использовать maybeToList для избежания сопоставления с образцом при комбинации с функцией, которая (безопасно) работает со списками:

>>> import GHC.Internal.Text.Read ( readMaybe )
>>> sum $ maybeToList (readMaybe "3")
3
>>> sum $ maybeToList (readMaybe "")
0

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

>>> catMaybes [Just 1, Nothing, Just 3]
[1,3]

При построении списка значений Maybe можно использовать catMaybes для возврата всех результатов «успеха» (если список является результатом map, то mapMaybe было бы более уместно):

>>> import GHC.Internal.Text.Read ( readMaybe )
>>> [readMaybe x :: Maybe Int | x <- ["1", "Foo", "3"] ]
[Just 1,Nothing,Just 3]
>>> catMaybes $ [readMaybe x :: Maybe Int | x <- ["1", "Foo", "3"] ]
[1,3]

Использование mapMaybe f x является сокращением для catMaybes $ map f x в большинстве случаев:

>>> import GHC.Internal.Text.Read ( readMaybe )
>>> let readMaybeInt = readMaybe :: String -> Maybe Int
>>> mapMaybe readMaybeInt ["1", "Foo", "3"]
[1,3]
>>> catMaybes $ map readMaybeInt ["1", "Foo", "3"]
[1,3]

Если мы применяем конструктор Just, весь список должен быть возвращён:

>>> mapMaybe Just [1,2,3]
[1,2,3]