|
|
|
|
| Synopsis |
|
|
|
| Documentation |
|
| module Data.Maybe |
|
| data MaybeErr err val |
| Constructors | | Instances | |
|
|
| failME :: err -> MaybeErr err val |
|
| isSuccess :: MaybeErr err val -> Bool |
|
| fmapM_maybe :: Monad m => (a -> m b) -> Maybe a -> m (Maybe b) |
|
| orElse :: Maybe a -> a -> a |
|
| mapCatMaybes :: (a -> Maybe b) -> [a] -> [b] |
|
| allMaybes :: [Maybe a] -> Maybe [a] |
| Collects a list of Justs into a single Just, returning Nothing if
there are any Nothings.
|
|
| firstJust :: [Maybe a] -> Maybe a |
| Takes a list of Maybes and returns the first Just if there is one, or
Nothing otherwise.
|
|
| expectJust :: String -> Maybe a -> a |
|
| maybeToBool :: Maybe a -> Bool |
|
| newtype MaybeT m a |
| Constructors | | Instances | |
|
|
| Produced by Haddock version 2.7.2 |