/usr/share/doc/libghc-bifunctors-doc/html/Data-Bifoldable.html is in libghc-bifunctors-doc 5.4.2-1build3.
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 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 | <!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.Bifoldable</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="file:///usr/share/javascript/mathjax/MathJax.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Data-Bifoldable.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-Bifoldable.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">bifunctors-5.4.2: Bifunctors</p></div><div id="content"><div id="module-header"><table class="info"><tr><th valign="top">Copyright</th><td>(C) 2011-2015 Edward Kmett</td></tr><tr><th>License</th><td>BSD-style (see the file LICENSE)</td></tr><tr><th>Maintainer</th><td>Edward Kmett <ekmett@gmail.com></td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Portability</th><td>portable</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr><tr><th>Language</th><td>Haskell98</td></tr></table><p class="caption">Data.Bifoldable</p></div><div id="description"><p class="caption">Description</p><div class="doc empty"> </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="#t:Bifoldable">Bifoldable</a> p <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><a href="#v:bifoldr-39-">bifoldr'</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => (a -> c -> c) -> (b -> c -> c) -> c -> t a b -> c</li><li class="src short"><a href="#v:bifoldr1">bifoldr1</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => (a -> a -> a) -> t a a -> a</li><li class="src short"><a href="#v:bifoldrM">bifoldrM</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m) => (a -> c -> m c) -> (b -> c -> m c) -> c -> t a b -> m c</li><li class="src short"><a href="#v:bifoldl-39-">bifoldl'</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => (a -> b -> a) -> (a -> c -> a) -> a -> t b c -> a</li><li class="src short"><a href="#v:bifoldl1">bifoldl1</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => (a -> a -> a) -> t a a -> a</li><li class="src short"><a href="#v:bifoldlM">bifoldlM</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m) => (a -> b -> m a) -> (a -> c -> m a) -> a -> t b c -> m a</li><li class="src short"><a href="#v:bitraverse_">bitraverse_</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f) => (a -> f c) -> (b -> f d) -> t a b -> f ()</li><li class="src short"><a href="#v:bifor_">bifor_</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f) => t a b -> (a -> f c) -> (b -> f d) -> f ()</li><li class="src short"><a href="#v:bimapM_">bimapM_</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m) => (a -> m c) -> (b -> m d) -> t a b -> m ()</li><li class="src short"><a href="#v:biforM_">biforM_</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m) => t a b -> (a -> m c) -> (b -> m d) -> m ()</li><li class="src short"><a href="#v:bimsum">bimsum</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m) => t (m a) (m a) -> m a</li><li class="src short"><a href="#v:bisequenceA_">bisequenceA_</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f) => t (f a) (f b) -> f ()</li><li class="src short"><a href="#v:bisequence_">bisequence_</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m) => t (m a) (m b) -> m ()</li><li class="src short"><a href="#v:biasum">biasum</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Alternative">Alternative</a> f) => t (f a) (f a) -> f a</li><li class="src short"><a href="#v:biList">biList</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => t a a -> [a]</li><li class="src short"><a href="#v:binull">binull</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => t a b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:bilength">bilength</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => t a b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></li><li class="src short"><a href="#v:bielem">bielem</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> a) => a -> t a a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:bimaximum">bimaximum</a> :: <span class="keyword">forall</span> t a. (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a) => t a a -> a</li><li class="src short"><a href="#v:biminimum">biminimum</a> :: <span class="keyword">forall</span> t a. (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a) => t a a -> a</li><li class="src short"><a href="#v:bisum">bisum</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => t a a -> a</li><li class="src short"><a href="#v:biproduct">biproduct</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => t a a -> a</li><li class="src short"><a href="#v:biconcat">biconcat</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => t [a] [a] -> [a]</li><li class="src short"><a href="#v:biconcatMap">biconcatMap</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => (a -> [c]) -> (b -> [c]) -> t a b -> [c]</li><li class="src short"><a href="#v:biand">biand</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => t <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:bior">bior</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => t <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:biany">biany</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => (a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a>) -> (b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a>) -> t a b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:biall">biall</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => (a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a>) -> (b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a>) -> t a b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:bimaximumBy">bimaximumBy</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => (a -> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ordering">Ordering</a>) -> t a a -> a</li><li class="src short"><a href="#v:biminimumBy">biminimumBy</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => (a -> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ordering">Ordering</a>) -> t a a -> a</li><li class="src short"><a href="#v:binotElem">binotElem</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> a) => a -> t a a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:bifind">bifind</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => (a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a>) -> t a a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:Bifoldable" class="def">Bifoldable</a> p <span class="keyword">where</span> <a href="src/Data-Bifoldable.html#Bifoldable" class="link">Source</a> <a href="#t:Bifoldable" class="selflink">#</a></p><div class="doc"><p><code><a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a></code> identifies foldable structures with two different varieties
of elements (as opposed to <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Foldable.html#t:Foldable">Foldable</a></code>, which has one variety of element).
Common examples are <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a></code> and '(,)':</p><pre>instance Bifoldable Either where
bifoldMap f _ (Left a) = f a
bifoldMap _ g (Right b) = g b
instance Bifoldable (,) where
bifoldr f g z (a, b) = f a (g b z)</pre><p>A minimal <code><a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a></code> definition consists of either <code><a href="Data-Bifoldable.html#v:bifoldMap">bifoldMap</a></code> or
<code><a href="Data-Bifoldable.html#v:bifoldr">bifoldr</a></code>. When defining more than this minimal set, one should ensure
that the following identities hold:</p><pre><code><a href="Data-Bifoldable.html#v:bifold">bifold</a></code> ≡ <code><a href="Data-Bifoldable.html#v:bifoldMap">bifoldMap</a></code> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Function.html#v:id">id</a></code> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Function.html#v:id">id</a></code>
<code><a href="Data-Bifoldable.html#v:bifoldMap">bifoldMap</a></code> f g ≡ <code><a href="Data-Bifoldable.html#v:bifoldr">bifoldr</a></code> (<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#v:mappend">mappend</a></code> . f) (<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#v:mappend">mappend</a></code> . g) <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#v:mempty">mempty</a></code>
<code><a href="Data-Bifoldable.html#v:bifoldr">bifoldr</a></code> f g z t ≡ <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#v:appEndo">appEndo</a></code> (<code><a href="Data-Bifoldable.html#v:bifoldMap">bifoldMap</a></code> (Endo . f) (Endo . g) t) z
</pre><p>If the type is also a <code>Bifunctor</code> instance, it should satisfy:</p><pre>'bifoldMap' f g ≡ 'bifold' . 'bimap' f g</pre><p>which implies that</p><pre>'bifoldMap' f g . 'bimap' h i ≡ 'bifoldMap' (f . h) (g . i)</pre></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Data-Bifoldable.html#v:bifoldr">bifoldr</a> | <a href="Data-Bifoldable.html#v:bifoldMap">bifoldMap</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:bifold" class="def">bifold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => p m m -> m <a href="src/Data-Bifoldable.html#bifold" class="link">Source</a> <a href="#v:bifold" class="selflink">#</a></p><div class="doc"><p>Combines the elements of a structure using a monoid.</p><pre><code><a href="Data-Bifoldable.html#v:bifold">bifold</a></code> ≡ <code><a href="Data-Bifoldable.html#v:bifoldMap">bifoldMap</a></code> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Function.html#v:id">id</a></code> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Function.html#v:id">id</a></code></pre></div><p class="src"><a id="v:bifoldMap" class="def">bifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> (b -> m) -> p a b -> m <a href="src/Data-Bifoldable.html#bifoldMap" class="link">Source</a> <a href="#v:bifoldMap" class="selflink">#</a></p><div class="doc"><p>Combines the elements of a structure, given ways of mapping them to a
common monoid.</p><pre><code><a href="Data-Bifoldable.html#v:bifoldMap">bifoldMap</a></code> f g ≡ <code><a href="Data-Bifoldable.html#v:bifoldr">bifoldr</a></code> (<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#v:mappend">mappend</a></code> . f) (<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#v:mappend">mappend</a></code> . g) <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#v:mempty">mempty</a></code></pre></div><p class="src"><a id="v:bifoldr" class="def">bifoldr</a> :: (a -> c -> c) -> (b -> c -> c) -> c -> p a b -> c <a href="src/Data-Bifoldable.html#bifoldr" class="link">Source</a> <a href="#v:bifoldr" class="selflink">#</a></p><div class="doc"><p>Combines the elements of a structure in a right associative manner. Given
a hypothetical function <code>toEitherList :: p a b -> [Either a b]</code> yielding a
list of all elements of a structure in order, the following would hold:</p><pre><code><a href="Data-Bifoldable.html#v:bifoldr">bifoldr</a></code> f g z ≡ <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Foldable.html#v:foldr">foldr</a></code> (<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#v:either">either</a></code> f g) z . toEitherList</pre></div><p class="src"><a id="v:bifoldl" class="def">bifoldl</a> :: (c -> a -> c) -> (c -> b -> c) -> c -> p a b -> c <a href="src/Data-Bifoldable.html#bifoldl" class="link">Source</a> <a href="#v:bifoldl" class="selflink">#</a></p><div class="doc"><p>Combines the elments of a structure in a left associative manner. Given a
hypothetical function <code>toEitherList :: p a b -> [Either a b]</code> yielding a
list of all elements of a structure in order, the following would hold:</p><pre><code><a href="Data-Bifoldable.html#v:bifoldl">bifoldl</a></code> f g z ≡ <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Foldable.html#v:foldl">foldl</a></code> (acc -> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#v:either">either</a></code> (f acc) (g acc)) z . toEitherList</pre><p>Note that if you want an efficient left-fold, you probably want to use
<code><a href="Data-Bifoldable.html#v:bifoldl-39-">bifoldl'</a></code> instead of <code><a href="Data-Bifoldable.html#v:bifoldl">bifoldl</a></code>. The reason is that the latter does not
force the "inner" results, resulting in a thunk chain which then must be
evaluated from the outside-in.</p></div></div><div class="subs instances"><p id="control.i:Bifoldable" class="caption collapser" onclick="toggleSection('i:Bifoldable')">Instances</p><div id="section.i:Bifoldable" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifoldable:Bifoldable:1" class="instance expander" onclick="toggleSection('i:ic:Bifoldable:Bifoldable:1')"></span> <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a></span> <a href="src/Data-Bifoldable.html#line-211" class="link">Source</a> <a href="#t:Bifoldable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifoldable:Bifoldable:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bifold">bifold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> m m -> m <a href="src/Data-Bifoldable.html#bifold" class="link">Source</a> <a href="#v:bifold" class="selflink">#</a></p><p class="src"><a href="#v:bifoldMap">bifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> (b -> m) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> a b -> m <a href="src/Data-Bifoldable.html#bifoldMap" class="link">Source</a> <a href="#v:bifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:bifoldr">bifoldr</a> :: (a -> c -> c) -> (b -> c -> c) -> c -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> a b -> c <a href="src/Data-Bifoldable.html#bifoldr" class="link">Source</a> <a href="#v:bifoldr" class="selflink">#</a></p><p class="src"><a href="#v:bifoldl">bifoldl</a> :: (c -> a -> c) -> (c -> b -> c) -> c -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> a b -> c <a href="src/Data-Bifoldable.html#bifoldl" class="link">Source</a> <a href="#v:bifoldl" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifoldable:Bifoldable:2" class="instance expander" onclick="toggleSection('i:ic:Bifoldable:Bifoldable:2')"></span> <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.5.0.0/GHC-Tuple.html#t:-40--44--41-">(,)</a></span> <a href="src/Data-Bifoldable.html#line-167" class="link">Source</a> <a href="#t:Bifoldable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifoldable:Bifoldable:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bifold">bifold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (m, m) -> m <a href="src/Data-Bifoldable.html#bifold" class="link">Source</a> <a href="#v:bifold" class="selflink">#</a></p><p class="src"><a href="#v:bifoldMap">bifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> (b -> m) -> (a, b) -> m <a href="src/Data-Bifoldable.html#bifoldMap" class="link">Source</a> <a href="#v:bifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:bifoldr">bifoldr</a> :: (a -> c -> c) -> (b -> c -> c) -> c -> (a, b) -> c <a href="src/Data-Bifoldable.html#bifoldr" class="link">Source</a> <a href="#v:bifoldr" class="selflink">#</a></p><p class="src"><a href="#v:bifoldl">bifoldl</a> :: (c -> a -> c) -> (c -> b -> c) -> c -> (a, b) -> c <a href="src/Data-Bifoldable.html#bifoldl" class="link">Source</a> <a href="#v:bifoldl" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifoldable:Bifoldable:3" class="instance expander" onclick="toggleSection('i:ic:Bifoldable:Bifoldable:3')"></span> <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Arg">Arg</a></span> <a href="src/Data-Bifoldable.html#line-163" class="link">Source</a> <a href="#t:Bifoldable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifoldable:Bifoldable:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bifold">bifold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Arg">Arg</a> m m -> m <a href="src/Data-Bifoldable.html#bifold" class="link">Source</a> <a href="#v:bifold" class="selflink">#</a></p><p class="src"><a href="#v:bifoldMap">bifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> (b -> m) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Arg">Arg</a> a b -> m <a href="src/Data-Bifoldable.html#bifoldMap" class="link">Source</a> <a href="#v:bifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:bifoldr">bifoldr</a> :: (a -> c -> c) -> (b -> c -> c) -> c -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Arg">Arg</a> a b -> c <a href="src/Data-Bifoldable.html#bifoldr" class="link">Source</a> <a href="#v:bifoldr" class="selflink">#</a></p><p class="src"><a href="#v:bifoldl">bifoldl</a> :: (c -> a -> c) -> (c -> b -> c) -> c -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Arg">Arg</a> a b -> c <a href="src/Data-Bifoldable.html#bifoldl" class="link">Source</a> <a href="#v:bifoldl" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifoldable:Bifoldable:4" class="instance expander" onclick="toggleSection('i:ic:Bifoldable:Bifoldable:4')"></span> <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:K1">K1</a> i)</span> <a href="src/Data-Bifoldable.html#line-180" class="link">Source</a> <a href="#t:Bifoldable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifoldable:Bifoldable:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bifold">bifold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:K1">K1</a> i m m -> m <a href="src/Data-Bifoldable.html#bifold" class="link">Source</a> <a href="#v:bifold" class="selflink">#</a></p><p class="src"><a href="#v:bifoldMap">bifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> (b -> m) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:K1">K1</a> i a b -> m <a href="src/Data-Bifoldable.html#bifoldMap" class="link">Source</a> <a href="#v:bifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:bifoldr">bifoldr</a> :: (a -> c -> c) -> (b -> c -> c) -> c -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:K1">K1</a> i a b -> c <a href="src/Data-Bifoldable.html#bifoldr" class="link">Source</a> <a href="#v:bifoldr" class="selflink">#</a></p><p class="src"><a href="#v:bifoldl">bifoldl</a> :: (c -> a -> c) -> (c -> b -> c) -> c -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:K1">K1</a> i a b -> c <a href="src/Data-Bifoldable.html#bifoldl" class="link">Source</a> <a href="#v:bifoldl" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifoldable:Bifoldable:5" class="instance expander" onclick="toggleSection('i:ic:Bifoldable:Bifoldable:5')"></span> <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.5.0.0/GHC-Tuple.html#t:-40--44--44--41-">(,,)</a> x)</span> <a href="src/Data-Bifoldable.html#line-185" class="link">Source</a> <a href="#t:Bifoldable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifoldable:Bifoldable:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bifold">bifold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (x, m, m) -> m <a href="src/Data-Bifoldable.html#bifold" class="link">Source</a> <a href="#v:bifold" class="selflink">#</a></p><p class="src"><a href="#v:bifoldMap">bifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> (b -> m) -> (x, a, b) -> m <a href="src/Data-Bifoldable.html#bifoldMap" class="link">Source</a> <a href="#v:bifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:bifoldr">bifoldr</a> :: (a -> c -> c) -> (b -> c -> c) -> c -> (x, a, b) -> c <a href="src/Data-Bifoldable.html#bifoldr" class="link">Source</a> <a href="#v:bifoldr" class="selflink">#</a></p><p class="src"><a href="#v:bifoldl">bifoldl</a> :: (c -> a -> c) -> (c -> b -> c) -> c -> (x, a, b) -> c <a href="src/Data-Bifoldable.html#bifoldl" class="link">Source</a> <a href="#v:bifoldl" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifoldable:Bifoldable:6" class="instance expander" onclick="toggleSection('i:ic:Bifoldable:Bifoldable:6')"></span> <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor-Const.html#t:Const">Const</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>)</span> <a href="src/Data-Bifoldable.html#line-171" class="link">Source</a> <a href="#t:Bifoldable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifoldable:Bifoldable:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bifold">bifold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor-Const.html#t:Const">Const</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> m m -> m <a href="src/Data-Bifoldable.html#bifold" class="link">Source</a> <a href="#v:bifold" class="selflink">#</a></p><p class="src"><a href="#v:bifoldMap">bifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> (b -> m) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor-Const.html#t:Const">Const</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a b -> m <a href="src/Data-Bifoldable.html#bifoldMap" class="link">Source</a> <a href="#v:bifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:bifoldr">bifoldr</a> :: (a -> c -> c) -> (b -> c -> c) -> c -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor-Const.html#t:Const">Const</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a b -> c <a href="src/Data-Bifoldable.html#bifoldr" class="link">Source</a> <a href="#v:bifoldr" class="selflink">#</a></p><p class="src"><a href="#v:bifoldl">bifoldl</a> :: (c -> a -> c) -> (c -> b -> c) -> c -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor-Const.html#t:Const">Const</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a b -> c <a href="src/Data-Bifoldable.html#bifoldl" class="link">Source</a> <a href="#v:bifoldl" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifoldable:Bifoldable:7" class="instance expander" onclick="toggleSection('i:ic:Bifoldable:Bifoldable:7')"></span> <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> (<a href="file:///usr/share/doc/libghc-tagged-doc/html/Data-Tagged.html#t:Tagged">Tagged</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>)</span> <a href="src/Data-Bifoldable.html#line-206" class="link">Source</a> <a href="#t:Bifoldable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifoldable:Bifoldable:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bifold">bifold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => <a href="file:///usr/share/doc/libghc-tagged-doc/html/Data-Tagged.html#t:Tagged">Tagged</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> m m -> m <a href="src/Data-Bifoldable.html#bifold" class="link">Source</a> <a href="#v:bifold" class="selflink">#</a></p><p class="src"><a href="#v:bifoldMap">bifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> (b -> m) -> <a href="file:///usr/share/doc/libghc-tagged-doc/html/Data-Tagged.html#t:Tagged">Tagged</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a b -> m <a href="src/Data-Bifoldable.html#bifoldMap" class="link">Source</a> <a href="#v:bifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:bifoldr">bifoldr</a> :: (a -> c -> c) -> (b -> c -> c) -> c -> <a href="file:///usr/share/doc/libghc-tagged-doc/html/Data-Tagged.html#t:Tagged">Tagged</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a b -> c <a href="src/Data-Bifoldable.html#bifoldr" class="link">Source</a> <a href="#v:bifoldr" class="selflink">#</a></p><p class="src"><a href="#v:bifoldl">bifoldl</a> :: (c -> a -> c) -> (c -> b -> c) -> c -> <a href="file:///usr/share/doc/libghc-tagged-doc/html/Data-Tagged.html#t:Tagged">Tagged</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a b -> c <a href="src/Data-Bifoldable.html#bifoldl" class="link">Source</a> <a href="#v:bifoldl" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifoldable:Bifoldable:8" class="instance expander" onclick="toggleSection('i:ic:Bifoldable:Bifoldable:8')"></span> <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Data-Functor-Constant.html#t:Constant">Constant</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>)</span> <a href="src/Data-Bifoldable.html#line-175" class="link">Source</a> <a href="#t:Bifoldable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifoldable:Bifoldable:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bifold">bifold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Data-Functor-Constant.html#t:Constant">Constant</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> m m -> m <a href="src/Data-Bifoldable.html#bifold" class="link">Source</a> <a href="#v:bifold" class="selflink">#</a></p><p class="src"><a href="#v:bifoldMap">bifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> (b -> m) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Data-Functor-Constant.html#t:Constant">Constant</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a b -> m <a href="src/Data-Bifoldable.html#bifoldMap" class="link">Source</a> <a href="#v:bifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:bifoldr">bifoldr</a> :: (a -> c -> c) -> (b -> c -> c) -> c -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Data-Functor-Constant.html#t:Constant">Constant</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a b -> c <a href="src/Data-Bifoldable.html#bifoldr" class="link">Source</a> <a href="#v:bifoldr" class="selflink">#</a></p><p class="src"><a href="#v:bifoldl">bifoldl</a> :: (c -> a -> c) -> (c -> b -> c) -> c -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Data-Functor-Constant.html#t:Constant">Constant</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a b -> c <a href="src/Data-Bifoldable.html#bifoldl" class="link">Source</a> <a href="#v:bifoldl" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifoldable:Bifoldable:9" class="instance expander" onclick="toggleSection('i:ic:Bifoldable:Bifoldable:9')"></span> <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.5.0.0/GHC-Tuple.html#t:-40--44--44--44--41-">(,,,)</a> x y)</span> <a href="src/Data-Bifoldable.html#line-189" class="link">Source</a> <a href="#t:Bifoldable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifoldable:Bifoldable:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bifold">bifold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (x, y, m, m) -> m <a href="src/Data-Bifoldable.html#bifold" class="link">Source</a> <a href="#v:bifold" class="selflink">#</a></p><p class="src"><a href="#v:bifoldMap">bifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> (b -> m) -> (x, y, a, b) -> m <a href="src/Data-Bifoldable.html#bifoldMap" class="link">Source</a> <a href="#v:bifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:bifoldr">bifoldr</a> :: (a -> c -> c) -> (b -> c -> c) -> c -> (x, y, a, b) -> c <a href="src/Data-Bifoldable.html#bifoldr" class="link">Source</a> <a href="#v:bifoldr" class="selflink">#</a></p><p class="src"><a href="#v:bifoldl">bifoldl</a> :: (c -> a -> c) -> (c -> b -> c) -> c -> (x, y, a, b) -> c <a href="src/Data-Bifoldable.html#bifoldl" class="link">Source</a> <a href="#v:bifoldl" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifoldable:Bifoldable:10" class="instance expander" onclick="toggleSection('i:ic:Bifoldable:Bifoldable:10')"></span> <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.5.0.0/GHC-Tuple.html#t:-40--44--44--44--44--41-">(,,,,)</a> x y z)</span> <a href="src/Data-Bifoldable.html#line-193" class="link">Source</a> <a href="#t:Bifoldable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifoldable:Bifoldable:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bifold">bifold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (x, y, z, m, m) -> m <a href="src/Data-Bifoldable.html#bifold" class="link">Source</a> <a href="#v:bifold" class="selflink">#</a></p><p class="src"><a href="#v:bifoldMap">bifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> (b -> m) -> (x, y, z, a, b) -> m <a href="src/Data-Bifoldable.html#bifoldMap" class="link">Source</a> <a href="#v:bifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:bifoldr">bifoldr</a> :: (a -> c -> c) -> (b -> c -> c) -> c -> (x, y, z, a, b) -> c <a href="src/Data-Bifoldable.html#bifoldr" class="link">Source</a> <a href="#v:bifoldr" class="selflink">#</a></p><p class="src"><a href="#v:bifoldl">bifoldl</a> :: (c -> a -> c) -> (c -> b -> c) -> c -> (x, y, z, a, b) -> c <a href="src/Data-Bifoldable.html#bifoldl" class="link">Source</a> <a href="#v:bifoldl" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifoldable:Bifoldable:11" class="instance expander" onclick="toggleSection('i:ic:Bifoldable:Bifoldable:11')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Foldable.html#t:Foldable">Foldable</a> f => <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> (<a href="Data-Bifunctor-Clown.html#t:Clown">Clown</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f)</span> <a href="src/Data-Bifoldable.html#line-115" class="link">Source</a> <a href="#t:Bifoldable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifoldable:Bifoldable:11" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bifold">bifold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => <a href="Data-Bifunctor-Clown.html#t:Clown">Clown</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f m m -> m <a href="src/Data-Bifoldable.html#bifold" class="link">Source</a> <a href="#v:bifold" class="selflink">#</a></p><p class="src"><a href="#v:bifoldMap">bifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> (b -> m) -> <a href="Data-Bifunctor-Clown.html#t:Clown">Clown</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f a b -> m <a href="src/Data-Bifoldable.html#bifoldMap" class="link">Source</a> <a href="#v:bifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:bifoldr">bifoldr</a> :: (a -> c -> c) -> (b -> c -> c) -> c -> <a href="Data-Bifunctor-Clown.html#t:Clown">Clown</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f a b -> c <a href="src/Data-Bifoldable.html#bifoldr" class="link">Source</a> <a href="#v:bifoldr" class="selflink">#</a></p><p class="src"><a href="#v:bifoldl">bifoldl</a> :: (c -> a -> c) -> (c -> b -> c) -> c -> <a href="Data-Bifunctor-Clown.html#t:Clown">Clown</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f a b -> c <a href="src/Data-Bifoldable.html#bifoldl" class="link">Source</a> <a href="#v:bifoldl" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifoldable:Bifoldable:12" class="instance expander" onclick="toggleSection('i:ic:Bifoldable:Bifoldable:12')"></span> <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> p => <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> (<a href="Data-Bifunctor-Flip.html#t:Flip">Flip</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p)</span> <a href="src/Data-Bifoldable.html#line-86" class="link">Source</a> <a href="#t:Bifoldable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifoldable:Bifoldable:12" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bifold">bifold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => <a href="Data-Bifunctor-Flip.html#t:Flip">Flip</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p m m -> m <a href="src/Data-Bifoldable.html#bifold" class="link">Source</a> <a href="#v:bifold" class="selflink">#</a></p><p class="src"><a href="#v:bifoldMap">bifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> (b -> m) -> <a href="Data-Bifunctor-Flip.html#t:Flip">Flip</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p a b -> m <a href="src/Data-Bifoldable.html#bifoldMap" class="link">Source</a> <a href="#v:bifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:bifoldr">bifoldr</a> :: (a -> c -> c) -> (b -> c -> c) -> c -> <a href="Data-Bifunctor-Flip.html#t:Flip">Flip</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p a b -> c <a href="src/Data-Bifoldable.html#bifoldr" class="link">Source</a> <a href="#v:bifoldr" class="selflink">#</a></p><p class="src"><a href="#v:bifoldl">bifoldl</a> :: (c -> a -> c) -> (c -> b -> c) -> c -> <a href="Data-Bifunctor-Flip.html#t:Flip">Flip</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p a b -> c <a href="src/Data-Bifoldable.html#bifoldl" class="link">Source</a> <a href="#v:bifoldl" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifoldable:Bifoldable:13" class="instance expander" onclick="toggleSection('i:ic:Bifoldable:Bifoldable:13')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Foldable.html#t:Foldable">Foldable</a> g => <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> (<a href="Data-Bifunctor-Joker.html#t:Joker">Joker</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> g)</span> <a href="src/Data-Bifoldable.html#line-114" class="link">Source</a> <a href="#t:Bifoldable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifoldable:Bifoldable:13" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bifold">bifold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => <a href="Data-Bifunctor-Joker.html#t:Joker">Joker</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> g m m -> m <a href="src/Data-Bifoldable.html#bifold" class="link">Source</a> <a href="#v:bifold" class="selflink">#</a></p><p class="src"><a href="#v:bifoldMap">bifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> (b -> m) -> <a href="Data-Bifunctor-Joker.html#t:Joker">Joker</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> g a b -> m <a href="src/Data-Bifoldable.html#bifoldMap" class="link">Source</a> <a href="#v:bifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:bifoldr">bifoldr</a> :: (a -> c -> c) -> (b -> c -> c) -> c -> <a href="Data-Bifunctor-Joker.html#t:Joker">Joker</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> g a b -> c <a href="src/Data-Bifoldable.html#bifoldr" class="link">Source</a> <a href="#v:bifoldr" class="selflink">#</a></p><p class="src"><a href="#v:bifoldl">bifoldl</a> :: (c -> a -> c) -> (c -> b -> c) -> c -> <a href="Data-Bifunctor-Joker.html#t:Joker">Joker</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> g a b -> c <a href="src/Data-Bifoldable.html#bifoldl" class="link">Source</a> <a href="#v:bifoldl" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifoldable:Bifoldable:14" class="instance expander" onclick="toggleSection('i:ic:Bifoldable:Bifoldable:14')"></span> <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> p => <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> (<a href="Data-Bifunctor-Wrapped.html#t:WrappedBifunctor">WrappedBifunctor</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p)</span> <a href="src/Data-Bifoldable.html#line-114" class="link">Source</a> <a href="#t:Bifoldable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifoldable:Bifoldable:14" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bifold">bifold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => <a href="Data-Bifunctor-Wrapped.html#t:WrappedBifunctor">WrappedBifunctor</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p m m -> m <a href="src/Data-Bifoldable.html#bifold" class="link">Source</a> <a href="#v:bifold" class="selflink">#</a></p><p class="src"><a href="#v:bifoldMap">bifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> (b -> m) -> <a href="Data-Bifunctor-Wrapped.html#t:WrappedBifunctor">WrappedBifunctor</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p a b -> m <a href="src/Data-Bifoldable.html#bifoldMap" class="link">Source</a> <a href="#v:bifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:bifoldr">bifoldr</a> :: (a -> c -> c) -> (b -> c -> c) -> c -> <a href="Data-Bifunctor-Wrapped.html#t:WrappedBifunctor">WrappedBifunctor</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p a b -> c <a href="src/Data-Bifoldable.html#bifoldr" class="link">Source</a> <a href="#v:bifoldr" class="selflink">#</a></p><p class="src"><a href="#v:bifoldl">bifoldl</a> :: (c -> a -> c) -> (c -> b -> c) -> c -> <a href="Data-Bifunctor-Wrapped.html#t:WrappedBifunctor">WrappedBifunctor</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p a b -> c <a href="src/Data-Bifoldable.html#bifoldl" class="link">Source</a> <a href="#v:bifoldl" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifoldable:Bifoldable:15" class="instance expander" onclick="toggleSection('i:ic:Bifoldable:Bifoldable:15')"></span> <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.5.0.0/GHC-Tuple.html#t:-40--44--44--44--44--44--41-">(,,,,,)</a> x y z w)</span> <a href="src/Data-Bifoldable.html#line-197" class="link">Source</a> <a href="#t:Bifoldable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifoldable:Bifoldable:15" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bifold">bifold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (x, y, z, w, m, m) -> m <a href="src/Data-Bifoldable.html#bifold" class="link">Source</a> <a href="#v:bifold" class="selflink">#</a></p><p class="src"><a href="#v:bifoldMap">bifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> (b -> m) -> (x, y, z, w, a, b) -> m <a href="src/Data-Bifoldable.html#bifoldMap" class="link">Source</a> <a href="#v:bifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:bifoldr">bifoldr</a> :: (a -> c -> c) -> (b -> c -> c) -> c -> (x, y, z, w, a, b) -> c <a href="src/Data-Bifoldable.html#bifoldr" class="link">Source</a> <a href="#v:bifoldr" class="selflink">#</a></p><p class="src"><a href="#v:bifoldl">bifoldl</a> :: (c -> a -> c) -> (c -> b -> c) -> c -> (x, y, z, w, a, b) -> c <a href="src/Data-Bifoldable.html#bifoldl" class="link">Source</a> <a href="#v:bifoldl" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifoldable:Bifoldable:16" class="instance expander" onclick="toggleSection('i:ic:Bifoldable:Bifoldable:16')"></span> (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> p, <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> q) => <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> (<a href="Data-Bifunctor-Sum.html#t:Sum">Sum</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p q)</span> <a href="src/Data-Bifoldable.html#line-80" class="link">Source</a> <a href="#t:Bifoldable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifoldable:Bifoldable:16" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bifold">bifold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => <a href="Data-Bifunctor-Sum.html#t:Sum">Sum</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p q m m -> m <a href="src/Data-Bifoldable.html#bifold" class="link">Source</a> <a href="#v:bifold" class="selflink">#</a></p><p class="src"><a href="#v:bifoldMap">bifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> (b -> m) -> <a href="Data-Bifunctor-Sum.html#t:Sum">Sum</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p q a b -> m <a href="src/Data-Bifoldable.html#bifoldMap" class="link">Source</a> <a href="#v:bifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:bifoldr">bifoldr</a> :: (a -> c -> c) -> (b -> c -> c) -> c -> <a href="Data-Bifunctor-Sum.html#t:Sum">Sum</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p q a b -> c <a href="src/Data-Bifoldable.html#bifoldr" class="link">Source</a> <a href="#v:bifoldr" class="selflink">#</a></p><p class="src"><a href="#v:bifoldl">bifoldl</a> :: (c -> a -> c) -> (c -> b -> c) -> c -> <a href="Data-Bifunctor-Sum.html#t:Sum">Sum</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p q a b -> c <a href="src/Data-Bifoldable.html#bifoldl" class="link">Source</a> <a href="#v:bifoldl" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifoldable:Bifoldable:17" class="instance expander" onclick="toggleSection('i:ic:Bifoldable:Bifoldable:17')"></span> (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> f, <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> g) => <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g)</span> <a href="src/Data-Bifoldable.html#line-101" class="link">Source</a> <a href="#t:Bifoldable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifoldable:Bifoldable:17" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bifold">bifold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g m m -> m <a href="src/Data-Bifoldable.html#bifold" class="link">Source</a> <a href="#v:bifold" class="selflink">#</a></p><p class="src"><a href="#v:bifoldMap">bifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> (b -> m) -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g a b -> m <a href="src/Data-Bifoldable.html#bifoldMap" class="link">Source</a> <a href="#v:bifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:bifoldr">bifoldr</a> :: (a -> c -> c) -> (b -> c -> c) -> c -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g a b -> c <a href="src/Data-Bifoldable.html#bifoldr" class="link">Source</a> <a href="#v:bifoldr" class="selflink">#</a></p><p class="src"><a href="#v:bifoldl">bifoldl</a> :: (c -> a -> c) -> (c -> b -> c) -> c -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g a b -> c <a href="src/Data-Bifoldable.html#bifoldl" class="link">Source</a> <a href="#v:bifoldl" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifoldable:Bifoldable:18" class="instance expander" onclick="toggleSection('i:ic:Bifoldable:Bifoldable:18')"></span> <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.5.0.0/GHC-Tuple.html#t:-40--44--44--44--44--44--44--41-">(,,,,,,)</a> x y z w v)</span> <a href="src/Data-Bifoldable.html#line-201" class="link">Source</a> <a href="#t:Bifoldable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifoldable:Bifoldable:18" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bifold">bifold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (x, y, z, w, v, m, m) -> m <a href="src/Data-Bifoldable.html#bifold" class="link">Source</a> <a href="#v:bifold" class="selflink">#</a></p><p class="src"><a href="#v:bifoldMap">bifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> (b -> m) -> (x, y, z, w, v, a, b) -> m <a href="src/Data-Bifoldable.html#bifoldMap" class="link">Source</a> <a href="#v:bifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:bifoldr">bifoldr</a> :: (a -> c -> c) -> (b -> c -> c) -> c -> (x, y, z, w, v, a, b) -> c <a href="src/Data-Bifoldable.html#bifoldr" class="link">Source</a> <a href="#v:bifoldr" class="selflink">#</a></p><p class="src"><a href="#v:bifoldl">bifoldl</a> :: (c -> a -> c) -> (c -> b -> c) -> c -> (x, y, z, w, v, a, b) -> c <a href="src/Data-Bifoldable.html#bifoldl" class="link">Source</a> <a href="#v:bifoldl" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifoldable:Bifoldable:19" class="instance expander" onclick="toggleSection('i:ic:Bifoldable:Bifoldable:19')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Foldable.html#t:Foldable">Foldable</a> f, <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> p) => <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> (<a href="Data-Bifunctor-Tannen.html#t:Tannen">Tannen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f p)</span> <a href="src/Data-Bifoldable.html#line-136" class="link">Source</a> <a href="#t:Bifoldable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifoldable:Bifoldable:19" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bifold">bifold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => <a href="Data-Bifunctor-Tannen.html#t:Tannen">Tannen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f p m m -> m <a href="src/Data-Bifoldable.html#bifold" class="link">Source</a> <a href="#v:bifold" class="selflink">#</a></p><p class="src"><a href="#v:bifoldMap">bifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> (b -> m) -> <a href="Data-Bifunctor-Tannen.html#t:Tannen">Tannen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f p a b -> m <a href="src/Data-Bifoldable.html#bifoldMap" class="link">Source</a> <a href="#v:bifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:bifoldr">bifoldr</a> :: (a -> c -> c) -> (b -> c -> c) -> c -> <a href="Data-Bifunctor-Tannen.html#t:Tannen">Tannen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f p a b -> c <a href="src/Data-Bifoldable.html#bifoldr" class="link">Source</a> <a href="#v:bifoldr" class="selflink">#</a></p><p class="src"><a href="#v:bifoldl">bifoldl</a> :: (c -> a -> c) -> (c -> b -> c) -> c -> <a href="Data-Bifunctor-Tannen.html#t:Tannen">Tannen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f p a b -> c <a href="src/Data-Bifoldable.html#bifoldl" class="link">Source</a> <a href="#v:bifoldl" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifoldable:Bifoldable:20" class="instance expander" onclick="toggleSection('i:ic:Bifoldable:Bifoldable:20')"></span> (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Foldable.html#t:Foldable">Foldable</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Foldable.html#t:Foldable">Foldable</a> g) => <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> (<a href="Data-Bifunctor-Biff.html#t:Biff">Biff</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p f g)</span> <a href="src/Data-Bifoldable.html#line-119" class="link">Source</a> <a href="#t:Bifoldable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifoldable:Bifoldable:20" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bifold">bifold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => <a href="Data-Bifunctor-Biff.html#t:Biff">Biff</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p f g m m -> m <a href="src/Data-Bifoldable.html#bifold" class="link">Source</a> <a href="#v:bifold" class="selflink">#</a></p><p class="src"><a href="#v:bifoldMap">bifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> (b -> m) -> <a href="Data-Bifunctor-Biff.html#t:Biff">Biff</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p f g a b -> m <a href="src/Data-Bifoldable.html#bifoldMap" class="link">Source</a> <a href="#v:bifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:bifoldr">bifoldr</a> :: (a -> c -> c) -> (b -> c -> c) -> c -> <a href="Data-Bifunctor-Biff.html#t:Biff">Biff</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p f g a b -> c <a href="src/Data-Bifoldable.html#bifoldr" class="link">Source</a> <a href="#v:bifoldr" class="selflink">#</a></p><p class="src"><a href="#v:bifoldl">bifoldl</a> :: (c -> a -> c) -> (c -> b -> c) -> c -> <a href="Data-Bifunctor-Biff.html#t:Biff">Biff</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p f g a b -> c <a href="src/Data-Bifoldable.html#bifoldl" class="link">Source</a> <a href="#v:bifoldl" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:bifoldr-39-" class="def">bifoldr'</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => (a -> c -> c) -> (b -> c -> c) -> c -> t a b -> c <a href="src/Data-Bifoldable.html#bifoldr%27" class="link">Source</a> <a href="#v:bifoldr-39-" class="selflink">#</a></p><div class="doc"><p>As <code><a href="Data-Bifoldable.html#v:bifoldr">bifoldr</a></code>, but strict in the result of the reduction functions at each
step.</p></div></div><div class="top"><p class="src"><a id="v:bifoldr1" class="def">bifoldr1</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => (a -> a -> a) -> t a a -> a <a href="src/Data-Bifoldable.html#bifoldr1" class="link">Source</a> <a href="#v:bifoldr1" class="selflink">#</a></p><div class="doc"><p>A variant of <code><a href="Data-Bifoldable.html#v:bifoldr">bifoldr</a></code> that has no base case,
and thus may only be applied to non-empty structures.</p></div></div><div class="top"><p class="src"><a id="v:bifoldrM" class="def">bifoldrM</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m) => (a -> c -> m c) -> (b -> c -> m c) -> c -> t a b -> m c <a href="src/Data-Bifoldable.html#bifoldrM" class="link">Source</a> <a href="#v:bifoldrM" class="selflink">#</a></p><div class="doc"><p>Right associative monadic bifold over a structure.</p></div></div><div class="top"><p class="src"><a id="v:bifoldl-39-" class="def">bifoldl'</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => (a -> b -> a) -> (a -> c -> a) -> a -> t b c -> a <a href="src/Data-Bifoldable.html#bifoldl%27" class="link">Source</a> <a href="#v:bifoldl-39-" class="selflink">#</a></p><div class="doc"><p>As <code><a href="Data-Bifoldable.html#v:bifoldl">bifoldl</a></code>, but strict in the result of the reduction functions at each
step.</p><p>This ensures that each step of the bifold is forced to weak head normal form
before being applied, avoiding the collection of thunks that would otherwise
occur. This is often what you want to strictly reduce a finite structure to
a single, monolithic result (e.g., <code><a href="Data-Bifoldable.html#v:bilength">bilength</a></code>).</p></div></div><div class="top"><p class="src"><a id="v:bifoldl1" class="def">bifoldl1</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => (a -> a -> a) -> t a a -> a <a href="src/Data-Bifoldable.html#bifoldl1" class="link">Source</a> <a href="#v:bifoldl1" class="selflink">#</a></p><div class="doc"><p>A variant of <code><a href="Data-Bifoldable.html#v:bifoldl">bifoldl</a></code> that has no base case,
and thus may only be applied to non-empty structures.</p></div></div><div class="top"><p class="src"><a id="v:bifoldlM" class="def">bifoldlM</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m) => (a -> b -> m a) -> (a -> c -> m a) -> a -> t b c -> m a <a href="src/Data-Bifoldable.html#bifoldlM" class="link">Source</a> <a href="#v:bifoldlM" class="selflink">#</a></p><div class="doc"><p>Left associative monadic bifold over a structure.</p></div></div><div class="top"><p class="src"><a id="v:bitraverse_" class="def">bitraverse_</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f) => (a -> f c) -> (b -> f d) -> t a b -> f () <a href="src/Data-Bifoldable.html#bitraverse_" class="link">Source</a> <a href="#v:bitraverse_" class="selflink">#</a></p><div class="doc"><p>Map each element of a structure using one of two actions, evaluate these
actions from left to right, and ignore the results. For a version that
doesn't ignore the results, see <code><a href="Data-Bitraversable.html#v:bitraverse">bitraverse</a></code>.</p></div></div><div class="top"><p class="src"><a id="v:bifor_" class="def">bifor_</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f) => t a b -> (a -> f c) -> (b -> f d) -> f () <a href="src/Data-Bifoldable.html#bifor_" class="link">Source</a> <a href="#v:bifor_" class="selflink">#</a></p><div class="doc"><p>As <code><a href="Data-Bifoldable.html#v:bitraverse_">bitraverse_</a></code>, but with the structure as the primary argument. For a
version that doesn't ignore the results, see <code><a href="Data-Bitraversable.html#v:bifor">bifor</a></code>.</p><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>> bifor_ ('a', "bc") print (print . reverse)
</code></strong>'a'
"cb"
</pre></div></div><div class="top"><p class="src"><a id="v:bimapM_" class="def">bimapM_</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m) => (a -> m c) -> (b -> m d) -> t a b -> m () <a href="src/Data-Bifoldable.html#bimapM_" class="link">Source</a> <a href="#v:bimapM_" class="selflink">#</a></p><div class="doc"><p>As <code><a href="Data-Bitraversable.html#v:bimapM">bimapM</a></code>, but ignores the results of the functions,
merely performing the "actions".</p></div></div><div class="top"><p class="src"><a id="v:biforM_" class="def">biforM_</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m) => t a b -> (a -> m c) -> (b -> m d) -> m () <a href="src/Data-Bifoldable.html#biforM_" class="link">Source</a> <a href="#v:biforM_" class="selflink">#</a></p><div class="doc"><p>As <code><a href="Data-Bifoldable.html#v:bimapM_">bimapM_</a></code>, but with the structure as the primary argument.</p></div></div><div class="top"><p class="src"><a id="v:bimsum" class="def">bimsum</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m) => t (m a) (m a) -> m a <a href="src/Data-Bifoldable.html#bimsum" class="link">Source</a> <a href="#v:bimsum" class="selflink">#</a></p><div class="doc"><p>The sum of a collection of actions, generalizing <code><a href="Data-Bifoldable.html#v:biconcat">biconcat</a></code>.</p></div></div><div class="top"><p class="src"><a id="v:bisequenceA_" class="def">bisequenceA_</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f) => t (f a) (f b) -> f () <a href="src/Data-Bifoldable.html#bisequenceA_" class="link">Source</a> <a href="#v:bisequenceA_" class="selflink">#</a></p><div class="doc"><p>As <code><a href="Data-Bitraversable.html#v:bisequenceA">bisequenceA</a></code>, but ignores the results of the actions.</p></div></div><div class="top"><p class="src"><a id="v:bisequence_" class="def">bisequence_</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m) => t (m a) (m b) -> m () <a href="src/Data-Bifoldable.html#bisequence_" class="link">Source</a> <a href="#v:bisequence_" class="selflink">#</a></p><div class="doc"><p>Evaluate each action in the structure from left to right, and ignore the
results. For a version that doesn't ignore the results, see
<code><a href="Data-Bitraversable.html#v:bisequence">bisequence</a></code>.</p></div></div><div class="top"><p class="src"><a id="v:biasum" class="def">biasum</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Alternative">Alternative</a> f) => t (f a) (f a) -> f a <a href="src/Data-Bifoldable.html#biasum" class="link">Source</a> <a href="#v:biasum" class="selflink">#</a></p><div class="doc"><p>The sum of a collection of actions, generalizing <code><a href="Data-Bifoldable.html#v:biconcat">biconcat</a></code>.</p></div></div><div class="top"><p class="src"><a id="v:biList" class="def">biList</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => t a a -> [a] <a href="src/Data-Bifoldable.html#biList" class="link">Source</a> <a href="#v:biList" class="selflink">#</a></p><div class="doc"><p>Collects the list of elements of a structure, from left to right.</p></div></div><div class="top"><p class="src"><a id="v:binull" class="def">binull</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => t a b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Data-Bifoldable.html#binull" class="link">Source</a> <a href="#v:binull" class="selflink">#</a></p><div class="doc"><p>Test whether the structure is empty.</p></div></div><div class="top"><p class="src"><a id="v:bilength" class="def">bilength</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => t a b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> <a href="src/Data-Bifoldable.html#bilength" class="link">Source</a> <a href="#v:bilength" class="selflink">#</a></p><div class="doc"><p>Returns the size/length of a finite structure as an <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></code>.</p></div></div><div class="top"><p class="src"><a id="v:bielem" class="def">bielem</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> a) => a -> t a a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Data-Bifoldable.html#bielem" class="link">Source</a> <a href="#v:bielem" class="selflink">#</a></p><div class="doc"><p>Does the element occur in the structure?</p></div></div><div class="top"><p class="src"><a id="v:bimaximum" class="def">bimaximum</a> :: <span class="keyword">forall</span> t a. (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a) => t a a -> a <a href="src/Data-Bifoldable.html#bimaximum" class="link">Source</a> <a href="#v:bimaximum" class="selflink">#</a></p><div class="doc"><p>The largest element of a non-empty structure.</p></div></div><div class="top"><p class="src"><a id="v:biminimum" class="def">biminimum</a> :: <span class="keyword">forall</span> t a. (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a) => t a a -> a <a href="src/Data-Bifoldable.html#biminimum" class="link">Source</a> <a href="#v:biminimum" class="selflink">#</a></p><div class="doc"><p>The least element of a non-empty structure.</p></div></div><div class="top"><p class="src"><a id="v:bisum" class="def">bisum</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => t a a -> a <a href="src/Data-Bifoldable.html#bisum" class="link">Source</a> <a href="#v:bisum" class="selflink">#</a></p><div class="doc"><p>The <code><a href="Data-Bifoldable.html#v:bisum">bisum</a></code> function computes the sum of the numbers of a structure.</p></div></div><div class="top"><p class="src"><a id="v:biproduct" class="def">biproduct</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => t a a -> a <a href="src/Data-Bifoldable.html#biproduct" class="link">Source</a> <a href="#v:biproduct" class="selflink">#</a></p><div class="doc"><p>The <code><a href="Data-Bifoldable.html#v:biproduct">biproduct</a></code> function computes the product of the numbers of a
structure.</p></div></div><div class="top"><p class="src"><a id="v:biconcat" class="def">biconcat</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => t [a] [a] -> [a] <a href="src/Data-Bifoldable.html#biconcat" class="link">Source</a> <a href="#v:biconcat" class="selflink">#</a></p><div class="doc"><p>Reduces a structure of lists to the concatenation of those lists.</p></div></div><div class="top"><p class="src"><a id="v:biconcatMap" class="def">biconcatMap</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => (a -> [c]) -> (b -> [c]) -> t a b -> [c] <a href="src/Data-Bifoldable.html#biconcatMap" class="link">Source</a> <a href="#v:biconcatMap" class="selflink">#</a></p><div class="doc"><p>Given a means of mapping the elements of a structure to lists, computes the
concatenation of all such lists in order.</p></div></div><div class="top"><p class="src"><a id="v:biand" class="def">biand</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => t <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Data-Bifoldable.html#biand" class="link">Source</a> <a href="#v:biand" class="selflink">#</a></p><div class="doc"><p><code><a href="Data-Bifoldable.html#v:biand">biand</a></code> returns the conjunction of a container of Bools. For the
result to be <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#v:True">True</a></code>, the container must be finite; <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#v:False">False</a></code>, however,
results from a <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#v:False">False</a></code> value finitely far from the left end.</p></div></div><div class="top"><p class="src"><a id="v:bior" class="def">bior</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => t <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Data-Bifoldable.html#bior" class="link">Source</a> <a href="#v:bior" class="selflink">#</a></p><div class="doc"><p><code><a href="Data-Bifoldable.html#v:bior">bior</a></code> returns the disjunction of a container of Bools. For the
result to be <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#v:False">False</a></code>, the container must be finite; <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#v:True">True</a></code>, however,
results from a <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#v:True">True</a></code> value finitely far from the left end.</p></div></div><div class="top"><p class="src"><a id="v:biany" class="def">biany</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => (a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a>) -> (b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a>) -> t a b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Data-Bifoldable.html#biany" class="link">Source</a> <a href="#v:biany" class="selflink">#</a></p><div class="doc"><p>Determines whether any element of the structure satisfies the appropriate
predicate.</p></div></div><div class="top"><p class="src"><a id="v:biall" class="def">biall</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => (a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a>) -> (b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a>) -> t a b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Data-Bifoldable.html#biall" class="link">Source</a> <a href="#v:biall" class="selflink">#</a></p><div class="doc"><p>Determines whether all elements of the structure satisfy the appropriate
predicate.</p></div></div><div class="top"><p class="src"><a id="v:bimaximumBy" class="def">bimaximumBy</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => (a -> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ordering">Ordering</a>) -> t a a -> a <a href="src/Data-Bifoldable.html#bimaximumBy" class="link">Source</a> <a href="#v:bimaximumBy" class="selflink">#</a></p><div class="doc"><p>The largest element of a non-empty structure with respect to the
given comparison function.</p></div></div><div class="top"><p class="src"><a id="v:biminimumBy" class="def">biminimumBy</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => (a -> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ordering">Ordering</a>) -> t a a -> a <a href="src/Data-Bifoldable.html#biminimumBy" class="link">Source</a> <a href="#v:biminimumBy" class="selflink">#</a></p><div class="doc"><p>The least element of a non-empty structure with respect to the
given comparison function.</p></div></div><div class="top"><p class="src"><a id="v:binotElem" class="def">binotElem</a> :: (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> a) => a -> t a a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Data-Bifoldable.html#binotElem" class="link">Source</a> <a href="#v:binotElem" class="selflink">#</a></p><div class="doc"><p><code><a href="Data-Bifoldable.html#v:binotElem">binotElem</a></code> is the negation of <code><a href="Data-Bifoldable.html#v:bielem">bielem</a></code>.</p></div></div><div class="top"><p class="src"><a id="v:bifind" class="def">bifind</a> :: <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> t => (a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a>) -> t a a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a <a href="src/Data-Bifoldable.html#bifind" class="link">Source</a> <a href="#v:bifind" class="selflink">#</a></p><div class="doc"><p>The <code><a href="Data-Bifoldable.html#v:bifind">bifind</a></code> function takes a predicate and a structure and returns
the leftmost element of the structure matching the predicate, or
<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#v:Nothing">Nothing</a></code> if there is no such element.</p></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.3</p></div></body></html>
|