Modulereducers-3.12.5Haskell2010

Data.Generator

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.

3 types
1 class
3 values

Packagereducers-3.12.5
Exports7
LanguageHaskell2010
LicenceBSD-3-Clause
SourceGenerator.hs

Generators

1 declaration

classclass Generator c where

minimal definition mapReduce or mapTo

Associated types

type family Elem c

Methods

mapReduce :: (Reducer e m, Monoid m) => (Elem c -> e) -> c -> m
mapTo :: (Reducer e m, Monoid m) => (Elem c -> e) -> m -> c -> m
mapFrom :: (Reducer e m, Monoid m) => (Elem c -> e) -> c -> m -> m

Instances22Generator, …

Generator ByteStringDefined in reducers-3.12.5 · Data.Generator
Generator ByteStringDefined in reducers-3.12.5 · Data.Generator
Generator IntSetDefined in reducers-3.12.5 · Data.Generator
Generator TextDefined in reducers-3.12.5 · Data.Generator
Ix i => Generator (Keys (Array i e))Defined in reducers-3.12.5 · Data.Generator
Generator (IntMap v)Defined in reducers-3.12.5 · Data.Generator
Generator (Seq c)Defined in reducers-3.12.5 · Data.Generator
Generator (Set a)Defined in reducers-3.12.5 · Data.Generator
Generator (NonEmpty c)Defined in reducers-3.12.5 · Data.Generator
Generator (Char8 ByteString)Defined in reducers-3.12.5 · Data.Generator
Generator (Char8 ByteString)Defined in reducers-3.12.5 · Data.Generator
Generator (Keys (IntMap v))Defined in reducers-3.12.5 · Data.Generator
Generator (Keys (Map k v))Defined in reducers-3.12.5 · Data.Generator
Generator (Values (IntMap v))Defined in reducers-3.12.5 · Data.Generator
Generator (Values (Map k v))Defined in reducers-3.12.5 · Data.Generator
Generator (Values (Array i e))Defined in reducers-3.12.5 · Data.Generator
Generator (HashSet a)Defined in reducers-3.12.5 · Data.Generator
Generator [c]Defined in reducers-3.12.5 · Data.Generator
Ix i => Generator (Array i e)Defined in reducers-3.12.5 · Data.Generator
Generator (Map k v)Defined in reducers-3.12.5 · Data.Generator
Generator (FingerTree v e)Defined in reducers-3.12.5 · Data.Generator
Generator (HashMap k v)Defined in reducers-3.12.5 · Data.Generator

Generator Transformers

3 declarations

newtypenewtype Keys c

a Generator transformer that asks only for the keys of an indexed container

Constructors

Keys
- getKeys :: c

Instances6Generator, Elem

Ix i => Generator (Keys (Array i e))Defined in reducers-3.12.5 · Data.Generator
Generator (Keys (IntMap v))Defined in reducers-3.12.5 · Data.Generator
Generator (Keys (Map k v))Defined in reducers-3.12.5 · Data.Generator
type Elem (Keys (IntMap v)) = IntDefined in reducers-3.12.5 · Data.Generator
type Elem (Keys (Map k v)) = kDefined in reducers-3.12.5 · Data.Generator
type Elem (Keys (Array i e)) = iDefined in reducers-3.12.5 · Data.Generator

newtypenewtype Values c

a Generator transformer that asks only for the values contained in an indexed container

Constructors

Values
- getValues :: c

Instances6Generator, Elem

Generator (Values (IntMap v))Defined in reducers-3.12.5 · Data.Generator
Generator (Values (Map k v))Defined in reducers-3.12.5 · Data.Generator
Generator (Values (Array i e))Defined in reducers-3.12.5 · Data.Generator
type Elem (Values (IntMap v)) = vDefined in reducers-3.12.5 · Data.Generator
type Elem (Values (Map k v)) = vDefined in reducers-3.12.5 · Data.Generator
type Elem (Values (Array i e)) = eDefined in reducers-3.12.5 · Data.Generator

newtypenewtype Char8 c

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

Char8
- getChar8 :: c

Instances4Generator, Elem

Generator (Char8 ByteString)Defined in reducers-3.12.5 · Data.Generator
Generator (Char8 ByteString)Defined in reducers-3.12.5 · Data.Generator
type Elem (Char8 ByteString) = CharDefined in reducers-3.12.5 · Data.Generator
type Elem (Char8 ByteString) = CharDefined in reducers-3.12.5 · Data.Generator

Combinators

3 declarations

valuereduce :: (Generator c, Reducer (Elem c) m, Monoid m) => c -> m

Apply a Reducer directly to the elements of a Generator

valuemapReduceWith

:: (Generator c, Reducer e m, Monoid m)
=> m -> n
-> Elem c -> e
-> c
-> n

valuereduceWith

:: (Generator c, Reducer (Elem c) m, Monoid m)
=> m -> n
-> c
-> n