Portability | non-portable (MPTCs) |
---|---|

Stability | experimental |

Maintainer | ekmett@gmail.com |

Safe Haskell | None |

- newtype WithReducer m c = WithReducer {
- withoutReducer :: c

# Documentation

newtype WithReducer m c Source

If `m`

is a `c`

-Reducer, then m is `(c `

-Reducer
This can be used to quickly select a Reducer for use as a `WithReducer`

m)`FingerTree`

`measure`

.

(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 |