| Copyright | (c) Edward Kmett 2009-2011 |
|---|---|
| License | BSD-style |
| Maintainer | ekmett@gmail.com |
| Stability | experimental |
| Portability | non-portable (MPTCs) |
| Safe Haskell | Trustworthy |
| Language | Haskell98 |
Data.Semigroup.Reducer.With
Description
- 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.
Constructors
| WithReducer | |
Fields
| |
Instances
| (Monoid m, Reducer c m) => Measured m (WithReducer m c) | |
| Functor (WithReducer m) | |
| Foldable (WithReducer m) | |
| Traversable (WithReducer m) | |
| Traversable1 (WithReducer m) | |
| Foldable1 (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 |