| Safe Haskell | Safe-Inferred |
|---|
Control.Monad.HT
- (<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c
- repeat :: Monad m => m a -> m [a]
- until :: Monad m => (a -> Bool) -> m a -> m a
- untilM :: Monad m => (a -> Bool) -> m a -> m a
- iterateLimit :: Monad m => Int -> (a -> m a) -> a -> m [a]
- iterateLimitM :: 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
- void :: Monad m => m a -> m ()
- for :: Monad m => [a] -> (a -> m b) -> m [b]
- map :: Monad m => (a -> m b) -> [a] -> m [b]
- zipWith :: Monad m => (a -> b -> m c) -> [a] -> [b] -> m [c]
- filter :: Monad m => (a -> m Bool) -> [a] -> m [a]
- replicate :: Monad m => Int -> m a -> m [a]
- lift :: Monad m => (a -> r) -> m a -> m r
- lift2 :: Monad m => (a -> b -> r) -> m a -> m b -> m r
- lift3 :: Monad m => (a -> b -> c -> r) -> m a -> m b -> m c -> m r
- lift4 :: Monad m => (a -> b -> c -> d -> r) -> m a -> m b -> m c -> m d -> m r
- lift5 :: Monad m => (a -> b -> c -> d -> e -> r) -> m a -> m b -> m c -> m d -> m e -> m r
Documentation
(<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m cSource
Also present in newer versions of the base package.
untilM :: Monad m => (a -> Bool) -> m a -> m aSource
Deprecated: use M.until
repeat action until result fulfills condition
iterateLimit :: Monad m => Int -> (a -> m a) -> a -> m [a]Source
parameter order equal to that of nest
iterateLimitM :: Monad m => Int -> (a -> m a) -> a -> m [a]Source
Deprecated: use M.iterateLimit
parameter order equal to that of nest
andLazy :: Monad m => m Bool -> m Bool -> m BoolSource
Lazy monadic conjunction.
That is, when the first action returns False,
then False is immediately returned, without running the second action.