while package:monad-loops

whileJust :: Monad m => m (Maybe a) -> (a -> m b) -> m [b]
monad-loops Control.Monad.Loops
As long as the supplied Maybe expression returns "Just _", the loop body will be called and passed the value contained in the Just. Results are collected into a list.
whileJust' :: (Monad m, MonadPlus f) => m (Maybe a) -> (a -> m b) -> m (f b)
monad-loops Control.Monad.Loops
As long as the supplied Maybe expression returns "Just _", the loop body will be called and passed the value contained in the Just. Results are collected into an arbitrary MonadPlus container.
whileJust_ :: Monad m => m (Maybe a) -> (a -> m b) -> m ()
monad-loops Control.Monad.Loops
As long as the supplied Maybe expression returns "Just _", the loop body will be called and passed the value contained in the Just. Results are discarded.
whileM :: Monad m => m Bool -> m a -> m [a]
monad-loops Control.Monad.Loops
Execute an action repeatedly as long as the given boolean expression returns True. The condition is evaluated before the loop body. Collects the results into a list.
whileM' :: (Monad m, MonadPlus f) => m Bool -> m a -> m (f a)
monad-loops Control.Monad.Loops
Execute an action repeatedly as long as the given boolean expression returns True. The condition is evaluated before the loop body. Collects the results into an arbitrary MonadPlus value.
whileM_ :: Monad m => m Bool -> m a -> m ()
monad-loops Control.Monad.Loops
Execute an action repeatedly as long as the given boolean expression returns True. The condition is evaluated before the loop body. Discards results.
dropWhileM :: Monad m => (a -> m Bool) -> [a] -> m [a]
monad-loops Control.Monad.Loops
Monadic dropWhile.
iterateWhile :: Monad m => (a -> Bool) -> m a -> m a
monad-loops Control.Monad.Loops
Execute an action repeatedly until its result fails to satisfy a predicate, and return that result (discarding all others).
takeWhileM :: Monad m => (a -> m Bool) -> [a] -> m [a]
monad-loops Control.Monad.Loops
Monadic takeWhile.
unfoldWhileM :: Monad m => (a -> Bool) -> m a -> m [a]
monad-loops Control.Monad.Loops
Repeatedly evaluates the second argument until the value satisfies the given predicate, and returns a list of all values that satisfied the predicate. Discards the final one (which failed the predicate).
unfoldWhileM' :: (Monad m, MonadPlus f) => (a -> Bool) -> m a -> m (f a)
monad-loops Control.Monad.Loops
Repeatedly evaluates the second argument until the value satisfies the given predicate, and returns a MonadPlus collection of all values that satisfied the predicate. Discards the final one (which failed the predicate).