Copyright | (c) Edward Kmett 2009-2011 |
---|---|

License | BSD-style |

Maintainer | ekmett@gmail.com |

Stability | experimental |

Portability | non-portable (MPTCs) |

Safe Haskell | Safe |

Language | Haskell98 |

- 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) Source | |

Functor (WithReducer m) Source | |

Foldable (WithReducer m) Source | |

Traversable (WithReducer m) Source | |

Foldable1 (WithReducer m) Source | |

Traversable1 (WithReducer m) Source | |

Eq c => Eq (WithReducer m c) Source | |

Ord c => Ord (WithReducer m c) Source | |

Read c => Read (WithReducer m c) Source | |

Show c => Show (WithReducer m c) Source | |

Hashable c => Hashable (WithReducer m c) Source | |

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