ghc-7.8.4: The GHC API

Safe HaskellSafe-Inferred
LanguageHaskell98

Maybes

Synopsis

Documentation

module Data.Maybe

data MaybeErr err val Source

Constructors

Succeeded val 
Failed err 

Instances

failME :: err -> MaybeErr err val Source

orElse :: Maybe a -> a -> a infixr 4 Source

flipped version of fromMaybe.

mapCatMaybes :: (a -> Maybe b) -> [a] -> [b] Source

allMaybes :: [Maybe a] -> Maybe [a] Source

Collects a list of Justs into a single Just, returning Nothing if there are any Nothings.

firstJusts :: [Maybe a] -> Maybe a Source

Takes a list of Maybes and returns the first Just if there is one, or Nothing otherwise.

whenIsJust :: Monad m => Maybe a -> (a -> m ()) -> m () Source

newtype MaybeT m a Source

Constructors

MaybeT 

Fields

runMaybeT :: m (Maybe a)
 

Instances

Monad m => Monad (MaybeT m) 
Functor m => Functor (MaybeT m) 
(Monad m, Functor m) => Applicative (MaybeT m)