Modulehw-prim-0.6.3.2Haskell2010

HaskellWorks.Control.Monad.Lazy

valueinterleaveSequenceIO :: [IO a] -> IO [a]

valueinterleaveSequenceM :: MonadUnliftIO m => [m a] -> m [a]

valueinterleaveUnfoldrM

Generates a lazy list of values that are produced by a given monadic function.

This function is intended to be like the "standard" unfoldrM except that the list is generated lazily.

valueinterleaveTraverseM :: MonadUnliftIO m => (a -> m b) -> [a] -> m [b]

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.

valueinterleaveForM :: MonadUnliftIO m => [a] -> (a -> m b) -> m [b]

valueforceM :: (Monad m, NFData a) => m a -> m a