/usr/share/doc/libghc-reducers-doc/html/Data-Semigroup-Reducer.html is in libghc-reducers-doc 3.10.1.1-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Data.Semigroup.Reducer</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Data-Semigroup-Reducer.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-Semigroup-Reducer.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">reducers-3.10.1.1: Semigroups, specialized containers and a general map/reduce framework</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>non-portable (MPTCs)</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Maintainer</th><td>ekmett@gmail.com</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Data.Semigroup.Reducer</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>A <code>c</code>-<code><a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a></code> is a <code><a href="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a></code> with a canonical mapping from <code>c</code> to the Semigroup.
</p></div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">class</span> <a href="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a> m => <a href="#t:Reducer">Reducer</a> c m <span class="keyword">where</span><ul class="subs"><li><a href="#v:unit">unit</a> :: c -> m</li><li><a href="#v:snoc">snoc</a> :: m -> c -> m</li><li><a href="#v:cons">cons</a> :: c -> m -> m</li></ul></li><li class="src short"><a href="#v:foldMapReduce">foldMapReduce</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Foldable.html#t:Foldable">Foldable</a> f, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a> m, <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> e m) => (a -> e) -> f a -> m</li><li class="src short"><a href="#v:foldMapReduce1">foldMapReduce1</a> :: (<a href="/usr/share/doc/libghc-semigroupoids-doc/html/Data-Semigroup-Foldable.html#t:Foldable1">Foldable1</a> f, <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> e m) => (a -> e) -> f a -> m</li><li class="src short"><a href="#v:foldReduce">foldReduce</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Foldable.html#t:Foldable">Foldable</a> f, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a> m, <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> e m) => f e -> m</li><li class="src short"><a href="#v:foldReduce1">foldReduce1</a> :: (<a href="/usr/share/doc/libghc-semigroupoids-doc/html/Data-Semigroup-Foldable.html#t:Foldable1">Foldable1</a> f, <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> e m) => f e -> m</li><li class="src short"><a href="#v:pureUnit">pureUnit</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Applicative.html#t:Applicative">Applicative</a> f, <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> c n) => c -> f n</li><li class="src short"><a href="#v:returnUnit">returnUnit</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a> m, <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> c n) => c -> m n</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:Count">Count</a> = <a href="#v:Count">Count</a> {<ul class="subs"><li><a href="#v:getCount">getCount</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a></li></ul>}</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> <a href="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a> m => <a name="t:Reducer" class="def">Reducer</a> c m <span class="keyword">where</span><a href="src/Data-Semigroup-Reducer.html#Reducer" class="link">Source</a></p><div class="doc"><p>This type may be best read infix. A <code>c <code><a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a></code> m</code> is a <code><a href="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a></code> <code>m</code> that maps
values of type <code>c</code> through <code>unit</code> to values of type <code>m</code>. A <code>c</code>-<code><a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a></code> may also
supply operations which tack-on another <code>c</code> to an existing <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a></code> <code>m</code> on the left
or right. These specialized reductions may be more efficient in some scenarios
and are used when appropriate by a <code>Generator</code>. The names <code><a href="Data-Semigroup-Reducer.html#v:cons">cons</a></code> and <code><a href="Data-Semigroup-Reducer.html#v:snoc">snoc</a></code> work
by analogy to the synonymous operations in the list monoid.
</p><p>This class deliberately avoids functional-dependencies, so that () can be a <code>c</code>-Reducer
for all <code>c</code>, and so many common reducers can work over multiple types, for instance,
First and Last may reduce both <code>a</code> and <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a></code> <code>a</code>. Since a <code>Generator</code> has a fixed element
type, the input to the reducer is generally known and extracting from the monoid usually
is sufficient to fix the result type. Combinators are available for most scenarios where
this is not the case, and the few remaining cases can be handled by using an explicit
type annotation.
</p><p>Minimal definition: <code><a href="Data-Semigroup-Reducer.html#v:unit">unit</a></code>
</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:unit" class="def">unit</a> :: c -> m<a href="src/Data-Semigroup-Reducer.html#unit" class="link">Source</a></p><div class="doc"><p>Convert a value into a <code><a href="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a></code>
</p></div><p class="src"><a name="v:snoc" class="def">snoc</a> :: m -> c -> m<a href="src/Data-Semigroup-Reducer.html#snoc" class="link">Source</a></p><div class="doc"><p>Append a value to a <code><a href="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a></code> for use in left-to-right reduction
</p></div><p class="src"><a name="v:cons" class="def">cons</a> :: c -> m -> m<a href="src/Data-Semigroup-Reducer.html#cons" class="link">Source</a></p><div class="doc"><p>Prepend a value onto a <code><a href="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a></code> for use during right-to-left reduction
</p></div></div><div class="subs instances"><p id="control.i:Reducer" class="caption collapser" onclick="toggleSection('i:Reducer')">Instances</p><div id="section.i:Reducer" class="show"><table><tr><td class="src"><a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:All">All</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Any">Any</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-IntSet.html#t:IntSet">IntSet</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> c ()</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> a <a href="Data-Semigroup-Reducer.html#t:Count">Count</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a> m => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> m (<a href="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:WrappedMonoid">WrappedMonoid</a> m)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Ord.html#t:Ord">Ord</a> a => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> a (<a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Set.html#t:Set">Set</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> a (<a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Sequence.html#t:Seq">Seq</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> a (<a href="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Last">Last</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> a (<a href="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:First">First</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Ord.html#t:Ord">Ord</a> a => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> a (<a href="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Max">Max</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Ord.html#t:Ord">Ord</a> a => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> a (<a href="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Min">Min</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Num">Num</a> a => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> a (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Product">Product</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Num">Num</a> a => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> a (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Sum">Sum</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a> a => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> a (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Dual">Dual</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> c [c]</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Semigroup-Union.html#t:HasUnion">HasUnion</a> f => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> f (<a href="Data-Semigroup-Union.html#t:Union">Union</a> f)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a> m => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> m (<a href="Data-Semigroup-Self.html#t:Self">Self</a> m)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/libghc-fingertree-doc/html/Data-FingerTree.html#t:Measured">Measured</a> v a => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> a (<a href="/usr/share/doc/libghc-fingertree-doc/html/Data-FingerTree.html#t:FingerTree">FingerTree</a> v a)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> c m, <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> c n) => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> c (m, n)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> c m, <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> c n, <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> c o) => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> c (m, n, o)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> c m, <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> c n, <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> c o, <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> c p) => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> c (m, n, o, p)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Applicative.html#t:Applicative">Applicative</a> f => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> (f a) (<a href="Data-Semigroup-Applicative.html#t:Traversal">Traversal</a> f)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a> f => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> (f a) (<a href="Data-Semigroup-Monad.html#t:Action">Action</a> f)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Bind.html#t:Apply">Apply</a> f => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> (f a) (<a href="Data-Semigroup-Apply.html#t:Trav">Trav</a> f)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> a) (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Last">Last</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> a) (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:First">First</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Applicative.html#t:Applicative">Applicative</a> f, <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> c m) => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> (f c) (<a href="Data-Semigroup-Applicative.html#t:Ap">Ap</a> f m)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Applicative.html#t:Alternative">Alternative</a> f => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> (f a) (<a href="Data-Semigroup-Alternative.html#t:Alternate">Alternate</a> f a)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a> f, <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> c m) => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> (f c) (<a href="Data-Semigroup-Monad.html#t:Mon">Mon</a> f m)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:MonadPlus">MonadPlus</a> f => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> (f a) (<a href="Data-Semigroup-MonadPlus.html#t:MonadSum">MonadSum</a> f a)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="Data-Semigroup-Union.html#t:HasUnionWith">HasUnionWith</a> f, <a href="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a> m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a> m) => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> (f m) (<a href="Data-Semigroup-Union.html#t:UnionWith">UnionWith</a> f m)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="/usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Bind.html#t:Apply">Apply</a> f, <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> c m) => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> (f c) (<a href="Data-Semigroup-Apply.html#t:App">App</a> f m)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Alt.html#t:Alt">Alt</a> f => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> (f a) (<a href="Data-Semigroup-Alt.html#t:Alter">Alter</a> f a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> c m => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> (<a href="Data-Semigroup-Reducer-With.html#t:WithReducer">WithReducer</a> m c) m</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> (a -> a) (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Endo">Endo</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a>, v) (<a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-IntMap-Strict.html#t:IntMap">IntMap</a> v)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Ord.html#t:Ord">Ord</a> k => <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> (k, v) (<a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Map-Lazy.html#t:Map">Map</a> k v)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:foldMapReduce" class="def">foldMapReduce</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Foldable.html#t:Foldable">Foldable</a> f, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a> m, <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> e m) => (a -> e) -> f a -> m<a href="src/Data-Semigroup-Reducer.html#foldMapReduce" class="link">Source</a></p><div class="doc"><p>Apply a <code><a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a></code> to a <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Foldable.html#t:Foldable">Foldable</a></code> container, after mapping the contents into a suitable form for reduction.
</p></div></div><div class="top"><p class="src"><a name="v:foldMapReduce1" class="def">foldMapReduce1</a> :: (<a href="/usr/share/doc/libghc-semigroupoids-doc/html/Data-Semigroup-Foldable.html#t:Foldable1">Foldable1</a> f, <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> e m) => (a -> e) -> f a -> m<a href="src/Data-Semigroup-Reducer.html#foldMapReduce1" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:foldReduce" class="def">foldReduce</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Foldable.html#t:Foldable">Foldable</a> f, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a> m, <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> e m) => f e -> m<a href="src/Data-Semigroup-Reducer.html#foldReduce" class="link">Source</a></p><div class="doc"><p>Apply a <code><a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a></code> to a <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Foldable.html#t:Foldable">Foldable</a></code> mapping each element through <code><a href="Data-Semigroup-Reducer.html#v:unit">unit</a></code>
</p></div></div><div class="top"><p class="src"><a name="v:foldReduce1" class="def">foldReduce1</a> :: (<a href="/usr/share/doc/libghc-semigroupoids-doc/html/Data-Semigroup-Foldable.html#t:Foldable1">Foldable1</a> f, <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> e m) => f e -> m<a href="src/Data-Semigroup-Reducer.html#foldReduce1" class="link">Source</a></p><div class="doc"><p>Apply a <code><a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a></code> to a <code><a href="/usr/share/doc/libghc-semigroupoids-doc/html/Data-Semigroup-Foldable.html#t:Foldable1">Foldable1</a></code> mapping each element through <code><a href="Data-Semigroup-Reducer.html#v:unit">unit</a></code>
</p></div></div><div class="top"><p class="src"><a name="v:pureUnit" class="def">pureUnit</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Applicative.html#t:Applicative">Applicative</a> f, <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> c n) => c -> f n<a href="src/Data-Semigroup-Reducer.html#pureUnit" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:returnUnit" class="def">returnUnit</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a> m, <a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> c n) => c -> m n<a href="src/Data-Semigroup-Reducer.html#returnUnit" class="link">Source</a></p></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a name="t:Count" class="def">Count</a> <a href="src/Data-Semigroup-Reducer.html#Count" class="link">Source</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Count" class="def">Count</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:getCount" class="def">getCount</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:Count" class="caption collapser" onclick="toggleSection('i:Count')">Instances</p><div id="section.i:Count" class="show"><table><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Eq.html#t:Eq">Eq</a> <a href="Data-Semigroup-Reducer.html#t:Count">Count</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Data.html#t:Data">Data</a> <a href="Data-Semigroup-Reducer.html#t:Count">Count</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Ord.html#t:Ord">Ord</a> <a href="Data-Semigroup-Reducer.html#t:Count">Count</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Text-Read.html#t:Read">Read</a> <a href="Data-Semigroup-Reducer.html#t:Count">Count</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Text-Show.html#t:Show">Show</a> <a href="Data-Semigroup-Reducer.html#t:Count">Count</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="Data-Semigroup-Reducer.html#t:Count">Count</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a> <a href="Data-Semigroup-Reducer.html#t:Count">Count</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/libghc-hashable-doc/html/Data-Hashable.html#t:Hashable">Hashable</a> <a href="Data-Semigroup-Reducer.html#t:Count">Count</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a> <a href="Data-Semigroup-Reducer.html#t:Count">Count</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> a <a href="Data-Semigroup-Reducer.html#t:Count">Count</a></td><td class="doc empty"> </td></tr></table></div></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.13.2</p></div></body></html>
|