Maybe -containers -base

module Control.Monad.Trans.Maybe
transformers Control.Monad.Trans.Maybe
The MaybeT monad transformer adds the ability to fail to a monad. A sequence of actions succeeds, producing a value, only if all the actions in the sequence are successful. If one fails, the rest of the sequence is skipped and the composite action fails. For a variant allowing a range of error values, see Control.Monad.Trans.Error.
MaybeT :: m (Maybe a) -> MaybeT m a
transformers Control.Monad.Trans.Maybe
newtype MaybeT m a
transformers Control.Monad.Trans.Maybe
The parameterizable maybe monad, obtained by composing an arbitrary monad with the Maybe monad. Computations are actions that may produce a value or fail. The return function yields a successful computation, while >>= sequences two subcomputations, failing on the first error.
package MaybeT
Support for computations with failures. Version 0.1.2
package MaybeT-monads-tf
Support for computations with failures. This is a fork of the MaybeT package by Eric Kidd, but compatible with the type-family based monad classes of the monads-tf package. This package is deprecated: the MaybeT transformer exists in the transformers package nowadays, and the only advantage this package provides over that one is the presence of a MonadFix instance, but it's incorrect anyway. Version
package MaybeT-transformers
Support for computations with failures. This package is a fork from the MaybeT package by Eric Kidd, changed to depend on transformers instead of mtl. It also adds a few more utility functions. Version 0.2
package maybench
Maybench is a tool for comparing the performance between two versions of the same program, on a series of benchmarks that you design. Maybench aims to be easy to use, almost as easy as running "time your-program arg1..arg2". Ideally, it should be a simple matter for outsiders to write timing tests for your programming project and contribute them as part of your performance testing suite. The Darcs repository is available at Version
maybeRead :: Read a => String -> Maybe a
cgi Network.CGI.Protocol
mapMaybeT :: (m (Maybe a) -> n (Maybe b)) -> MaybeT m a -> MaybeT n b
transformers Control.Monad.Trans.Maybe
Transform the computation inside a MaybeT. *  (mapMaybeT f m) = f (runMaybeT >  
optionMaybe :: Stream s m t => ParsecT s u m a -> ParsecT s u m (Maybe a)
parsec Text.Parsec.Combinator, parsec Text.ParserCombinators.Parsec.Combinator
optionMaybe p tries to apply parser p. If p fails without consuming input, it return Nothing, otherwise it returns Just the value returned by p.
pprMaybeExp :: Precedence -> Maybe Exp -> Doc
template-haskell Language.Haskell.TH.Ppr
runMaybeT :: MaybeT m a -> m (Maybe a)
transformers Control.Monad.Trans.Maybe
suchThatMaybe :: Gen a -> (a -> Bool) -> Gen (Maybe a)
QuickCheck Test.QuickCheck.Gen, QuickCheck Test.QuickCheck
Tries to generate a value that satisfies a predicate.
threadMaybe :: (i -> r -> a) -> Split t i r -> SplitM t j i -> SplitM t j a
fgl Data.Graph.Inductive.Internal.Thread
threadMaybe' :: (r -> a) -> Split t i r -> Split t j (Maybe i) -> Split t j (Maybe a)
fgl Data.Graph.Inductive.Internal.Thread