Modulereducers-3.12.5Haskell2010

Data.Generator.Combinators

Utilities for working with Monoids that conflict with names from the Prelude, Data.Foldable, Control.Monad or elsewhere. Intended to be imported qualified.

import Data.Generator.Combinators as Generator

20 values

Packagereducers-3.12.5
Exports20
LanguageHaskell2010
LicenceBSD-3-Clause
SourceCombinators.hs

Monadic Reduction

3 declarations

valuemapM_ :: (Generator c, Monad m) => (Elem c -> m b) -> c -> m ()

Efficiently mapReduce a Generator using the Action monoid. A specialized version of its namesake from Data.Foldable and Control.Monad

   mapReduceWith getAction

valueforM_ :: (Generator c, Monad m) => c -> (Elem c -> m b) -> m ()

Convenience function as found in Data.Foldable and Control.Monad

    flip mapM_

valuemsum :: (Generator c, MonadPlus m, m a ~ Elem c) => c -> m a

The sum of a collection of actions, generalizing concat

    reduceWith getMonadSum

Applicative Reduction

3 declarations

valuetraverse_ :: (Generator c, Applicative f) => (Elem c -> f b) -> c -> f ()

Efficiently mapReduce a Generator using the Traversal monoid. A specialized version of its namesake from Data.Foldable

    mapReduce getTraversal

valuefor_ :: (Generator c, Applicative f) => c -> (Elem c -> f b) -> f ()

Convenience function as found in Data.Foldable

    flip traverse_

valueasum :: (Generator c, Alternative f, f a ~ Elem c) => c -> f a

The sum of a collection of actions, generalizing concat

   reduceWith getAlt

Logical Reduction

4 declarations

valueand :: (Generator c, Elem c ~ Bool) => c -> Bool

Efficiently reduce a Generator that contains values of type Bool

    reduceWith getAll

valueor :: (Generator c, Elem c ~ Bool) => c -> Bool

Efficiently reduce a Generator that contains values of type Bool

    reduceWith getAny

valueany :: Generator c => (Elem c -> Bool) -> c -> Bool

Efficiently mapReduce any Generator checking to see if any of its values match the supplied predicate

    mapReduceWith getAny

valueall :: Generator c => (Elem c -> Bool) -> c -> Bool

Efficiently mapReduce any Generator checking to see if all of its values match the supplied predicate

    mapReduceWith getAll

Monoidal Reduction

3 declarations

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

Efficiently mapReduce a Generator using the WrappedMonoid monoid. A specialized version of its namesake from Data.Foldable

    mapReduceWith unwrapMonoid

valuefold :: (Monoid m, Generator c, Elem c ~ m) => c -> m

Efficiently reduce a Generator using the WrappedMonoid monoid. A specialized version of its namesake from Data.Foldable

    reduceWith unwrapMonoid

valuetoList :: Generator c => c -> [Elem c]

Convert any Generator to a list of its contents. Specialization of reduce

List-Like Reduction

7 declarations

valueconcatMap :: Generator c => (Elem c -> [b]) -> c -> [b]

Type specialization of "foldMap" above

valueelem :: (Generator c, Eq (Elem c)) => Elem c -> c -> Bool

Check to see if any member of the Generator matches the supplied value

valuefilter

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

Efficiently mapReduce a subset of the elements in a Generator

valuefilterWith

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

Allows idiomatic specialization of filter by proving a function that will be used to transform the output

valuesum :: (Generator c, Num (Elem c)) => c -> Elem c

Efficiently sum over the members of any Generator

    reduceWith getSum

valueproduct :: (Generator c, Num (Elem c)) => c -> Elem c

Efficiently take the product of every member of a Generator

    reduceWith getProduct

valuenotElem :: (Generator c, Eq (Elem c)) => Elem c -> c -> Bool

Check to make sure that the supplied value is not a member of the Generator