Modulereducers-3.12.5Haskell2010

Data.Semigroup.Generator

A Generator1 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.

Generator1 is to Generator as Foldable1 is to Foldable.

Contents

Generators
Combinators

Synopsis

class Generator1
value reduce1
value mapReduceWith1
value reduceWith1

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

Generators

classclass Generator c => Generator1 c where

Source#

minimal definition mapReduce1 or mapTo1

Methods

mapReduce1 :: Reducer e m => (Elem c -> e) -> c -> m
mapTo1 :: Reducer e m => (Elem c -> e) -> m -> c -> m
mapFrom1 :: Reducer e m => (Elem c -> e) -> c -> m -> m

Instances1Generator1

Generator1 (NonEmpty e)Defined in reducers-3.12.5 · Data.Semigroup.Generator

Combinators

valuereduce1 :: (Generator1 c, Reducer (Elem c) m) => c -> m

Source#

Apply a Reducer directly to the elements of a Generator

valuemapReduceWith1

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

valuereduceWith1 :: (Generator1 c, Reducer (Elem c) m) => (m -> n) -> c -> n