foldM package:foldl

foldM :: (Foldable f, Monad m) => FoldM m a b -> f a -> m b

Like fold, but monadic

foldM :: Monad m => FoldM m ByteString a -> ByteString -> m a

Apply a strict monadic left FoldM to a lazy bytestring

foldM :: Monad m => FoldM m Text a -> Text -> m a

Apply a strict monadic left FoldM to lazy text

data FoldM m a b

Like Fold, but monadic. A 'FoldM m a b' processes elements of type a and results in a monadic value of type m b.

FoldM :: (x -> a -> m x) -> m x -> (x -> m b) -> FoldM m a b

FoldM step initial extract

Convert a "foldMap" to a Fold