foldM package:conduit

foldM :: Monad m => (b -> a -> m b) -> b -> ConduitT a o m b

A monadic strict left fold. Subject to fusion

foldMC :: Monad m => (a -> b -> m a) -> a -> ConduitT b o m a

A monadic strict left fold. Subject to fusion Since 0.3.0

foldMCE :: (Monad m, MonoFoldable mono) => (a -> Element mono -> m a) -> a -> ConduitT mono o m a

A monadic strict left fold.

foldMapC :: (Monad m, Monoid b) => (a -> b) -> ConduitT a o m b

A monadic strict left fold on a chunked stream.

foldMapCE :: (Monad m, MonoFoldable mono, Monoid w) => (Element mono -> w) -> ConduitT mono o m w

Apply the provided mapping function and monoidal combine all values.

foldMapMC :: (Monad m, Monoid w) => (a -> m w) -> ConduitT a o m w

Apply the provided mapping function and monoidal combine all elements of the chunked stream.

foldMapMCE :: (Monad m, MonoFoldable mono, Monoid w) => (Element mono -> m w) -> ConduitT mono o m w

Apply the provided monadic mapping function and monoidal combine all values.

foldME :: (Monad m, MonoFoldable mono) => (a -> Element mono -> m a) -> a -> ConduitT mono o m a

Apply the provided monadic mapping function and monoidal combine all elements in the chunked stream.

foldMap :: (Monad m, Monoid b) => (a -> b) -> ConduitT a o m b

A monadic strict left fold on a chunked stream. Subject to fusion

foldMapE :: (Monad m, MonoFoldable mono, Monoid w) => (Element mono -> w) -> ConduitT mono o m w

Apply the provided mapping function and monoidal combine all values. Subject to fusion

foldMapM :: (Monad m, Monoid w) => (a -> m w) -> ConduitT a o m w

Apply the provided mapping function and monoidal combine all elements of the chunked stream. Subject to fusion

foldMapME :: (Monad m, MonoFoldable mono, Monoid w) => (Element mono -> m w) -> ConduitT mono o m w

Apply the provided monadic mapping function and monoidal combine all values. Subject to fusion

foldMS :: Monad m => (b -> a -> m b) -> b -> StreamConsumer a m b

Apply the provided monadic mapping function and monoidal combine all elements in the chunked stream. Subject to fusion

conduit Data.Conduit.Internal.List.Stream

foldMap :: (Monad m, Monoid b) => (a -> b) -> ConduitT a o m b

foldMapM :: (Monad m, Monoid b) => (a -> m b) -> ConduitT a o m b

A monoidal strict left fold. Subject to fusion Since 0.5.3

unfoldMS :: Monad m => (b -> m (Maybe (a, b))) -> b -> StreamProducer m a

A monoidal strict left fold in a Monad. Since 1.0.8

conduit Data.Conduit.Internal.List.Stream

unfoldM :: Monad m => (b -> m (Maybe (a, b))) -> b -> ConduitT i a m ()