This file is indexed.

/usr/share/doc/libghc-bifunctors-doc/html/Data-Biapplicative.html is in libghc-bifunctors-doc 5.4.2-1build3.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

1
2
3
4
5
6
<!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.Biapplicative</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-Biapplicative.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-Biapplicative.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">bifunctors-5.4.2: Bifunctors</p></div><div id="content"><div id="module-header"><table class="info"><tr><th valign="top">Copyright</th><td>(C) 2011-2015 Edward Kmett</td></tr><tr><th>License</th><td>BSD-style (see the file LICENSE)</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</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.Biapplicative</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Biapplicative bifunctors</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bifunctor.html#t:Bifunctor">Bifunctor</a> p =&gt; <a href="#t:Biapplicative">Biapplicative</a> p <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><a href="#v:-60--60--36--62--62-">(&lt;&lt;$&gt;&gt;)</a> :: (a -&gt; b) -&gt; a -&gt; b</li><li class="src short"><a href="#v:-60--60--42--42--62--62-">(&lt;&lt;**&gt;&gt;)</a> :: <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</a> p =&gt; p a c -&gt; p (a -&gt; b) (c -&gt; d) -&gt; p b d</li><li class="src short"><a href="#v:biliftA2">biliftA2</a> :: <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</a> w =&gt; (a -&gt; b -&gt; c) -&gt; (d -&gt; e -&gt; f) -&gt; w a d -&gt; w b e -&gt; w c f</li><li class="src short"><a href="#v:biliftA3">biliftA3</a> :: <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</a> w =&gt; (a -&gt; b -&gt; c -&gt; d) -&gt; (e -&gt; f -&gt; g -&gt; h) -&gt; w a e -&gt; w b f -&gt; w c g -&gt; w d h</li><li class="src short">module <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bifunctor.html">Data.Bifunctor</a></li></ul></div><div id="interface"><h1 id="g:1">Biapplicative bifunctors</h1><div class="top"><p class="src"><span class="keyword">class</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bifunctor.html#t:Bifunctor">Bifunctor</a> p =&gt; <a id="t:Biapplicative" class="def">Biapplicative</a> p <span class="keyword">where</span> <a href="src/Data-Biapplicative.html#Biapplicative" class="link">Source</a> <a href="#t:Biapplicative" class="selflink">#</a></p><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Data-Biapplicative.html#v:bipure">bipure</a>, <a href="Data-Biapplicative.html#v:-60--60--42--62--62-">(&lt;&lt;*&gt;&gt;)</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:bipure" class="def">bipure</a> :: a -&gt; b -&gt; p a b <a href="src/Data-Biapplicative.html#bipure" class="link">Source</a> <a href="#v:bipure" class="selflink">#</a></p><p class="src"><a id="v:-60--60--42--62--62-" class="def">(&lt;&lt;*&gt;&gt;)</a> :: p (a -&gt; b) (c -&gt; d) -&gt; p a c -&gt; p b d <span class="fixity">infixl 4</span><span class="rightedge"></span> <a href="src/Data-Biapplicative.html#%3C%3C%2A%3E%3E" class="link">Source</a> <a href="#v:-60--60--42--62--62-" class="selflink">#</a></p><p class="src"><a id="v:-42--62--62-" class="def">(*&gt;&gt;)</a> :: p a b -&gt; p c d -&gt; p c d <span class="fixity">infixl 4</span><span class="rightedge"></span> <a href="src/Data-Biapplicative.html#%2A%3E%3E" class="link">Source</a> <a href="#v:-42--62--62-" class="selflink">#</a></p><div class="doc"><pre>a <code><a href="Data-Biapplicative.html#v:-42--62--62-">*&gt;&gt;</a></code> b &#8801; <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bifunctor.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:const">const</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:const">const</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-Biapplicative.html#v:-60--60--36--62--62-">&lt;&lt;$&gt;&gt;</a></code> a <code><a href="Data-Biapplicative.html#v:-60--60--42--62--62-">&lt;&lt;*&gt;&gt;</a></code> b
</pre></div><p class="src"><a id="v:-60--60--42-" class="def">(&lt;&lt;*)</a> :: p a b -&gt; p c d -&gt; p a b <span class="fixity">infixl 4</span><span class="rightedge"></span> <a href="src/Data-Biapplicative.html#%3C%3C%2A" class="link">Source</a> <a href="#v:-60--60--42-" class="selflink">#</a></p><div class="doc"><pre>a <code><a href="Data-Biapplicative.html#v:-60--60--42-">&lt;&lt;*</a></code> b &#8801; <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bifunctor.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:const">const</a></code> <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-Biapplicative.html#v:-60--60--36--62--62-">&lt;&lt;$&gt;&gt;</a></code> a <code><a href="Data-Biapplicative.html#v:-60--60--42--62--62-">&lt;&lt;*&gt;&gt;</a></code> b
</pre></div></div><div class="subs instances"><p id="control.i:Biapplicative" class="caption collapser" onclick="toggleSection('i:Biapplicative')">Instances</p><div id="section.i:Biapplicative" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapplicative:Biapplicative:1" class="instance expander" onclick="toggleSection('i:ic:Biapplicative:Biapplicative:1')"></span> <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</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-Biapplicative.html#line-85" class="link">Source</a> <a href="#t:Biapplicative" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:ic:Biapplicative:Biapplicative:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bipure">bipure</a> :: a -&gt; b -&gt; (a, b) <a href="src/Data-Biapplicative.html#bipure" class="link">Source</a> <a href="#v:bipure" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42--62--62-">(&lt;&lt;*&gt;&gt;)</a> :: (a -&gt; b, c -&gt; d) -&gt; (a, c) -&gt; (b, d) <a href="src/Data-Biapplicative.html#%3C%3C%2A%3E%3E" class="link">Source</a> <a href="#v:-60--60--42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62--62-">(*&gt;&gt;)</a> :: (a, b) -&gt; (c, d) -&gt; (c, d) <a href="src/Data-Biapplicative.html#%2A%3E%3E" class="link">Source</a> <a href="#v:-42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42-">(&lt;&lt;*)</a> :: (a, b) -&gt; (c, d) -&gt; (a, b) <a href="src/Data-Biapplicative.html#%3C%3C%2A" class="link">Source</a> <a href="#v:-60--60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapplicative:Biapplicative:2" class="instance expander" onclick="toggleSection('i:ic:Biapplicative:Biapplicative:2')"></span> <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</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-Biapplicative.html#line-92" class="link">Source</a> <a href="#t:Biapplicative" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:ic:Biapplicative:Biapplicative:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bipure">bipure</a> :: a -&gt; b -&gt; <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-Biapplicative.html#bipure" class="link">Source</a> <a href="#v:bipure" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42--62--62-">(&lt;&lt;*&gt;&gt;)</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Arg">Arg</a> (a -&gt; b) (c -&gt; d) -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Arg">Arg</a> a c -&gt; <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-Biapplicative.html#%3C%3C%2A%3E%3E" class="link">Source</a> <a href="#v:-60--60--42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62--62-">(*&gt;&gt;)</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 -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Arg">Arg</a> c d -&gt; <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-Biapplicative.html#%2A%3E%3E" class="link">Source</a> <a href="#v:-42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42-">(&lt;&lt;*)</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 -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Arg">Arg</a> c d -&gt; <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-Biapplicative.html#%3C%3C%2A" class="link">Source</a> <a href="#v:-60--60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapplicative:Biapplicative:3" class="instance expander" onclick="toggleSection('i:ic:Biapplicative:Biapplicative:3')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> x =&gt; <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</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-Biapplicative.html#line-99" class="link">Source</a> <a href="#t:Biapplicative" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:ic:Biapplicative:Biapplicative:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bipure">bipure</a> :: a -&gt; b -&gt; (x, a, b) <a href="src/Data-Biapplicative.html#bipure" class="link">Source</a> <a href="#v:bipure" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42--62--62-">(&lt;&lt;*&gt;&gt;)</a> :: (x, a -&gt; b, c -&gt; d) -&gt; (x, a, c) -&gt; (x, b, d) <a href="src/Data-Biapplicative.html#%3C%3C%2A%3E%3E" class="link">Source</a> <a href="#v:-60--60--42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62--62-">(*&gt;&gt;)</a> :: (x, a, b) -&gt; (x, c, d) -&gt; (x, c, d) <a href="src/Data-Biapplicative.html#%2A%3E%3E" class="link">Source</a> <a href="#v:-42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42-">(&lt;&lt;*)</a> :: (x, a, b) -&gt; (x, c, d) -&gt; (x, a, b) <a href="src/Data-Biapplicative.html#%3C%3C%2A" class="link">Source</a> <a href="#v:-60--60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapplicative:Biapplicative:4" class="instance expander" onclick="toggleSection('i:ic:Biapplicative:Biapplicative:4')"></span> <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</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-Biapplicative.html#line-138" class="link">Source</a> <a href="#t:Biapplicative" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:ic:Biapplicative:Biapplicative:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bipure">bipure</a> :: a -&gt; b -&gt; <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-Biapplicative.html#bipure" class="link">Source</a> <a href="#v:bipure" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42--62--62-">(&lt;&lt;*&gt;&gt;)</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 -&gt; b) (c -&gt; d) -&gt; <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 -&gt; <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-Biapplicative.html#%3C%3C%2A%3E%3E" class="link">Source</a> <a href="#v:-60--60--42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62--62-">(*&gt;&gt;)</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 -&gt; <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 -&gt; <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-Biapplicative.html#%2A%3E%3E" class="link">Source</a> <a href="#v:-42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42-">(&lt;&lt;*)</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 -&gt; <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 -&gt; <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-Biapplicative.html#%3C%3C%2A" class="link">Source</a> <a href="#v:-60--60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapplicative:Biapplicative:5" class="instance expander" onclick="toggleSection('i:ic:Biapplicative:Biapplicative:5')"></span> <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</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-Biapplicative.html#line-130" class="link">Source</a> <a href="#t:Biapplicative" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:ic:Biapplicative:Biapplicative:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bipure">bipure</a> :: a -&gt; b -&gt; <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-Biapplicative.html#bipure" class="link">Source</a> <a href="#v:bipure" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42--62--62-">(&lt;&lt;*&gt;&gt;)</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 -&gt; b) (c -&gt; d) -&gt; <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 -&gt; <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-Biapplicative.html#%3C%3C%2A%3E%3E" class="link">Source</a> <a href="#v:-60--60--42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62--62-">(*&gt;&gt;)</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 -&gt; <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 -&gt; <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-Biapplicative.html#%2A%3E%3E" class="link">Source</a> <a href="#v:-42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42-">(&lt;&lt;*)</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 -&gt; <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 -&gt; <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-Biapplicative.html#%3C%3C%2A" class="link">Source</a> <a href="#v:-60--60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapplicative:Biapplicative:6" class="instance expander" onclick="toggleSection('i:ic:Biapplicative:Biapplicative:6')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> x, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> y) =&gt; <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</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-Biapplicative.html#line-105" class="link">Source</a> <a href="#t:Biapplicative" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:ic:Biapplicative:Biapplicative:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bipure">bipure</a> :: a -&gt; b -&gt; (x, y, a, b) <a href="src/Data-Biapplicative.html#bipure" class="link">Source</a> <a href="#v:bipure" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42--62--62-">(&lt;&lt;*&gt;&gt;)</a> :: (x, y, a -&gt; b, c -&gt; d) -&gt; (x, y, a, c) -&gt; (x, y, b, d) <a href="src/Data-Biapplicative.html#%3C%3C%2A%3E%3E" class="link">Source</a> <a href="#v:-60--60--42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62--62-">(*&gt;&gt;)</a> :: (x, y, a, b) -&gt; (x, y, c, d) -&gt; (x, y, c, d) <a href="src/Data-Biapplicative.html#%2A%3E%3E" class="link">Source</a> <a href="#v:-42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42-">(&lt;&lt;*)</a> :: (x, y, a, b) -&gt; (x, y, c, d) -&gt; (x, y, a, b) <a href="src/Data-Biapplicative.html#%3C%3C%2A" class="link">Source</a> <a href="#v:-60--60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapplicative:Biapplicative:7" class="instance expander" onclick="toggleSection('i:ic:Biapplicative:Biapplicative:7')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> x, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> y, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> z) =&gt; <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</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-Biapplicative.html#line-111" class="link">Source</a> <a href="#t:Biapplicative" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:ic:Biapplicative:Biapplicative:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bipure">bipure</a> :: a -&gt; b -&gt; (x, y, z, a, b) <a href="src/Data-Biapplicative.html#bipure" class="link">Source</a> <a href="#v:bipure" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42--62--62-">(&lt;&lt;*&gt;&gt;)</a> :: (x, y, z, a -&gt; b, c -&gt; d) -&gt; (x, y, z, a, c) -&gt; (x, y, z, b, d) <a href="src/Data-Biapplicative.html#%3C%3C%2A%3E%3E" class="link">Source</a> <a href="#v:-60--60--42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62--62-">(*&gt;&gt;)</a> :: (x, y, z, a, b) -&gt; (x, y, z, c, d) -&gt; (x, y, z, c, d) <a href="src/Data-Biapplicative.html#%2A%3E%3E" class="link">Source</a> <a href="#v:-42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42-">(&lt;&lt;*)</a> :: (x, y, z, a, b) -&gt; (x, y, z, c, d) -&gt; (x, y, z, a, b) <a href="src/Data-Biapplicative.html#%3C%3C%2A" class="link">Source</a> <a href="#v:-60--60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapplicative:Biapplicative:8" class="instance expander" onclick="toggleSection('i:ic:Biapplicative:Biapplicative:8')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f =&gt; <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</a> (<a href="Data-Bifunctor-Clown.html#t:Clown">Clown</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f)</span> <a href="src/Data-Biapplicative.html#line-108" class="link">Source</a> <a href="#t:Biapplicative" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:ic:Biapplicative:Biapplicative:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bipure">bipure</a> :: a -&gt; b -&gt; <a href="Data-Bifunctor-Clown.html#t:Clown">Clown</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f a b <a href="src/Data-Biapplicative.html#bipure" class="link">Source</a> <a href="#v:bipure" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42--62--62-">(&lt;&lt;*&gt;&gt;)</a> :: <a href="Data-Bifunctor-Clown.html#t:Clown">Clown</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f (a -&gt; b) (c -&gt; d) -&gt; <a href="Data-Bifunctor-Clown.html#t:Clown">Clown</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f a c -&gt; <a href="Data-Bifunctor-Clown.html#t:Clown">Clown</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f b d <a href="src/Data-Biapplicative.html#%3C%3C%2A%3E%3E" class="link">Source</a> <a href="#v:-60--60--42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62--62-">(*&gt;&gt;)</a> :: <a href="Data-Bifunctor-Clown.html#t:Clown">Clown</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f a b -&gt; <a href="Data-Bifunctor-Clown.html#t:Clown">Clown</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f c d -&gt; <a href="Data-Bifunctor-Clown.html#t:Clown">Clown</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f c d <a href="src/Data-Biapplicative.html#%2A%3E%3E" class="link">Source</a> <a href="#v:-42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42-">(&lt;&lt;*)</a> :: <a href="Data-Bifunctor-Clown.html#t:Clown">Clown</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f a b -&gt; <a href="Data-Bifunctor-Clown.html#t:Clown">Clown</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f c d -&gt; <a href="Data-Bifunctor-Clown.html#t:Clown">Clown</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f a b <a href="src/Data-Biapplicative.html#%3C%3C%2A" class="link">Source</a> <a href="#v:-60--60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapplicative:Biapplicative:9" class="instance expander" onclick="toggleSection('i:ic:Biapplicative:Biapplicative:9')"></span> <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</a> p =&gt; <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</a> (<a href="Data-Bifunctor-Flip.html#t:Flip">Flip</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p)</span> <a href="src/Data-Biapplicative.html#line-79" class="link">Source</a> <a href="#t:Biapplicative" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:ic:Biapplicative:Biapplicative:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bipure">bipure</a> :: a -&gt; b -&gt; <a href="Data-Bifunctor-Flip.html#t:Flip">Flip</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p a b <a href="src/Data-Biapplicative.html#bipure" class="link">Source</a> <a href="#v:bipure" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42--62--62-">(&lt;&lt;*&gt;&gt;)</a> :: <a href="Data-Bifunctor-Flip.html#t:Flip">Flip</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p (a -&gt; b) (c -&gt; d) -&gt; <a href="Data-Bifunctor-Flip.html#t:Flip">Flip</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p a c -&gt; <a href="Data-Bifunctor-Flip.html#t:Flip">Flip</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p b d <a href="src/Data-Biapplicative.html#%3C%3C%2A%3E%3E" class="link">Source</a> <a href="#v:-60--60--42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62--62-">(*&gt;&gt;)</a> :: <a href="Data-Bifunctor-Flip.html#t:Flip">Flip</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p a b -&gt; <a href="Data-Bifunctor-Flip.html#t:Flip">Flip</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p c d -&gt; <a href="Data-Bifunctor-Flip.html#t:Flip">Flip</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p c d <a href="src/Data-Biapplicative.html#%2A%3E%3E" class="link">Source</a> <a href="#v:-42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42-">(&lt;&lt;*)</a> :: <a href="Data-Bifunctor-Flip.html#t:Flip">Flip</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p a b -&gt; <a href="Data-Bifunctor-Flip.html#t:Flip">Flip</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p c d -&gt; <a href="Data-Bifunctor-Flip.html#t:Flip">Flip</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p a b <a href="src/Data-Biapplicative.html#%3C%3C%2A" class="link">Source</a> <a href="#v:-60--60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapplicative:Biapplicative:10" class="instance expander" onclick="toggleSection('i:ic:Biapplicative:Biapplicative:10')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> g =&gt; <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</a> (<a href="Data-Bifunctor-Joker.html#t:Joker">Joker</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> g)</span> <a href="src/Data-Biapplicative.html#line-107" class="link">Source</a> <a href="#t:Biapplicative" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:ic:Biapplicative:Biapplicative:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bipure">bipure</a> :: a -&gt; b -&gt; <a href="Data-Bifunctor-Joker.html#t:Joker">Joker</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> g a b <a href="src/Data-Biapplicative.html#bipure" class="link">Source</a> <a href="#v:bipure" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42--62--62-">(&lt;&lt;*&gt;&gt;)</a> :: <a href="Data-Bifunctor-Joker.html#t:Joker">Joker</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> g (a -&gt; b) (c -&gt; d) -&gt; <a href="Data-Bifunctor-Joker.html#t:Joker">Joker</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> g a c -&gt; <a href="Data-Bifunctor-Joker.html#t:Joker">Joker</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> g b d <a href="src/Data-Biapplicative.html#%3C%3C%2A%3E%3E" class="link">Source</a> <a href="#v:-60--60--42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62--62-">(*&gt;&gt;)</a> :: <a href="Data-Bifunctor-Joker.html#t:Joker">Joker</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> g a b -&gt; <a href="Data-Bifunctor-Joker.html#t:Joker">Joker</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> g c d -&gt; <a href="Data-Bifunctor-Joker.html#t:Joker">Joker</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> g c d <a href="src/Data-Biapplicative.html#%2A%3E%3E" class="link">Source</a> <a href="#v:-42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42-">(&lt;&lt;*)</a> :: <a href="Data-Bifunctor-Joker.html#t:Joker">Joker</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> g a b -&gt; <a href="Data-Bifunctor-Joker.html#t:Joker">Joker</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> g c d -&gt; <a href="Data-Bifunctor-Joker.html#t:Joker">Joker</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> g a b <a href="src/Data-Biapplicative.html#%3C%3C%2A" class="link">Source</a> <a href="#v:-60--60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapplicative:Biapplicative:11" class="instance expander" onclick="toggleSection('i:ic:Biapplicative:Biapplicative:11')"></span> <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</a> p =&gt; <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</a> (<a href="Data-Bifunctor-Wrapped.html#t:WrappedBifunctor">WrappedBifunctor</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p)</span> <a href="src/Data-Biapplicative.html#line-104" class="link">Source</a> <a href="#t:Biapplicative" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:ic:Biapplicative:Biapplicative:11" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bipure">bipure</a> :: a -&gt; b -&gt; <a href="Data-Bifunctor-Wrapped.html#t:WrappedBifunctor">WrappedBifunctor</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p a b <a href="src/Data-Biapplicative.html#bipure" class="link">Source</a> <a href="#v:bipure" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42--62--62-">(&lt;&lt;*&gt;&gt;)</a> :: <a href="Data-Bifunctor-Wrapped.html#t:WrappedBifunctor">WrappedBifunctor</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p (a -&gt; b) (c -&gt; d) -&gt; <a href="Data-Bifunctor-Wrapped.html#t:WrappedBifunctor">WrappedBifunctor</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p a c -&gt; <a href="Data-Bifunctor-Wrapped.html#t:WrappedBifunctor">WrappedBifunctor</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p b d <a href="src/Data-Biapplicative.html#%3C%3C%2A%3E%3E" class="link">Source</a> <a href="#v:-60--60--42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62--62-">(*&gt;&gt;)</a> :: <a href="Data-Bifunctor-Wrapped.html#t:WrappedBifunctor">WrappedBifunctor</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p a b -&gt; <a href="Data-Bifunctor-Wrapped.html#t:WrappedBifunctor">WrappedBifunctor</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p c d -&gt; <a href="Data-Bifunctor-Wrapped.html#t:WrappedBifunctor">WrappedBifunctor</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p c d <a href="src/Data-Biapplicative.html#%2A%3E%3E" class="link">Source</a> <a href="#v:-42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42-">(&lt;&lt;*)</a> :: <a href="Data-Bifunctor-Wrapped.html#t:WrappedBifunctor">WrappedBifunctor</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p a b -&gt; <a href="Data-Bifunctor-Wrapped.html#t:WrappedBifunctor">WrappedBifunctor</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p c d -&gt; <a href="Data-Bifunctor-Wrapped.html#t:WrappedBifunctor">WrappedBifunctor</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p a b <a href="src/Data-Biapplicative.html#%3C%3C%2A" class="link">Source</a> <a href="#v:-60--60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapplicative:Biapplicative:12" class="instance expander" onclick="toggleSection('i:ic:Biapplicative:Biapplicative:12')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> x, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> y, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> z, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> w) =&gt; <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.5.0.0/GHC-Tuple.html#t:-40--44--44--44--44--44--41-">(,,,,,)</a> x y z w)</span> <a href="src/Data-Biapplicative.html#line-117" class="link">Source</a> <a href="#t:Biapplicative" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:ic:Biapplicative:Biapplicative:12" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bipure">bipure</a> :: a -&gt; b -&gt; (x, y, z, w, a, b) <a href="src/Data-Biapplicative.html#bipure" class="link">Source</a> <a href="#v:bipure" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42--62--62-">(&lt;&lt;*&gt;&gt;)</a> :: (x, y, z, w, a -&gt; b, c -&gt; d) -&gt; (x, y, z, w, a, c) -&gt; (x, y, z, w, b, d) <a href="src/Data-Biapplicative.html#%3C%3C%2A%3E%3E" class="link">Source</a> <a href="#v:-60--60--42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62--62-">(*&gt;&gt;)</a> :: (x, y, z, w, a, b) -&gt; (x, y, z, w, c, d) -&gt; (x, y, z, w, c, d) <a href="src/Data-Biapplicative.html#%2A%3E%3E" class="link">Source</a> <a href="#v:-42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42-">(&lt;&lt;*)</a> :: (x, y, z, w, a, b) -&gt; (x, y, z, w, c, d) -&gt; (x, y, z, w, a, b) <a href="src/Data-Biapplicative.html#%3C%3C%2A" class="link">Source</a> <a href="#v:-60--60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapplicative:Biapplicative:13" class="instance expander" onclick="toggleSection('i:ic:Biapplicative:Biapplicative:13')"></span> (<a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</a> f, <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</a> g) =&gt; <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</a> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g)</span> <a href="src/Data-Biapplicative.html#line-95" class="link">Source</a> <a href="#t:Biapplicative" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:ic:Biapplicative:Biapplicative:13" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bipure">bipure</a> :: a -&gt; b -&gt; <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g a b <a href="src/Data-Biapplicative.html#bipure" class="link">Source</a> <a href="#v:bipure" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42--62--62-">(&lt;&lt;*&gt;&gt;)</a> :: <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g (a -&gt; b) (c -&gt; d) -&gt; <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g a c -&gt; <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g b d <a href="src/Data-Biapplicative.html#%3C%3C%2A%3E%3E" class="link">Source</a> <a href="#v:-60--60--42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62--62-">(*&gt;&gt;)</a> :: <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g a b -&gt; <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g c d -&gt; <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g c d <a href="src/Data-Biapplicative.html#%2A%3E%3E" class="link">Source</a> <a href="#v:-42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42-">(&lt;&lt;*)</a> :: <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g a b -&gt; <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g c d -&gt; <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g a b <a href="src/Data-Biapplicative.html#%3C%3C%2A" class="link">Source</a> <a href="#v:-60--60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapplicative:Biapplicative:14" class="instance expander" onclick="toggleSection('i:ic:Biapplicative:Biapplicative:14')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> x, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> y, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> z, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> w, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> v) =&gt; <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.5.0.0/GHC-Tuple.html#t:-40--44--44--44--44--44--44--41-">(,,,,,,)</a> x y z w v)</span> <a href="src/Data-Biapplicative.html#line-123" class="link">Source</a> <a href="#t:Biapplicative" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:ic:Biapplicative:Biapplicative:14" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bipure">bipure</a> :: a -&gt; b -&gt; (x, y, z, w, v, a, b) <a href="src/Data-Biapplicative.html#bipure" class="link">Source</a> <a href="#v:bipure" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42--62--62-">(&lt;&lt;*&gt;&gt;)</a> :: (x, y, z, w, v, a -&gt; b, c -&gt; d) -&gt; (x, y, z, w, v, a, c) -&gt; (x, y, z, w, v, b, d) <a href="src/Data-Biapplicative.html#%3C%3C%2A%3E%3E" class="link">Source</a> <a href="#v:-60--60--42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62--62-">(*&gt;&gt;)</a> :: (x, y, z, w, v, a, b) -&gt; (x, y, z, w, v, c, d) -&gt; (x, y, z, w, v, c, d) <a href="src/Data-Biapplicative.html#%2A%3E%3E" class="link">Source</a> <a href="#v:-42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42-">(&lt;&lt;*)</a> :: (x, y, z, w, v, a, b) -&gt; (x, y, z, w, v, c, d) -&gt; (x, y, z, w, v, a, b) <a href="src/Data-Biapplicative.html#%3C%3C%2A" class="link">Source</a> <a href="#v:-60--60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapplicative:Biapplicative:15" class="instance expander" onclick="toggleSection('i:ic:Biapplicative:Biapplicative:15')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f, <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</a> p) =&gt; <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</a> (<a href="Data-Bifunctor-Tannen.html#t:Tannen">Tannen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f p)</span> <a href="src/Data-Biapplicative.html#line-125" class="link">Source</a> <a href="#t:Biapplicative" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:ic:Biapplicative:Biapplicative:15" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bipure">bipure</a> :: a -&gt; b -&gt; <a href="Data-Bifunctor-Tannen.html#t:Tannen">Tannen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f p a b <a href="src/Data-Biapplicative.html#bipure" class="link">Source</a> <a href="#v:bipure" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42--62--62-">(&lt;&lt;*&gt;&gt;)</a> :: <a href="Data-Bifunctor-Tannen.html#t:Tannen">Tannen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f p (a -&gt; b) (c -&gt; d) -&gt; <a href="Data-Bifunctor-Tannen.html#t:Tannen">Tannen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f p a c -&gt; <a href="Data-Bifunctor-Tannen.html#t:Tannen">Tannen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f p b d <a href="src/Data-Biapplicative.html#%3C%3C%2A%3E%3E" class="link">Source</a> <a href="#v:-60--60--42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62--62-">(*&gt;&gt;)</a> :: <a href="Data-Bifunctor-Tannen.html#t:Tannen">Tannen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f p a b -&gt; <a href="Data-Bifunctor-Tannen.html#t:Tannen">Tannen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f p c d -&gt; <a href="Data-Bifunctor-Tannen.html#t:Tannen">Tannen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f p c d <a href="src/Data-Biapplicative.html#%2A%3E%3E" class="link">Source</a> <a href="#v:-42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42-">(&lt;&lt;*)</a> :: <a href="Data-Bifunctor-Tannen.html#t:Tannen">Tannen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f p a b -&gt; <a href="Data-Bifunctor-Tannen.html#t:Tannen">Tannen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f p c d -&gt; <a href="Data-Bifunctor-Tannen.html#t:Tannen">Tannen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f p a b <a href="src/Data-Biapplicative.html#%3C%3C%2A" class="link">Source</a> <a href="#v:-60--60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Biapplicative:Biapplicative:16" class="instance expander" onclick="toggleSection('i:ic:Biapplicative:Biapplicative:16')"></span> (<a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> g) =&gt; <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</a> (<a href="Data-Bifunctor-Biff.html#t:Biff">Biff</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p f g)</span> <a href="src/Data-Biapplicative.html#line-108" class="link">Source</a> <a href="#t:Biapplicative" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:ic:Biapplicative:Biapplicative:16" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bipure">bipure</a> :: a -&gt; b -&gt; <a href="Data-Bifunctor-Biff.html#t:Biff">Biff</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p f g a b <a href="src/Data-Biapplicative.html#bipure" class="link">Source</a> <a href="#v:bipure" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42--62--62-">(&lt;&lt;*&gt;&gt;)</a> :: <a href="Data-Bifunctor-Biff.html#t:Biff">Biff</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p f g (a -&gt; b) (c -&gt; d) -&gt; <a href="Data-Bifunctor-Biff.html#t:Biff">Biff</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p f g a c -&gt; <a href="Data-Bifunctor-Biff.html#t:Biff">Biff</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p f g b d <a href="src/Data-Biapplicative.html#%3C%3C%2A%3E%3E" class="link">Source</a> <a href="#v:-60--60--42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62--62-">(*&gt;&gt;)</a> :: <a href="Data-Bifunctor-Biff.html#t:Biff">Biff</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p f g a b -&gt; <a href="Data-Bifunctor-Biff.html#t:Biff">Biff</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p f g c d -&gt; <a href="Data-Bifunctor-Biff.html#t:Biff">Biff</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p f g c d <a href="src/Data-Biapplicative.html#%2A%3E%3E" class="link">Source</a> <a href="#v:-42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42-">(&lt;&lt;*)</a> :: <a href="Data-Bifunctor-Biff.html#t:Biff">Biff</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p f g a b -&gt; <a href="Data-Bifunctor-Biff.html#t:Biff">Biff</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p f g c d -&gt; <a href="Data-Bifunctor-Biff.html#t:Biff">Biff</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> p f g a b <a href="src/Data-Biapplicative.html#%3C%3C%2A" class="link">Source</a> <a href="#v:-60--60--42-" 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">(&lt;&lt;$&gt;&gt;)</a> :: (a -&gt; b) -&gt; a -&gt; b <span class="fixity">infixl 4</span><span class="rightedge"></span> <a href="src/Data-Biapplicative.html#%3C%3C%24%3E%3E" class="link">Source</a> <a href="#v:-60--60--36--62--62-" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:-60--60--42--42--62--62-" class="def">(&lt;&lt;**&gt;&gt;)</a> :: <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</a> p =&gt; p a c -&gt; p (a -&gt; b) (c -&gt; d) -&gt; p b d <span class="fixity">infixl 4</span><span class="rightedge"></span> <a href="src/Data-Biapplicative.html#%3C%3C%2A%2A%3E%3E" class="link">Source</a> <a href="#v:-60--60--42--42--62--62-" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:biliftA2" class="def">biliftA2</a> :: <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</a> w =&gt; (a -&gt; b -&gt; c) -&gt; (d -&gt; e -&gt; f) -&gt; w a d -&gt; w b e -&gt; w c f <a href="src/Data-Biapplicative.html#biliftA2" class="link">Source</a> <a href="#v:biliftA2" class="selflink">#</a></p><div class="doc"><p>Lift binary functions</p></div></div><div class="top"><p class="src"><a id="v:biliftA3" class="def">biliftA3</a> :: <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</a> w =&gt; (a -&gt; b -&gt; c -&gt; d) -&gt; (e -&gt; f -&gt; g -&gt; h) -&gt; w a e -&gt; w b f -&gt; w c g -&gt; w d h <a href="src/Data-Biapplicative.html#biliftA3" class="link">Source</a> <a href="#v:biliftA3" class="selflink">#</a></p><div class="doc"><p>Lift ternary functions</p></div></div><div class="top"><p class="src">module <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bifunctor.html">Data.Bifunctor</a></p></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>