Data.Accumulator

Accumulators, primarily useful for Polyvariadic

Documentation

class Accumulator acc x where

An 'Accumulator c i' supports accumulation of elements of type i in it. This is different from Semigroup or Monoid, where <> acts between two values with the same type.

Minimal complete definition

accumulate

Methods

accumulate

Arguments

:: x

-> acc

-> acc

Accumulate a value

Instances

Accumulator [a] a

Methods

accumulate :: a -> [a] -> [a]

Ord a => Accumulator (Set a) a

Methods

accumulate :: a -> Set a -> Set a

Semigroup m => Accumulator (AccumulatorSemigroup m) (AccumulatorSemigroup m)

Methods

accumulate :: AccumulatorSemigroup m -> AccumulatorSemigroup m -> AccumulatorSemigroup m

singleton :: (Accumulator acc x, Monoid acc) => x -> acc

Accumulate a single value in a Monoid

accumulateMany :: (Foldable f, Accumulator acc x) => f x -> acc -> acc

Strictly accumulate multiple values from a Foldable, from left to right

newtype AccumulatorSemigroup a

Lift a Semigroup into an Accumulator. This is a newtype because (<>) isn't always the ideal way of accumulating

Constructors

AccumulatorSemigroup

Fields

• getAccumulatorSemigroup :: a

Instances

Semigroup m => Semigroup (AccumulatorSemigroup m)

Methods

(<>) :: AccumulatorSemigroup m -> AccumulatorSemigroup m -> AccumulatorSemigroup m

sconcat :: NonEmpty (AccumulatorSemigroup m) -> AccumulatorSemigroup m

stimes :: Integral b => b -> AccumulatorSemigroup m -> AccumulatorSemigroup m

Semigroup m => Accumulator (AccumulatorSemigroup m) (AccumulatorSemigroup m)

Methods

accumulate :: AccumulatorSemigroup m -> AccumulatorSemigroup m -> AccumulatorSemigroup m