ref: ef3d5eb28f6145d1a860901c9abe3fe0f18b777f
dir: /lib/Data/Maybe.hs/
-- Copyright 2023 Lennart Augustsson -- See LICENSE file for full license. module Data.Maybe(module Data.Maybe) where data Maybe a = Nothing | Just a maybe :: forall a r . r -> (a -> r) -> Maybe a -> r maybe r _ Nothing = r maybe _ f (Just a) = f a fromMaybe :: forall a . a -> Maybe a -> a fromMaybe a Nothing = a fromMaybe _ (Just a) = a fmapMaybe :: forall a b . (a -> b) -> Maybe a -> Maybe b fmapMaybe _ Nothing = Nothing fmapMaybe f (Just a) = Just (f a) catMaybes :: forall a . [Maybe a] -> [a] catMaybes mxs = [ x | Just x <- mxs ]