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]