Safe Haskell	Safe-Inferred
Language	Haskell98

Fay.Control.Monad.Extra

Description

Extra monadic functions.

Synopsis

Documentation

bind :: Monad m => (a -> m b) -> m a -> m b Source

Word version of flip (>>=).

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

When the value is Just.

just :: Functor m => m a -> m (Maybe a) Source

Wrap up a form in a Maybe.

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

Flip of mapMaybe.

maybeM :: Monad m => a -> (a1 -> m a) -> Maybe a1 -> m a Source

Monadic version of maybe.

anyM :: Monad m => (a -> m Bool) -> [a] -> m Bool Source

Do any of the (monadic) predicates match?