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)

(Functor (WithReducer m), Foldable (WithReducer m)) => Traversable (WithReducer m)

(Foldable1 (WithReducer m), Traversable (WithReducer m)) => Traversable1 (WithReducer m)

Foldable (WithReducer m) => Foldable1 (WithReducer m)

Eq c => Eq (WithReducer m 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)

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