Data.Maybe

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

>>> maybe False odd (Just 3)
True

>>> maybe False odd Nothing
False

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

>>> import 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 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 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 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 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]