 | monoids-0.1.36: Monoids, specialized containers and a general map/reduce framework | Source code | Contents | Index |
| Data.Generator |
|
| Contents |
A Generator c is a possibly-specialized container, which contains values of type Elem c, and which knows how to efficiently apply a Reducer to extract an answer.
Since a Generator is not polymorphic in its contents, it is more specialized than Data.Foldable.Foldable, and a Reducer may supply efficient left-to-right and right-to-left reduction strategies that a Generator may avail itself of.
| module Data.Monoid.Reducer | ||||
| class Generator c where | ||||
| ||||
newtype Keys c = Keys {
| ||||
newtype Values c = Values {
| ||||
newtype Char8 c = Char8 {
| ||||
| reduce :: (Generator c, Reducer (Elem c) m) => c -> m | ||||
| mapReduceWith :: (Generator c, Reducer e m) => (m -> n) -> (Elem c -> e) -> c -> n | ||||
| reduceWith :: (Generator c, Reducer (Elem c) m) => (m -> n) -> c -> n |
| class Generator c where | Source |
| minimal definition mapReduce or mapTo | |||||||||||
| Associated Types | |||||||||||
| |||||||||||
| Methods | |||||||||||
| |||||||||||
 Instances | |||||||||||
|
| newtype Keys c | Source |
| a Generator transformer that asks only for the keys of an indexed container | ||||||
| Constructors | ||||||
| ||||||
| newtype Values c | Source |
| a Generator transformer that asks only for the values contained in an indexed container | ||||||
| Constructors | ||||||
| ||||||
| newtype Char8 c | Source |
| a Generator transformer that treats Word8 as Char This lets you use a ByteString as a Char source without going through a Monoid transformer like UTF8 | ||||||
| Constructors | ||||||
| ||||||
| Instances | ||||||
| reduce :: (Generator c, Reducer (Elem c) m) => c -> m | Source |
| mapReduceWith :: (Generator c, Reducer e m) => (m -> n) -> (Elem c -> e) -> c -> n | Source |
| reduceWith :: (Generator c, Reducer (Elem c) m) => (m -> n) -> c -> n | Source |