/usr/share/doc/libghc-semigroupoids-doc/html/Data-Bifunctor-Apply.html is in libghc-semigroupoids-doc 5.2.1-1build1.
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 | <!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.Bifunctor.Apply</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-Bifunctor-Apply.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-Bifunctor-Apply.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">semigroupoids-5.2.1: Semigroupoids: Category sans id</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>Safe</td></tr><tr><th>Language</th><td>Haskell98</td></tr></table><p class="caption">Data.Bifunctor.Apply</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Biappliable bifunctors</a></li></ul></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:Bifunctor">Bifunctor</a> p <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><span class="keyword">class</span> <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</a> p => <a href="#t:Biapply">Biapply</a> p <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><a href="#v:-60--60--36--62--62-">(<<$>>)</a> :: (a -> b) -> a -> b</li><li class="src short"><a href="#v:-60--60-..-62--62-">(<<..>>)</a> :: <a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</a> p => p a c -> p (a -> b) (c -> d) -> p b d</li><li class="src short"><a href="#v:bilift2">bilift2</a> :: <a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</a> w => (a -> b -> c) -> (d -> e -> f) -> w a d -> w b e -> w c f</li><li class="src short"><a href="#v:bilift3">bilift3</a> :: <a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</a> w => (a -> b -> c -> d) -> (e -> f -> g -> h) -> w a e -> w b f -> w c g -> w d h</li></ul></div><div id="interface"><h1 id="g:1">Biappliable bifunctors</h1><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:Bifunctor" class="def">Bifunctor</a> p <span class="keyword">where</span> <a href="#t:Bifunctor" class="selflink">#</a></p><div class="doc"><p>Formally, the class <code><a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</a></code> represents a bifunctor
from <code>Hask</code> -> <code>Hask</code>.</p><p>Intuitively it is a bifunctor where both the first and second
arguments are covariant.</p><p>You can define a <code><a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</a></code> by either defining <code><a href="Data-Bifunctor-Apply.html#v:bimap">bimap</a></code> or by
defining both <code><a href="Data-Bifunctor-Apply.html#v:first">first</a></code> and <code><a href="Data-Bifunctor-Apply.html#v:second">second</a></code>.</p><p>If you supply <code><a href="Data-Bifunctor-Apply.html#v:bimap">bimap</a></code>, you should ensure that:</p><pre><code><a href="Data-Bifunctor-Apply.html#v:bimap">bimap</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="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Function.html#v:id">id</a></code></pre><p>If you supply <code><a href="Data-Bifunctor-Apply.html#v:first">first</a></code> and <code><a href="Data-Bifunctor-Apply.html#v:second">second</a></code>, ensure:</p><pre><code><a href="Data-Bifunctor-Apply.html#v:first">first</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-Bifunctor-Apply.html#v:second">second</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><p>If you supply both, you should also ensure:</p><pre><code><a href="Data-Bifunctor-Apply.html#v:bimap">bimap</a></code> f g ≡ <code><a href="Data-Bifunctor-Apply.html#v:first">first</a></code> f <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Function.html#v:.">.</a></code> <code><a href="Data-Bifunctor-Apply.html#v:second">second</a></code> g</pre><p>These ensure by parametricity:</p><pre><code><a href="Data-Bifunctor-Apply.html#v:bimap">bimap</a></code> (f <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Function.html#v:.">.</a></code> g) (h <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Function.html#v:.">.</a></code> i) ≡ <code><a href="Data-Bifunctor-Apply.html#v:bimap">bimap</a></code> f h <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Function.html#v:.">.</a></code> <code><a href="Data-Bifunctor-Apply.html#v:bimap">bimap</a></code> g i
<code><a href="Data-Bifunctor-Apply.html#v:first">first</a></code> (f <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Function.html#v:.">.</a></code> g) ≡ <code><a href="Data-Bifunctor-Apply.html#v:first">first</a></code> f <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Function.html#v:.">.</a></code> <code><a href="Data-Bifunctor-Apply.html#v:first">first</a></code> g
<code><a href="Data-Bifunctor-Apply.html#v:second">second</a></code> (f <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Function.html#v:.">.</a></code> g) ≡ <code><a href="Data-Bifunctor-Apply.html#v:second">second</a></code> f <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Function.html#v:.">.</a></code> <code><a href="Data-Bifunctor-Apply.html#v:second">second</a></code> g
</pre><p><em>Since: 4.8.0.0</em></p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Data-Bifunctor-Apply.html#v:bimap">bimap</a> | <a href="Data-Bifunctor-Apply.html#v:first">first</a>, <a href="Data-Bifunctor-Apply.html#v:second">second</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:bimap" class="def">bimap</a> :: (a -> b) -> (c -> d) -> p a c -> p b d <a href="#v:bimap" class="selflink">#</a></p><div class="doc"><p>Map over both arguments at the same time.</p><pre><code><a href="Data-Bifunctor-Apply.html#v:bimap">bimap</a></code> f g ≡ <code><a href="Data-Bifunctor-Apply.html#v:first">first</a></code> f <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Function.html#v:.">.</a></code> <code><a href="Data-Bifunctor-Apply.html#v:second">second</a></code> g</pre></div><p class="src"><a id="v:first" class="def">first</a> :: (a -> b) -> p a c -> p b c <a href="#v:first" class="selflink">#</a></p><div class="doc"><p>Map covariantly over the first argument.</p><pre><code><a href="Data-Bifunctor-Apply.html#v:first">first</a></code> f ≡ <code><a href="Data-Bifunctor-Apply.html#v:bimap">bimap</a></code> f <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:second" class="def">second</a> :: (b -> c) -> p a b -> p a c <a href="#v:second" class="selflink">#</a></p><div class="doc"><p>Map covariantly over the second argument.</p><pre><code><a href="Data-Bifunctor-Apply.html#v:second">second</a></code> ≡ <code><a href="Data-Bifunctor-Apply.html#v:bimap">bimap</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></div><div class="subs instances"><p id="control.i:Bifunctor" class="caption collapser" onclick="toggleSection('i:Bifunctor')">Instances</p><div id="section.i:Bifunctor" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifunctor:Bifunctor:1" class="instance expander" onclick="toggleSection('i:ic:Bifunctor:Bifunctor:1')"></span> <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a></span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifunctor:Bifunctor:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bimap">bimap</a> :: (a -> b) -> (c -> d) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> a c -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> b d <a href="#v:bimap" class="selflink">#</a></p><p class="src"><a href="#v:first">first</a> :: (a -> b) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> a c -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> b c <a href="#v:first" class="selflink">#</a></p><p class="src"><a href="#v:second">second</a> :: (b -> 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 -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> a c <a href="#v:second" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifunctor:Bifunctor:2" class="instance expander" onclick="toggleSection('i:ic:Bifunctor:Bifunctor:2')"></span> <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</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></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifunctor:Bifunctor:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bimap">bimap</a> :: (a -> b) -> (c -> d) -> (a, c) -> (b, d) <a href="#v:bimap" class="selflink">#</a></p><p class="src"><a href="#v:first">first</a> :: (a -> b) -> (a, c) -> (b, c) <a href="#v:first" class="selflink">#</a></p><p class="src"><a href="#v:second">second</a> :: (b -> c) -> (a, b) -> (a, c) <a href="#v:second" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifunctor:Bifunctor:3" class="instance expander" onclick="toggleSection('i:ic:Bifunctor:Bifunctor:3')"></span> <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Arg">Arg</a></span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifunctor:Bifunctor:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bimap">bimap</a> :: (a -> b) -> (c -> d) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Arg">Arg</a> a c -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Arg">Arg</a> b d <a href="#v:bimap" class="selflink">#</a></p><p class="src"><a href="#v:first">first</a> :: (a -> b) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Arg">Arg</a> a c -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Arg">Arg</a> b c <a href="#v:first" class="selflink">#</a></p><p class="src"><a href="#v:second">second</a> :: (b -> 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 -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Arg">Arg</a> a c <a href="#v:second" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifunctor:Bifunctor:4" class="instance expander" onclick="toggleSection('i:ic:Bifunctor:Bifunctor:4')"></span> <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</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></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifunctor:Bifunctor:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bimap">bimap</a> :: (a -> b) -> (c -> d) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:K1">K1</a> i a c -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:K1">K1</a> i b d <a href="#v:bimap" class="selflink">#</a></p><p class="src"><a href="#v:first">first</a> :: (a -> b) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:K1">K1</a> i a c -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:K1">K1</a> i b c <a href="#v:first" class="selflink">#</a></p><p class="src"><a href="#v:second">second</a> :: (b -> 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 -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:K1">K1</a> i a c <a href="#v:second" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifunctor:Bifunctor:5" class="instance expander" onclick="toggleSection('i:ic:Bifunctor:Bifunctor:5')"></span> <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</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> x1)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifunctor:Bifunctor:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bimap">bimap</a> :: (a -> b) -> (c -> d) -> (x1, a, c) -> (x1, b, d) <a href="#v:bimap" class="selflink">#</a></p><p class="src"><a href="#v:first">first</a> :: (a -> b) -> (x1, a, c) -> (x1, b, c) <a href="#v:first" class="selflink">#</a></p><p class="src"><a href="#v:second">second</a> :: (b -> c) -> (x1, a, b) -> (x1, a, c) <a href="#v:second" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifunctor:Bifunctor:6" class="instance expander" onclick="toggleSection('i:ic:Bifunctor:Bifunctor:6')"></span> <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</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></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifunctor:Bifunctor:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bimap">bimap</a> :: (a -> b) -> (c -> d) -> <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 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> b d <a href="#v:bimap" class="selflink">#</a></p><p class="src"><a href="#v:first">first</a> :: (a -> b) -> <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 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> b c <a href="#v:first" class="selflink">#</a></p><p class="src"><a href="#v:second">second</a> :: (b -> 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 -> <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 c <a href="#v:second" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifunctor:Bifunctor:7" class="instance expander" onclick="toggleSection('i:ic:Bifunctor:Bifunctor:7')"></span> <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</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></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifunctor:Bifunctor:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bimap">bimap</a> :: (a -> b) -> (c -> d) -> <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 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> b d <a href="#v:bimap" class="selflink">#</a></p><p class="src"><a href="#v:first">first</a> :: (a -> b) -> <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 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> b c <a href="#v:first" class="selflink">#</a></p><p class="src"><a href="#v:second">second</a> :: (b -> 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 -> <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 c <a href="#v:second" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifunctor:Bifunctor:8" class="instance expander" onclick="toggleSection('i:ic:Bifunctor:Bifunctor:8')"></span> <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</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></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifunctor:Bifunctor:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bimap">bimap</a> :: (a -> b) -> (c -> d) -> <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 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> b d <a href="#v:bimap" class="selflink">#</a></p><p class="src"><a href="#v:first">first</a> :: (a -> b) -> <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 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> b c <a href="#v:first" class="selflink">#</a></p><p class="src"><a href="#v:second">second</a> :: (b -> 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 -> <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 c <a href="#v:second" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifunctor:Bifunctor:9" class="instance expander" onclick="toggleSection('i:ic:Bifunctor:Bifunctor:9')"></span> <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</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> x1 x2)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifunctor:Bifunctor:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bimap">bimap</a> :: (a -> b) -> (c -> d) -> (x1, x2, a, c) -> (x1, x2, b, d) <a href="#v:bimap" class="selflink">#</a></p><p class="src"><a href="#v:first">first</a> :: (a -> b) -> (x1, x2, a, c) -> (x1, x2, b, c) <a href="#v:first" class="selflink">#</a></p><p class="src"><a href="#v:second">second</a> :: (b -> c) -> (x1, x2, a, b) -> (x1, x2, a, c) <a href="#v:second" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifunctor:Bifunctor:10" class="instance expander" onclick="toggleSection('i:ic:Bifunctor:Bifunctor:10')"></span> <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</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> x1 x2 x3)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifunctor:Bifunctor:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bimap">bimap</a> :: (a -> b) -> (c -> d) -> (x1, x2, x3, a, c) -> (x1, x2, x3, b, d) <a href="#v:bimap" class="selflink">#</a></p><p class="src"><a href="#v:first">first</a> :: (a -> b) -> (x1, x2, x3, a, c) -> (x1, x2, x3, b, c) <a href="#v:first" class="selflink">#</a></p><p class="src"><a href="#v:second">second</a> :: (b -> c) -> (x1, x2, x3, a, b) -> (x1, x2, x3, a, c) <a href="#v:second" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifunctor:Bifunctor:11" class="instance expander" onclick="toggleSection('i:ic:Bifunctor:Bifunctor:11')"></span> <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</a> p => <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</a> (<a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifunctor:Bifunctor:11" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bimap">bimap</a> :: (a -> b) -> (c -> d) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 b d <a href="#v:bimap" class="selflink">#</a></p><p class="src"><a href="#v:first">first</a> :: (a -> b) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 b c <a href="#v:first" class="selflink">#</a></p><p class="src"><a href="#v:second">second</a> :: (b -> c) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c <a href="#v:second" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifunctor:Bifunctor:12" class="instance expander" onclick="toggleSection('i:ic:Bifunctor:Bifunctor:12')"></span> <a href="Data-Functor-Apply.html#t:Functor">Functor</a> g => <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</a> (<a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifunctor:Bifunctor:12" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bimap">bimap</a> :: (a -> b) -> (c -> d) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 b d <a href="#v:bimap" class="selflink">#</a></p><p class="src"><a href="#v:first">first</a> :: (a -> b) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 b c <a href="#v:first" class="selflink">#</a></p><p class="src"><a href="#v:second">second</a> :: (b -> c) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c <a href="#v:second" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifunctor:Bifunctor:13" class="instance expander" onclick="toggleSection('i:ic:Bifunctor:Bifunctor:13')"></span> <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</a> p => <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</a> (<a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifunctor:Bifunctor:13" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bimap">bimap</a> :: (a -> b) -> (c -> d) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 b d <a href="#v:bimap" class="selflink">#</a></p><p class="src"><a href="#v:first">first</a> :: (a -> b) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 b c <a href="#v:first" class="selflink">#</a></p><p class="src"><a href="#v:second">second</a> :: (b -> c) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c <a href="#v:second" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifunctor:Bifunctor:14" class="instance expander" onclick="toggleSection('i:ic:Bifunctor:Bifunctor:14')"></span> <a href="Data-Functor-Apply.html#t:Functor">Functor</a> f => <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</a> (<a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifunctor:Bifunctor:14" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bimap">bimap</a> :: (a -> b) -> (c -> d) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 b d <a href="#v:bimap" class="selflink">#</a></p><p class="src"><a href="#v:first">first</a> :: (a -> b) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 b c <a href="#v:first" class="selflink">#</a></p><p class="src"><a href="#v:second">second</a> :: (b -> c) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c <a href="#v:second" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifunctor:Bifunctor:15" class="instance expander" onclick="toggleSection('i:ic:Bifunctor:Bifunctor:15')"></span> <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</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> x1 x2 x3 x4)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifunctor:Bifunctor:15" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bimap">bimap</a> :: (a -> b) -> (c -> d) -> (x1, x2, x3, x4, a, c) -> (x1, x2, x3, x4, b, d) <a href="#v:bimap" class="selflink">#</a></p><p class="src"><a href="#v:first">first</a> :: (a -> b) -> (x1, x2, x3, x4, a, c) -> (x1, x2, x3, x4, b, c) <a href="#v:first" class="selflink">#</a></p><p class="src"><a href="#v:second">second</a> :: (b -> c) -> (x1, x2, x3, x4, a, b) -> (x1, x2, x3, x4, a, c) <a href="#v:second" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifunctor:Bifunctor:16" class="instance expander" onclick="toggleSection('i:ic:Bifunctor:Bifunctor:16')"></span> (<a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</a> f, <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</a> g) => <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</a> (<a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifunctor:Bifunctor:16" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bimap">bimap</a> :: (a -> b) -> (c -> d) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 b d <a href="#v:bimap" class="selflink">#</a></p><p class="src"><a href="#v:first">first</a> :: (a -> b) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 b c <a href="#v:first" class="selflink">#</a></p><p class="src"><a href="#v:second">second</a> :: (b -> c) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c <a href="#v:second" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifunctor:Bifunctor:17" class="instance expander" onclick="toggleSection('i:ic:Bifunctor:Bifunctor:17')"></span> <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</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> x1 x2 x3 x4 x5)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifunctor:Bifunctor:17" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bimap">bimap</a> :: (a -> b) -> (c -> d) -> (x1, x2, x3, x4, x5, a, c) -> (x1, x2, x3, x4, x5, b, d) <a href="#v:bimap" class="selflink">#</a></p><p class="src"><a href="#v:first">first</a> :: (a -> b) -> (x1, x2, x3, x4, x5, a, c) -> (x1, x2, x3, x4, x5, b, c) <a href="#v:first" class="selflink">#</a></p><p class="src"><a href="#v:second">second</a> :: (b -> c) -> (x1, x2, x3, x4, x5, a, b) -> (x1, x2, x3, x4, x5, a, c) <a href="#v:second" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifunctor:Bifunctor:18" class="instance expander" onclick="toggleSection('i:ic:Bifunctor:Bifunctor:18')"></span> (<a href="Data-Functor-Apply.html#t:Functor">Functor</a> f, <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</a> p) => <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</a> (<a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifunctor:Bifunctor:18" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bimap">bimap</a> :: (a -> b) -> (c -> d) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 b d <a href="#v:bimap" class="selflink">#</a></p><p class="src"><a href="#v:first">first</a> :: (a -> b) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 b c <a href="#v:first" class="selflink">#</a></p><p class="src"><a href="#v:second">second</a> :: (b -> c) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c <a href="#v:second" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bifunctor:Bifunctor:19" class="instance expander" onclick="toggleSection('i:ic:Bifunctor:Bifunctor:19')"></span> (<a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</a> p, <a href="Data-Functor-Apply.html#t:Functor">Functor</a> f, <a href="Data-Functor-Apply.html#t:Functor">Functor</a> g) => <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</a> (<a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bifunctor:Bifunctor:19" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bimap">bimap</a> :: (a -> b) -> (c -> d) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 b d <a href="#v:bimap" class="selflink">#</a></p><p class="src"><a href="#v:first">first</a> :: (a -> b) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 b c <a href="#v:first" class="selflink">#</a></p><p class="src"><a href="#v:second">second</a> :: (b -> c) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c <a href="#v:second" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Data-Bifunctor-Apply.html#t:Bifunctor">Bifunctor</a> p => <a id="t:Biapply" class="def">Biapply</a> p <span class="keyword">where</span> <a href="src/Data-Functor-Bind-Class.html#Biapply" class="link">Source</a> <a href="#t:Biapply" class="selflink">#</a></p><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Data-Bifunctor-Apply.html#v:-60--60-.-62--62-">(<<.>>)</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:-60--60-.-62--62-" class="def">(<<.>>)</a> :: p (a -> b) (c -> d) -> p a c -> p b d <span class="fixity">infixl 4</span><span class="rightedge"></span> <a href="src/Data-Functor-Bind-Class.html#%3C%3C.%3E%3E" class="link">Source</a> <a href="#v:-60--60-.-62--62-" class="selflink">#</a></p><p class="src"><a id="v:.-62--62-" class="def">(.>>)</a> :: p a b -> p c d -> p c d <span class="fixity">infixl 4</span><span class="rightedge"></span> <a href="src/Data-Functor-Bind-Class.html#.%3E%3E" class="link">Source</a> <a href="#v:.-62--62-" class="selflink">#</a></p><div class="doc"><pre>a <code><a href="Data-Functor-Apply.html#v:.-62-">.></a></code> b ≡ <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Function.html#v:const">const</a></code> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Category.html#v:id">id</a></code> <code><a href="Data-Functor-Apply.html#v:-60--36--62-"><$></a></code> a <code><a href="Data-Functor-Apply.html#v:-60-.-62-"><.></a></code> b
</pre></div><p class="src"><a id="v:-60--60-." class="def">(<<.)</a> :: p a b -> p c d -> p a b <span class="fixity">infixl 4</span><span class="rightedge"></span> <a href="src/Data-Functor-Bind-Class.html#%3C%3C." class="link">Source</a> <a href="#v:-60--60-." class="selflink">#</a></p><div class="doc"><pre>a <code><a href="Data-Functor-Apply.html#v:-60-."><.</a></code> b ≡ <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Function.html#v:const">const</a></code> <code><a href="Data-Functor-Apply.html#v:-60--36--62-"><$></a></code> a <code><a href="Data-Functor-Apply.html#v:-60-.-62-"><.></a></code> b
</pre></div></div><div class="subs instances"><p id="control.i:Biapply" class="caption collapser" onclick="toggleSection('i:Biapply')">Instances</p><div id="section.i:Biapply" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapply:Biapply:1" class="instance expander" onclick="toggleSection('i:ic:Biapply:Biapply:1')"></span> <a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</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-Functor-Bind-Class.html#line-627" class="link">Source</a> <a href="#t:Biapply" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Biapply:Biapply:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--60-.-62--62-">(<<.>>)</a> :: (a -> b, c -> d) -> (a, c) -> (b, d) <a href="src/Data-Functor-Bind-Class.html#%3C%3C.%3E%3E" class="link">Source</a> <a href="#v:-60--60-.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62--62-">(.>>)</a> :: (a, b) -> (c, d) -> (c, d) <a href="src/Data-Functor-Bind-Class.html#.%3E%3E" class="link">Source</a> <a href="#v:.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60-.">(<<.)</a> :: (a, b) -> (c, d) -> (a, b) <a href="src/Data-Functor-Bind-Class.html#%3C%3C." class="link">Source</a> <a href="#v:-60--60-." class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapply:Biapply:2" class="instance expander" onclick="toggleSection('i:ic:Biapply:Biapply:2')"></span> <a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</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-Functor-Bind-Class.html#line-632" class="link">Source</a> <a href="#t:Biapply" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Biapply:Biapply:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--60-.-62--62-">(<<.>>)</a> :: <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 -> d) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Arg">Arg</a> a c -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Arg">Arg</a> b d <a href="src/Data-Functor-Bind-Class.html#%3C%3C.%3E%3E" class="link">Source</a> <a href="#v:-60--60-.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62--62-">(.>>)</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Arg">Arg</a> a b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Arg">Arg</a> c d -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Arg">Arg</a> c d <a href="src/Data-Functor-Bind-Class.html#.%3E%3E" class="link">Source</a> <a href="#v:.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60-.">(<<.)</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Arg">Arg</a> a b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Arg">Arg</a> c d -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Arg">Arg</a> a b <a href="src/Data-Functor-Bind-Class.html#%3C%3C." class="link">Source</a> <a href="#v:-60--60-." class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapply:Biapply:3" class="instance expander" onclick="toggleSection('i:ic:Biapply:Biapply:3')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Semigroup">Semigroup</a> x => <a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</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-Functor-Bind-Class.html#line-637" class="link">Source</a> <a href="#t:Biapply" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Biapply:Biapply:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--60-.-62--62-">(<<.>>)</a> :: (x, a -> b, c -> d) -> (x, a, c) -> (x, b, d) <a href="src/Data-Functor-Bind-Class.html#%3C%3C.%3E%3E" class="link">Source</a> <a href="#v:-60--60-.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62--62-">(.>>)</a> :: (x, a, b) -> (x, c, d) -> (x, c, d) <a href="src/Data-Functor-Bind-Class.html#.%3E%3E" class="link">Source</a> <a href="#v:.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60-.">(<<.)</a> :: (x, a, b) -> (x, c, d) -> (x, a, b) <a href="src/Data-Functor-Bind-Class.html#%3C%3C." class="link">Source</a> <a href="#v:-60--60-." class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapply:Biapply:4" class="instance expander" onclick="toggleSection('i:ic:Biapply:Biapply:4')"></span> <a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</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-Functor-Bind-Class.html#line-649" class="link">Source</a> <a href="#t:Biapply" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Biapply:Biapply:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--60-.-62--62-">(<<.>>)</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> (a -> b) (c -> d) -> <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 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> b d <a href="src/Data-Functor-Bind-Class.html#%3C%3C.%3E%3E" class="link">Source</a> <a href="#v:-60--60-.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62--62-">(.>>)</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> a b -> <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> c d -> <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> c d <a href="src/Data-Functor-Bind-Class.html#.%3E%3E" class="link">Source</a> <a href="#v:.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60-.">(<<.)</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> a b -> <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> c d -> <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 <a href="src/Data-Functor-Bind-Class.html#%3C%3C." class="link">Source</a> <a href="#v:-60--60-." class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapply:Biapply:5" class="instance expander" onclick="toggleSection('i:ic:Biapply:Biapply:5')"></span> <a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</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-Functor-Bind-Class.html#line-654" class="link">Source</a> <a href="#t:Biapply" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Biapply:Biapply:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--60-.-62--62-">(<<.>>)</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> (a -> b) (c -> d) -> <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 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> b d <a href="src/Data-Functor-Bind-Class.html#%3C%3C.%3E%3E" class="link">Source</a> <a href="#v:-60--60-.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62--62-">(.>>)</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> a b -> <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> c d -> <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> c d <a href="src/Data-Functor-Bind-Class.html#.%3E%3E" class="link">Source</a> <a href="#v:.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60-.">(<<.)</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> a b -> <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> c d -> <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 <a href="src/Data-Functor-Bind-Class.html#%3C%3C." class="link">Source</a> <a href="#v:-60--60-." class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapply:Biapply:6" class="instance expander" onclick="toggleSection('i:ic:Biapply:Biapply:6')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Semigroup">Semigroup</a> x, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Semigroup">Semigroup</a> y) => <a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</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-Functor-Bind-Class.html#line-641" class="link">Source</a> <a href="#t:Biapply" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Biapply:Biapply:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--60-.-62--62-">(<<.>>)</a> :: (x, y, a -> b, c -> d) -> (x, y, a, c) -> (x, y, b, d) <a href="src/Data-Functor-Bind-Class.html#%3C%3C.%3E%3E" class="link">Source</a> <a href="#v:-60--60-.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62--62-">(.>>)</a> :: (x, y, a, b) -> (x, y, c, d) -> (x, y, c, d) <a href="src/Data-Functor-Bind-Class.html#.%3E%3E" class="link">Source</a> <a href="#v:.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60-.">(<<.)</a> :: (x, y, a, b) -> (x, y, c, d) -> (x, y, a, b) <a href="src/Data-Functor-Bind-Class.html#%3C%3C." class="link">Source</a> <a href="#v:-60--60-." class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapply:Biapply:7" class="instance expander" onclick="toggleSection('i:ic:Biapply:Biapply:7')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Semigroup">Semigroup</a> x, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Semigroup">Semigroup</a> y, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Semigroup">Semigroup</a> z) => <a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</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-Functor-Bind-Class.html#line-645" class="link">Source</a> <a href="#t:Biapply" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Biapply:Biapply:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--60-.-62--62-">(<<.>>)</a> :: (x, y, z, a -> b, c -> d) -> (x, y, z, a, c) -> (x, y, z, b, d) <a href="src/Data-Functor-Bind-Class.html#%3C%3C.%3E%3E" class="link">Source</a> <a href="#v:-60--60-.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62--62-">(.>>)</a> :: (x, y, z, a, b) -> (x, y, z, c, d) -> (x, y, z, c, d) <a href="src/Data-Functor-Bind-Class.html#.%3E%3E" class="link">Source</a> <a href="#v:.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60-.">(<<.)</a> :: (x, y, z, a, b) -> (x, y, z, c, d) -> (x, y, z, a, b) <a href="src/Data-Functor-Bind-Class.html#%3C%3C." class="link">Source</a> <a href="#v:-60--60-." class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapply:Biapply:8" class="instance expander" onclick="toggleSection('i:ic:Biapply:Biapply:8')"></span> <a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</a> p => <a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</a> (<a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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-Functor-Bind-Class.html#line-692" class="link">Source</a> <a href="#t:Biapply" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Biapply:Biapply:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--60-.-62--62-">(<<.>>)</a> :: <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> d) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 b d <a href="src/Data-Functor-Bind-Class.html#%3C%3C.%3E%3E" class="link">Source</a> <a href="#v:-60--60-.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62--62-">(.>>)</a> :: <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c d -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c d <a href="src/Data-Functor-Bind-Class.html#.%3E%3E" class="link">Source</a> <a href="#v:.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60-.">(<<.)</a> :: <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c d -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 <a href="src/Data-Functor-Bind-Class.html#%3C%3C." class="link">Source</a> <a href="#v:-60--60-." class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapply:Biapply:9" class="instance expander" onclick="toggleSection('i:ic:Biapply:Biapply:9')"></span> <a href="Data-Functor-Apply.html#t:Apply">Apply</a> g => <a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</a> (<a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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-Functor-Bind-Class.html#line-671" class="link">Source</a> <a href="#t:Biapply" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Biapply:Biapply:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--60-.-62--62-">(<<.>>)</a> :: <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> d) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 b d <a href="src/Data-Functor-Bind-Class.html#%3C%3C.%3E%3E" class="link">Source</a> <a href="#v:-60--60-.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62--62-">(.>>)</a> :: <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c d -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c d <a href="src/Data-Functor-Bind-Class.html#.%3E%3E" class="link">Source</a> <a href="#v:.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60-.">(<<.)</a> :: <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c d -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 <a href="src/Data-Functor-Bind-Class.html#%3C%3C." class="link">Source</a> <a href="#v:-60--60-." class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapply:Biapply:10" class="instance expander" onclick="toggleSection('i:ic:Biapply:Biapply:10')"></span> <a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</a> p => <a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</a> (<a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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-Functor-Bind-Class.html#line-667" class="link">Source</a> <a href="#t:Biapply" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Biapply:Biapply:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--60-.-62--62-">(<<.>>)</a> :: <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> d) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 b d <a href="src/Data-Functor-Bind-Class.html#%3C%3C.%3E%3E" class="link">Source</a> <a href="#v:-60--60-.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62--62-">(.>>)</a> :: <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c d -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c d <a href="src/Data-Functor-Bind-Class.html#.%3E%3E" class="link">Source</a> <a href="#v:.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60-.">(<<.)</a> :: <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c d -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 <a href="src/Data-Functor-Bind-Class.html#%3C%3C." class="link">Source</a> <a href="#v:-60--60-." class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapply:Biapply:11" class="instance expander" onclick="toggleSection('i:ic:Biapply:Biapply:11')"></span> <a href="Data-Functor-Apply.html#t:Apply">Apply</a> f => <a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</a> (<a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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-Functor-Bind-Class.html#line-663" class="link">Source</a> <a href="#t:Biapply" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Biapply:Biapply:11" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--60-.-62--62-">(<<.>>)</a> :: <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> d) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 b d <a href="src/Data-Functor-Bind-Class.html#%3C%3C.%3E%3E" class="link">Source</a> <a href="#v:-60--60-.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62--62-">(.>>)</a> :: <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c d -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c d <a href="src/Data-Functor-Bind-Class.html#.%3E%3E" class="link">Source</a> <a href="#v:.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60-.">(<<.)</a> :: <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c d -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 <a href="src/Data-Functor-Bind-Class.html#%3C%3C." class="link">Source</a> <a href="#v:-60--60-." class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapply:Biapply:12" class="instance expander" onclick="toggleSection('i:ic:Biapply:Biapply:12')"></span> (<a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</a> p, <a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</a> q) => <a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</a> (<a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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> p q)</span> <a href="src/Data-Functor-Bind-Class.html#line-684" class="link">Source</a> <a href="#t:Biapply" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Biapply:Biapply:12" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--60-.-62--62-">(<<.>>)</a> :: <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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> p q (a -> b) (c -> d) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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> p q a c -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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> p q b d <a href="src/Data-Functor-Bind-Class.html#%3C%3C.%3E%3E" class="link">Source</a> <a href="#v:-60--60-.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62--62-">(.>>)</a> :: <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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> p q a b -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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> p q c d -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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> p q c d <a href="src/Data-Functor-Bind-Class.html#.%3E%3E" class="link">Source</a> <a href="#v:.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60-.">(<<.)</a> :: <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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> p q a b -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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> p q c d -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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> p q a b <a href="src/Data-Functor-Bind-Class.html#%3C%3C." class="link">Source</a> <a href="#v:-60--60-." class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapply:Biapply:13" class="instance expander" onclick="toggleSection('i:ic:Biapply:Biapply:13')"></span> (<a href="Data-Functor-Apply.html#t:Apply">Apply</a> f, <a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</a> p) => <a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</a> (<a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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-Functor-Bind-Class.html#line-688" class="link">Source</a> <a href="#t:Biapply" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Biapply:Biapply:13" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--60-.-62--62-">(<<.>>)</a> :: <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> d) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 b d <a href="src/Data-Functor-Bind-Class.html#%3C%3C.%3E%3E" class="link">Source</a> <a href="#v:-60--60-.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62--62-">(.>>)</a> :: <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c d -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c d <a href="src/Data-Functor-Bind-Class.html#.%3E%3E" class="link">Source</a> <a href="#v:.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60-.">(<<.)</a> :: <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c d -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 <a href="src/Data-Functor-Bind-Class.html#%3C%3C." class="link">Source</a> <a href="#v:-60--60-." class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapply:Biapply:14" class="instance expander" onclick="toggleSection('i:ic:Biapply:Biapply:14')"></span> (<a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</a> p, <a href="Data-Functor-Apply.html#t:Apply">Apply</a> f, <a href="Data-Functor-Apply.html#t:Apply">Apply</a> g) => <a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</a> (<a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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-Functor-Bind-Class.html#line-659" class="link">Source</a> <a href="#t:Biapply" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Biapply:Biapply:14" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--60-.-62--62-">(<<.>>)</a> :: <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> d) -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 b d <a href="src/Data-Functor-Bind-Class.html#%3C%3C.%3E%3E" class="link">Source</a> <a href="#v:-60--60-.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62--62-">(.>>)</a> :: <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c d -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c d <a href="src/Data-Functor-Bind-Class.html#.%3E%3E" class="link">Source</a> <a href="#v:.-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60-.">(<<.)</a> :: <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 c d -> <a href="file:///usr/share/doc/libghc-bifunctors-doc/html/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 <a href="src/Data-Functor-Bind-Class.html#%3C%3C." class="link">Source</a> <a href="#v:-60--60-." class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:-60--60--36--62--62-" class="def">(<<$>>)</a> :: (a -> b) -> a -> b <span class="fixity">infixl 4</span><span class="rightedge"></span> <a href="#v:-60--60--36--62--62-" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:-60--60-..-62--62-" class="def">(<<..>>)</a> :: <a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</a> p => p a c -> p (a -> b) (c -> d) -> p b d <span class="fixity">infixl 4</span><span class="rightedge"></span> <a href="src/Data-Bifunctor-Apply.html#%3C%3C..%3E%3E" class="link">Source</a> <a href="#v:-60--60-..-62--62-" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:bilift2" class="def">bilift2</a> :: <a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</a> w => (a -> b -> c) -> (d -> e -> f) -> w a d -> w b e -> w c f <a href="src/Data-Bifunctor-Apply.html#bilift2" class="link">Source</a> <a href="#v:bilift2" class="selflink">#</a></p><div class="doc"><p>Lift binary functions</p></div></div><div class="top"><p class="src"><a id="v:bilift3" class="def">bilift3</a> :: <a href="Data-Bifunctor-Apply.html#t:Biapply">Biapply</a> w => (a -> b -> c -> d) -> (e -> f -> g -> h) -> w a e -> w b f -> w c g -> w d h <a href="src/Data-Bifunctor-Apply.html#bilift3" class="link">Source</a> <a href="#v:bilift3" class="selflink">#</a></p><div class="doc"><p>Lift ternary functions</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>
|