1 {-# OPTIONS -fno-implicit-prelude #-}
2 -----------------------------------------------------------------------------
5 -- Copyright : (c) The University of Glasgow 2001
6 -- License : BSD-style (see the file libraries/core/LICENSE)
8 -- Maintainer : libraries@haskell.org
9 -- Stability : experimental
10 -- Portability : portable
12 -- $Id: Maybe.hs,v 1.2 2001/07/03 11:37:50 simonmar Exp $
14 -- The Maybe type, and associated operations.
16 -----------------------------------------------------------------------------
20 Maybe(Nothing,Just)-- instance of: Eq, Ord, Show, Read,
21 -- Functor, Monad, MonadPlus
23 , maybe -- :: b -> (a -> b) -> Maybe a -> b
25 , isJust -- :: Maybe a -> Bool
26 , isNothing -- :: Maybe a -> Bool
27 , fromJust -- :: Maybe a -> a
28 , fromMaybe -- :: a -> Maybe a -> a
29 , listToMaybe -- :: [a] -> Maybe a
30 , maybeToList -- :: Maybe a -> [a]
31 , catMaybes -- :: [Maybe a] -> [a]
32 , mapMaybe -- :: (a -> Maybe b) -> [a] -> [b]
35 #ifdef __GLASGOW_HASKELL__
36 import GHC.Err ( error )
42 isJust :: Maybe a -> Bool
43 isJust Nothing = False
46 isNothing :: Maybe a -> Bool
47 isNothing Nothing = True
50 fromJust :: Maybe a -> a
51 fromJust Nothing = error "Maybe.fromJust: Nothing" -- yuck
54 fromMaybe :: a -> Maybe a -> a
55 fromMaybe d x = case x of {Nothing -> d;Just v -> v}
57 maybeToList :: Maybe a -> [a]
58 maybeToList Nothing = []
59 maybeToList (Just x) = [x]
61 listToMaybe :: [a] -> Maybe a
62 listToMaybe [] = Nothing
63 listToMaybe (a:_) = Just a
65 catMaybes :: [Maybe a] -> [a]
66 catMaybes ls = [x | Just x <- ls]
68 mapMaybe :: (a -> Maybe b) -> [a] -> [b]
71 let rs = mapMaybe f xs in