Module Data.Maybe

This package simply re-exports what is required by Haskell 2010

Imports

• import frege.Prelude as Prelude
• import Prelude.PreludeArrays as PreludeArrays
• import Prelude.PreludeBase as PreludeBase
• import Prelude.PreludeDecimal as PreludeDecimal
• import Prelude.PreludeIO as PreludeIO
• import Prelude.PreludeList as PreludeList
• import Prelude.PreludeMonad as PreludeMonad
• import Prelude.PreludeText as PreludeText
• import Java.util.Regex as Regexp

Table of Content

• Re-Exported Items

  data Maybe a

  Just a

  Nothing

  catMaybes ∷ ListSource 𝖇 ⇒ 𝖇 (Maybe 𝖆) → [𝖆]

  unJust ∷ Maybe 𝖆 → 𝖆

  fromMaybe ∷ 𝖆 → Maybe 𝖆 → 𝖆

  isJust ∷ Maybe 𝖆 → Bool

  isNothing ∷ Maybe 𝖆 → Bool

  listToMaybe ∷ ListSource 𝖇 ⇒ 𝖇 𝖆 → Maybe 𝖆

  mapMaybe ∷ (𝖇→Maybe 𝖆) → [𝖇] → [𝖆]

  maybe ∷ 𝖆 → (𝖇→𝖆) → Maybe 𝖇 → 𝖆

  maybeToList ∷ Maybe a → [a]

Definitions