Control.Monad.Yield.Aggregation

Documentation

data Aggregation m a b

An effectful stream consumer

The type parameter x represents the consumer's internal state.

Constructors

forall x. Aggregation

Fields

• begin :: m x

  Produce the initial state

• step :: x -> a -> m x

  Consume one item from the stream

• done :: x -> m b

  Produce the final result

Instances

Functor m => Functor (Aggregation m a)

Defined in Control.Monad.Yield.Aggregation

Methods

fmap :: (a0 -> b) -> Aggregation m a a0 -> Aggregation m a b

(<$) :: a0 -> Aggregation m a b -> Aggregation m a a0

noAggregation :: Applicative m => Aggregation m a ()

seqAggregation :: Applicative m => Aggregation m a (Seq a)

listAggregation :: Applicative m => Aggregation m a [a]