Data.Semigroup.Reducer.With

Documentation

newtype WithReducer m c

If m is a c-Reducer, then m is (c WithReducer m)-Reducer This can be used to quickly select a Reducer for use as a FingerTree measure.

Constructors

WithReducer

Fields

withoutReducer :: c

Instances

(Monoid m, Reducer c m) => Measured m (WithReducer m c)

Functor (WithReducer m)

Foldable (WithReducer m)

Traversable (WithReducer m)

Foldable1 (WithReducer m)

Traversable1 (WithReducer m)

Eq c => Eq (WithReducer m c)

Ord c => Ord (WithReducer m c)

Read c => Read (WithReducer m c)

Show c => Show (WithReducer m c)

Hashable c => Hashable (WithReducer m c)

Reducer c m => Reducer (WithReducer m c) m