- (<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c
- repeat :: Monad m => m a -> m [a]
- untilM :: Monad m => (a -> Bool) -> m a -> m a
- until :: Monad m => (a -> Bool) -> m a -> m a
- iterateLimitM :: Monad m => Int -> (a -> m a) -> a -> m [a]
- iterateLimit :: Monad m => Int -> (a -> m a) -> a -> m [a]
- andLazy :: Monad m => m Bool -> m Bool -> m Bool
- orLazy :: Monad m => m Bool -> m Bool -> m Bool
Documentation
(<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m cSource
Also present in newer versions of the base
package.
iterateLimitM :: Monad m => Int -> (a -> m a) -> a -> m [a]Source
parameter order equal to that of nest
iterateLimit :: Monad m => Int -> (a -> m a) -> a -> m [a]Source