:: Monad m => (a -> m Bool) -> [a] -> m (Maybe a) -package:xmonad-contrib

findM :: Monad m => (a -> m Bool) -> [a] -> m (Maybe a)

extra Control.Monad.Extra Extra, distribution-opensuse OpenSuse.Prelude

Like find, but where the test can be monadic.

findM (Just . isUpper) "teST"             == Just (Just 'S')
findM (Just . isUpper) "test"             == Just Nothing
findM (Just . const True) ["x",undefined] == Just (Just "x")

firstM :: Monad m => (a -> m Bool) -> [a] -> m (Maybe a)

monad-loops Control.Monad.Loops

return the first value from a list, if any, satisfying the given predicate.

findM :: Monad m => (a -> m Bool) -> [a] -> m (Maybe a)

status-notifier-item StatusNotifier.Util

findM :: (Foldable f, Monad m) => (a -> m Bool) -> f a -> m (Maybe a)

extra Data.Foldable.Extra

A generalization of findM to Foldable instances.

minimumOnM :: (Monad m, Ord b) => (a -> m b) -> [a] -> m (Maybe a)

monad-loops Control.Monad.Loops

maximumOnM :: (Monad m, Ord b) => (a -> m b) -> [a] -> m (Maybe a)

monad-loops Control.Monad.Loops

filterMP :: (Monad m, MonadPlus p) => (a -> m Bool) -> [a] -> m (p a)

monadlist Control.Monad.ListM

takeWhileM :: (Monad m, MonadPlus p) => (a -> m Bool) -> [a] -> m (p a)

monadlist Control.Monad.ListM

findM :: (Monad m, MonadPlus p) => (a -> m Bool) -> [a] -> m (p a)

monadlist Control.Monad.ListM