Documentation

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

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

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

applyFirstM :: Monad m => (a -> m a) -> m (a, b) -> m (a, b) Source #

withGuard :: (Monad m, Alternative m) => (a -> Bool) -> m a -> m a Source #

mWhen :: Monoid m => Bool -> m -> m Source #