Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- replicateM :: MonadUnliftIO m => Int -> m a -> m [a]
- sequenceM :: MonadUnliftIO m => [m a] -> m [a]
- traverseM :: MonadUnliftIO m => (a -> m b) -> [a] -> m [b]
- traverseStateM :: MonadUnliftIO m => s -> (s -> a -> m (s, b)) -> [a] -> m [b]
- forM :: MonadUnliftIO m => [a] -> (a -> m b) -> m [b]
- forStateM :: MonadUnliftIO m => s -> [a] -> (s -> a -> m (s, b)) -> m [b]
Documentation
replicateM :: MonadUnliftIO m => Int -> m a -> m [a] Source #
sequenceM :: MonadUnliftIO m => [m a] -> m [a] Source #
traverseM :: MonadUnliftIO m => (a -> m b) -> [a] -> m [b] Source #
Traverses the function over the list and produces a lazy list in a monadic context.
It is intended to be like the "standard" traverse
except
that the list is generated lazily.
traverseStateM :: MonadUnliftIO m => s -> (s -> a -> m (s, b)) -> [a] -> m [b] Source #
forM :: MonadUnliftIO m => [a] -> (a -> m b) -> m [b] Source #
forStateM :: MonadUnliftIO m => s -> [a] -> (s -> a -> m (s, b)) -> m [b] Source #