/usr/share/doc/libghc-lens-doc/html/Control-Lens-Internal-Bazaar.html is in libghc-lens-doc 4.15.4-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 | <!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>Control.Lens.Internal.Bazaar</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_Control-Lens-Internal-Bazaar.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Internal-Bazaar.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">lens-4.15.4: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th valign="top">Copyright</th><td>(C) 2012-2016 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>experimental</td></tr><tr><th>Portability</th><td>non-portable</td></tr><tr><th>Safe Haskell</th><td>Safe</td></tr><tr><th>Language</th><td>Haskell98</td></tr></table><p class="caption">Control.Lens.Internal.Bazaar</p></div><div id="description"><p class="caption">Description</p><div class="doc empty"> </div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">class</span> <a href="Control-Lens-Iso.html#t:Profunctor">Profunctor</a> p => <a href="#t:Bizarre">Bizarre</a> p w | w -> p <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><span class="keyword">newtype</span> <a href="#t:Bazaar">Bazaar</a> p a b t = <a href="#v:Bazaar">Bazaar</a> {<ul class="subs"><li><a href="#v:runBazaar">runBazaar</a> :: <span class="keyword">forall</span> f. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f => p a (f b) -> f t</li></ul>}</li><li class="src short"><span class="keyword">type</span> <a href="#t:Bazaar-39-">Bazaar'</a> p a = <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a a</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:BazaarT">BazaarT</a> p g a b t = <a href="#v:BazaarT">BazaarT</a> {<ul class="subs"><li><a href="#v:runBazaarT">runBazaarT</a> :: <span class="keyword">forall</span> f. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f => p a (f b) -> f t</li></ul>}</li><li class="src short"><span class="keyword">type</span> <a href="#t:BazaarT-39-">BazaarT'</a> p g a = <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a a</li><li class="src short"><span class="keyword">class</span> <a href="Control-Lens-Iso.html#t:Profunctor">Profunctor</a> p => <a href="#t:Bizarre1">Bizarre1</a> p w | w -> p <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><span class="keyword">newtype</span> <a href="#t:Bazaar1">Bazaar1</a> p a b t = <a href="#v:Bazaar1">Bazaar1</a> {<ul class="subs"><li><a href="#v:runBazaar1">runBazaar1</a> :: <span class="keyword">forall</span> f. <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> f => p a (f b) -> f t</li></ul>}</li><li class="src short"><span class="keyword">type</span> <a href="#t:Bazaar1-39-">Bazaar1'</a> p a = <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a a</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:BazaarT1">BazaarT1</a> p g a b t = <a href="#v:BazaarT1">BazaarT1</a> {<ul class="subs"><li><a href="#v:runBazaarT1">runBazaarT1</a> :: <span class="keyword">forall</span> f. <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> f => p a (f b) -> f t</li></ul>}</li><li class="src short"><span class="keyword">type</span> <a href="#t:BazaarT1-39-">BazaarT1'</a> p g a = <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a a</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> <a href="Control-Lens-Iso.html#t:Profunctor">Profunctor</a> p => <a id="t:Bizarre" class="def">Bizarre</a> p w | w -> p <span class="keyword">where</span> <a href="src/Control-Lens-Internal-Bazaar.html#Bizarre" class="link">Source</a> <a href="#t:Bizarre" class="selflink">#</a></p><div class="doc"><p>This class is used to run the various <code><a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a></code> variants used in this
library.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Control-Lens-Internal-Bazaar.html#v:bazaar">bazaar</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:bazaar" class="def">bazaar</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f => p a (f b) -> w a b t -> f t <a href="src/Control-Lens-Internal-Bazaar.html#bazaar" class="link">Source</a> <a href="#v:bazaar" class="selflink">#</a></p></div><div class="subs instances"><p id="control.i:Bizarre" class="caption collapser" onclick="toggleSection('i:Bizarre')">Instances</p><div id="section.i:Bizarre" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bizarre:Bizarre:1" class="instance expander" onclick="toggleSection('i:ic:Bizarre:Bizarre:1')"></span> <a href="Control-Lens-Iso.html#t:Profunctor">Profunctor</a> p => <a href="Control-Lens-Internal-Bazaar.html#t:Bizarre">Bizarre</a> p (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-102" class="link">Source</a> <a href="#t:Bizarre" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bizarre:Bizarre:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bazaar">bazaar</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f => p a (f b) -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b t -> f t <a href="src/Control-Lens-Internal-Bazaar.html#bazaar" class="link">Source</a> <a href="#v:bazaar" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bizarre:Bizarre:2" class="instance expander" onclick="toggleSection('i:ic:Bizarre:Bizarre:2')"></span> <a href="Control-Lens-Iso.html#t:Profunctor">Profunctor</a> p => <a href="Control-Lens-Internal-Bazaar.html#t:Bizarre">Bizarre</a> p (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-165" class="link">Source</a> <a href="#t:Bizarre" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bizarre:Bizarre:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bazaar">bazaar</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f => p a (f b) -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b t -> f t <a href="src/Control-Lens-Internal-Bazaar.html#bazaar" class="link">Source</a> <a href="#v:bazaar" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bizarre:Bizarre:3" class="instance expander" onclick="toggleSection('i:ic:Bizarre:Bizarre:3')"></span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Corepresentable">Corepresentable</a> p => <a href="Control-Lens-Internal-Bazaar.html#t:Bizarre">Bizarre</a> p (<a href="Control-Lens-Internal-Magma.html#t:TakingWhile">TakingWhile</a> p g)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-245" class="link">Source</a> <a href="#t:Bizarre" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bizarre:Bizarre:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bazaar">bazaar</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f => p a (f b) -> <a href="Control-Lens-Internal-Magma.html#t:TakingWhile">TakingWhile</a> p g a b t -> f t <a href="src/Control-Lens-Internal-Bazaar.html#bazaar" class="link">Source</a> <a href="#v:bazaar" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bizarre:Bizarre:4" class="instance expander" onclick="toggleSection('i:ic:Bizarre:Bizarre:4')"></span> <a href="Control-Lens-Internal-Bazaar.html#t:Bizarre">Bizarre</a> (<a href="Control-Lens-Internal-Indexed.html#t:Indexed">Indexed</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a>) <a href="Control-Lens-Internal-Magma.html#t:Mafic">Mafic</a></span> <a href="src/Control-Lens-Internal-Bazaar.html#line-197" class="link">Source</a> <a href="#t:Bizarre" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bizarre:Bizarre:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bazaar">bazaar</a> :: <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="Control-Lens-Internal-Indexed.html#t:Indexed">Indexed</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> a (f b) -> <a href="Control-Lens-Internal-Magma.html#t:Mafic">Mafic</a> a b t -> f t <a href="src/Control-Lens-Internal-Bazaar.html#bazaar" class="link">Source</a> <a href="#v:bazaar" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bizarre:Bizarre:5" class="instance expander" onclick="toggleSection('i:ic:Bizarre:Bizarre:5')"></span> <a href="Control-Lens-Internal-Bazaar.html#t:Bizarre">Bizarre</a> (<a href="Control-Lens-Internal-Indexed.html#t:Indexed">Indexed</a> i) (<a href="Control-Lens-Internal-Magma.html#t:Molten">Molten</a> i)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-132" class="link">Source</a> <a href="#t:Bizarre" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bizarre:Bizarre:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bazaar">bazaar</a> :: <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="Control-Lens-Internal-Indexed.html#t:Indexed">Indexed</a> i a (f b) -> <a href="Control-Lens-Internal-Magma.html#t:Molten">Molten</a> i a b t -> f t <a href="src/Control-Lens-Internal-Bazaar.html#bazaar" class="link">Source</a> <a href="#v:bazaar" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:Bazaar" class="def">Bazaar</a> p a b t <a href="src/Control-Lens-Internal-Bazaar.html#Bazaar" class="link">Source</a> <a href="#t:Bazaar" class="selflink">#</a></p><div class="doc"><p>This is used to characterize a <code><a href="Control-Lens-Traversal.html#v:Traversal">Traversal</a></code>.</p><p>a.k.a. indexed Cartesian store comonad, indexed Kleene store comonad, or an indexed <code>FunList</code>.</p><p><a href="http://twanvl.nl/blog/haskell/non-regular1">http://twanvl.nl/blog/haskell/non-regular1</a></p><p>A <code><a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a></code> is like a <code><a href="Control-Lens-Traversal.html#v:Traversal">Traversal</a></code> that has already been applied to some structure.</p><p>Where a <code><code><a href="Control-Lens-Internal-Context.html#t:Context">Context</a></code> a b t</code> holds an <code>a</code> and a function from <code>b</code> to
<code>t</code>, a <code><code><a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a></code> a b t</code> holds <code>N</code> <code>a</code>s and a function from <code>N</code>
<code>b</code>s to <code>t</code>, (where <code>N</code> might be infinite).</p><p>Mnemonically, a <code><a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a></code> holds many stores and you can easily add more.</p><p>This is a final encoding of <code><a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a></code>.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Bazaar" class="def">Bazaar</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:runBazaar" class="def">runBazaar</a> :: <span class="keyword">forall</span> f. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f => p a (f b) -> f t</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:Bazaar" class="caption collapser" onclick="toggleSection('i:Bazaar')">Instances</p><div id="section.i:Bazaar" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Bazaar:Sellable:1" class="instance expander" onclick="toggleSection('i:id:Bazaar:Sellable:1')"></span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Corepresentable">Corepresentable</a> p => <a href="Control-Lens-Internal-Context.html#t:Sellable">Sellable</a> p (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-98" class="link">Source</a> <a href="#t:Bazaar" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Bazaar:Sellable:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:sell">sell</a> :: p a (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b b) <a href="src/Control-Lens-Internal-Context.html#sell" class="link">Source</a> <a href="#v:sell" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Bazaar:Bizarre:2" class="instance expander" onclick="toggleSection('i:id:Bazaar:Bizarre:2')"></span> <a href="Control-Lens-Iso.html#t:Profunctor">Profunctor</a> p => <a href="Control-Lens-Internal-Bazaar.html#t:Bizarre">Bizarre</a> p (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-102" class="link">Source</a> <a href="#t:Bazaar" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Bazaar:Bizarre:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bazaar">bazaar</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f => p a (f b) -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b t -> f t <a href="src/Control-Lens-Internal-Bazaar.html#bazaar" class="link">Source</a> <a href="#v:bazaar" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Bazaar:IndexedComonad:3" class="instance expander" onclick="toggleSection('i:id:Bazaar:IndexedComonad:3')"></span> <a href="Control-Lens-Internal-Indexed.html#t:Conjoined">Conjoined</a> p => <a href="Control-Lens-Internal-Context.html#t:IndexedComonad">IndexedComonad</a> (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-92" class="link">Source</a> <a href="#t:Bazaar" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Bazaar:IndexedComonad:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:iextract">iextract</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a a t -> t <a href="src/Control-Lens-Internal-Context.html#iextract" class="link">Source</a> <a href="#v:iextract" class="selflink">#</a></p><p class="src"><a href="#v:iduplicate">iduplicate</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a c t -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p b c t) <a href="src/Control-Lens-Internal-Context.html#iduplicate" class="link">Source</a> <a href="#v:iduplicate" class="selflink">#</a></p><p class="src"><a href="#v:iextend">iextend</a> :: (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p b c t -> r) -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a c t -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b r <a href="src/Control-Lens-Internal-Context.html#iextend" class="link">Source</a> <a href="#v:iextend" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Bazaar:IndexedFunctor:4" class="instance expander" onclick="toggleSection('i:id:Bazaar:IndexedFunctor:4')"></span> <a href="Control-Lens-Internal-Context.html#t:IndexedFunctor">IndexedFunctor</a> (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-88" class="link">Source</a> <a href="#t:Bazaar" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Bazaar:IndexedFunctor:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ifmap">ifmap</a> :: (s -> t) -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b s -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b t <a href="src/Control-Lens-Internal-Context.html#ifmap" class="link">Source</a> <a href="#v:ifmap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Bazaar:Functor:5" class="instance expander" onclick="toggleSection('i:id:Bazaar:Functor:5')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-106" class="link">Source</a> <a href="#t:Bazaar" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Bazaar:Functor:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -> b) -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b a <a href="#v:-60--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Bazaar:Applicative:6" class="instance expander" onclick="toggleSection('i:id:Bazaar:Applicative:6')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-114" class="link">Source</a> <a href="#t:Bazaar" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Bazaar:Applicative:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pure">pure</a> :: a -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b a <a href="#v:pure" class="selflink">#</a></p><p class="src"><a href="#v:-60--42--62-">(<*>)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b (a -> b) -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b b <a href="#v:-60--42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62-">(*>)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b b <a href="#v:-42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--42-">(<*)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b a <a href="#v:-60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Bazaar:Comonad:7" class="instance expander" onclick="toggleSection('i:id:Bazaar:Comonad:7')"></span> ((~) <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="Control-Lens-Internal-Indexed.html#t:Conjoined">Conjoined</a> p) => <a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad.html#t:Comonad">Comonad</a> (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-120" class="link">Source</a> <a href="#t:Bazaar" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Bazaar:Comonad:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:extract">extract</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b a -> a <a href="#v:extract" class="selflink">#</a></p><p class="src"><a href="#v:duplicate">duplicate</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b a) <a href="#v:duplicate" class="selflink">#</a></p><p class="src"><a href="#v:extend">extend</a> :: (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b a -> b) -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b b <a href="#v:extend" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Bazaar:ComonadApply:8" class="instance expander" onclick="toggleSection('i:id:Bazaar:ComonadApply:8')"></span> ((~) <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="Control-Lens-Internal-Indexed.html#t:Conjoined">Conjoined</a> p) => <a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad.html#t:ComonadApply">ComonadApply</a> (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-126" class="link">Source</a> <a href="#t:Bazaar" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Bazaar:ComonadApply:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--64--62-">(<@>)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b (a -> b) -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b b <a href="#v:-60--64--62-" class="selflink">#</a></p><p class="src"><a href="#v:-64--62-">(@>)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b b <a href="#v:-64--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--64-">(<@)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b a <a href="#v:-60--64-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Bazaar:Apply:9" class="instance expander" onclick="toggleSection('i:id:Bazaar:Apply:9')"></span> <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-110" class="link">Source</a> <a href="#t:Bazaar" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Bazaar:Apply:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60-.-62-">(<.>)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b (a -> b) -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b b <a href="#v:-60-.-62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62-">(.>)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b b <a href="#v:.-62-" class="selflink">#</a></p><p class="src"><a href="#v:-60-.">(<.)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a b a <a href="#v:-60-." class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:Bazaar-39-" class="def">Bazaar'</a> p a = <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a> p a a <a href="src/Control-Lens-Internal-Bazaar.html#Bazaar%27" class="link">Source</a> <a href="#t:Bazaar-39-" class="selflink">#</a></p><div class="doc"><p>This alias is helpful when it comes to reducing repetition in type signatures.</p><pre>type <code><a href="Control-Lens-Internal-Bazaar.html#t:Bazaar-39-">Bazaar'</a></code> p a t = <code><a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a></code> p a a t
</pre></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:BazaarT" class="def">BazaarT</a> p g a b t <a href="src/Control-Lens-Internal-Bazaar.html#BazaarT" class="link">Source</a> <a href="#t:BazaarT" class="selflink">#</a></p><div class="doc"><p><code><a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a></code> is like <code><a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a></code>, except that it provides a questionable <code><a href="Control-Lens-Getter.html#t:Contravariant">Contravariant</a></code> instance
To protect this instance it relies on the soundness of another <code><a href="Control-Lens-Getter.html#t:Contravariant">Contravariant</a></code> type, and usage conventions.</p><p>For example. This lets us write a suitably polymorphic and lazy <code><a href="Control-Lens-Traversal.html#v:taking">taking</a></code>, but there
must be a better way!</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:BazaarT" class="def">BazaarT</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:runBazaarT" class="def">runBazaarT</a> :: <span class="keyword">forall</span> f. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f => p a (f b) -> f t</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:BazaarT" class="caption collapser" onclick="toggleSection('i:BazaarT')">Instances</p><div id="section.i:BazaarT" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:BazaarT:Sellable:1" class="instance expander" onclick="toggleSection('i:id:BazaarT:Sellable:1')"></span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Corepresentable">Corepresentable</a> p => <a href="Control-Lens-Internal-Context.html#t:Sellable">Sellable</a> p (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-161" class="link">Source</a> <a href="#t:BazaarT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:BazaarT:Sellable:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:sell">sell</a> :: p a (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b b) <a href="src/Control-Lens-Internal-Context.html#sell" class="link">Source</a> <a href="#v:sell" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:BazaarT:Bizarre:2" class="instance expander" onclick="toggleSection('i:id:BazaarT:Bizarre:2')"></span> <a href="Control-Lens-Iso.html#t:Profunctor">Profunctor</a> p => <a href="Control-Lens-Internal-Bazaar.html#t:Bizarre">Bizarre</a> p (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-165" class="link">Source</a> <a href="#t:BazaarT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:BazaarT:Bizarre:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bazaar">bazaar</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f => p a (f b) -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b t -> f t <a href="src/Control-Lens-Internal-Bazaar.html#bazaar" class="link">Source</a> <a href="#v:bazaar" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:BazaarT:IndexedComonad:3" class="instance expander" onclick="toggleSection('i:id:BazaarT:IndexedComonad:3')"></span> <a href="Control-Lens-Internal-Indexed.html#t:Conjoined">Conjoined</a> p => <a href="Control-Lens-Internal-Context.html#t:IndexedComonad">IndexedComonad</a> (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-155" class="link">Source</a> <a href="#t:BazaarT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:BazaarT:IndexedComonad:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:iextract">iextract</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a a t -> t <a href="src/Control-Lens-Internal-Context.html#iextract" class="link">Source</a> <a href="#v:iextract" class="selflink">#</a></p><p class="src"><a href="#v:iduplicate">iduplicate</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a c t -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g b c t) <a href="src/Control-Lens-Internal-Context.html#iduplicate" class="link">Source</a> <a href="#v:iduplicate" class="selflink">#</a></p><p class="src"><a href="#v:iextend">iextend</a> :: (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g b c t -> r) -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a c t -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b r <a href="src/Control-Lens-Internal-Context.html#iextend" class="link">Source</a> <a href="#v:iextend" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:BazaarT:IndexedFunctor:4" class="instance expander" onclick="toggleSection('i:id:BazaarT:IndexedFunctor:4')"></span> <a href="Control-Lens-Internal-Context.html#t:IndexedFunctor">IndexedFunctor</a> (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-151" class="link">Source</a> <a href="#t:BazaarT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:BazaarT:IndexedFunctor:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ifmap">ifmap</a> :: (s -> t) -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b s -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b t <a href="src/Control-Lens-Internal-Context.html#ifmap" class="link">Source</a> <a href="#v:ifmap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:BazaarT:Functor:5" class="instance expander" onclick="toggleSection('i:id:BazaarT:Functor:5')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-169" class="link">Source</a> <a href="#t:BazaarT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:BazaarT:Functor:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -> b) -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b a <a href="#v:-60--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:BazaarT:Applicative:6" class="instance expander" onclick="toggleSection('i:id:BazaarT:Applicative:6')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-177" class="link">Source</a> <a href="#t:BazaarT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:BazaarT:Applicative:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pure">pure</a> :: a -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b a <a href="#v:pure" class="selflink">#</a></p><p class="src"><a href="#v:-60--42--62-">(<*>)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b (a -> b) -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b b <a href="#v:-60--42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62-">(*>)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b b <a href="#v:-42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--42-">(<*)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b a <a href="#v:-60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:BazaarT:Comonad:7" class="instance expander" onclick="toggleSection('i:id:BazaarT:Comonad:7')"></span> ((~) <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="Control-Lens-Internal-Indexed.html#t:Conjoined">Conjoined</a> p) => <a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad.html#t:Comonad">Comonad</a> (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-183" class="link">Source</a> <a href="#t:BazaarT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:BazaarT:Comonad:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:extract">extract</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b a -> a <a href="#v:extract" class="selflink">#</a></p><p class="src"><a href="#v:duplicate">duplicate</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b a) <a href="#v:duplicate" class="selflink">#</a></p><p class="src"><a href="#v:extend">extend</a> :: (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b a -> b) -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b b <a href="#v:extend" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:BazaarT:ComonadApply:8" class="instance expander" onclick="toggleSection('i:id:BazaarT:ComonadApply:8')"></span> ((~) <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="Control-Lens-Internal-Indexed.html#t:Conjoined">Conjoined</a> p) => <a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad.html#t:ComonadApply">ComonadApply</a> (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-189" class="link">Source</a> <a href="#t:BazaarT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:BazaarT:ComonadApply:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--64--62-">(<@>)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b (a -> b) -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b b <a href="#v:-60--64--62-" class="selflink">#</a></p><p class="src"><a href="#v:-64--62-">(@>)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b b <a href="#v:-64--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--64-">(<@)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b a <a href="#v:-60--64-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:BazaarT:Contravariant:9" class="instance expander" onclick="toggleSection('i:id:BazaarT:Contravariant:9')"></span> (<a href="Control-Lens-Iso.html#t:Profunctor">Profunctor</a> p, <a href="Control-Lens-Getter.html#t:Contravariant">Contravariant</a> g) => <a href="Control-Lens-Getter.html#t:Contravariant">Contravariant</a> (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-193" class="link">Source</a> <a href="#t:BazaarT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:BazaarT:Contravariant:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:contramap">contramap</a> :: (a -> b) -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b a <a href="#v:contramap" class="selflink">#</a></p><p class="src"><a href="#v:-62--36-">(>$)</a> :: b -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b a <a href="#v:-62--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:BazaarT:Apply:10" class="instance expander" onclick="toggleSection('i:id:BazaarT:Apply:10')"></span> <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-173" class="link">Source</a> <a href="#t:BazaarT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:BazaarT:Apply:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60-.-62-">(<.>)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b (a -> b) -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b b <a href="#v:-60-.-62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62-">(.>)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b b <a href="#v:.-62-" class="selflink">#</a></p><p class="src"><a href="#v:-60-.">(<.)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b a <a href="#v:-60-." class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:BazaarT:Semigroup:11" class="instance expander" onclick="toggleSection('i:id:BazaarT:Semigroup:11')"></span> <a href="Control-Lens-Getter.html#t:Contravariant">Contravariant</a> g => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Semigroup">Semigroup</a> (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b t)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-197" class="link">Source</a> <a href="#t:BazaarT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:BazaarT:Semigroup:11" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--62-">(<>)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b t -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b t -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b t <a href="#v:-60--62-" class="selflink">#</a></p><p class="src"><a href="#v:sconcat">sconcat</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b t) -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b t <a href="#v:sconcat" class="selflink">#</a></p><p class="src"><a href="#v:stimes">stimes</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> b => b -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b t -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b t <a href="#v:stimes" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:BazaarT:Monoid:12" class="instance expander" onclick="toggleSection('i:id:BazaarT:Monoid:12')"></span> <a href="Control-Lens-Getter.html#t:Contravariant">Contravariant</a> g => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b t)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-201" class="link">Source</a> <a href="#t:BazaarT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:BazaarT:Monoid:12" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:mempty">mempty</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b t <a href="#v:mempty" class="selflink">#</a></p><p class="src"><a href="#v:mappend">mappend</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b t -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b t -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b t <a href="#v:mappend" class="selflink">#</a></p><p class="src"><a href="#v:mconcat">mconcat</a> :: [<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b t] -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a b t <a href="#v:mconcat" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:BazaarT-39-" class="def">BazaarT'</a> p g a = <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a> p g a a <a href="src/Control-Lens-Internal-Bazaar.html#BazaarT%27" class="link">Source</a> <a href="#t:BazaarT-39-" class="selflink">#</a></p><div class="doc"><p>This alias is helpful when it comes to reducing repetition in type signatures.</p><pre>type <code><a href="Control-Lens-Internal-Bazaar.html#t:BazaarT-39-">BazaarT'</a></code> p g a t = <code><a href="Control-Lens-Internal-Bazaar.html#t:BazaarT">BazaarT</a></code> p g a a t
</pre></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Control-Lens-Iso.html#t:Profunctor">Profunctor</a> p => <a id="t:Bizarre1" class="def">Bizarre1</a> p w | w -> p <span class="keyword">where</span> <a href="src/Control-Lens-Internal-Bazaar.html#Bizarre1" class="link">Source</a> <a href="#t:Bizarre1" class="selflink">#</a></p><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Control-Lens-Internal-Bazaar.html#v:bazaar1">bazaar1</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:bazaar1" class="def">bazaar1</a> :: <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> f => p a (f b) -> w a b t -> f t <a href="src/Control-Lens-Internal-Bazaar.html#bazaar1" class="link">Source</a> <a href="#v:bazaar1" class="selflink">#</a></p></div><div class="subs instances"><p id="control.i:Bizarre1" class="caption collapser" onclick="toggleSection('i:Bizarre1')">Instances</p><div id="section.i:Bizarre1" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bizarre1:Bizarre1:1" class="instance expander" onclick="toggleSection('i:ic:Bizarre1:Bizarre1:1')"></span> <a href="Control-Lens-Iso.html#t:Profunctor">Profunctor</a> p => <a href="Control-Lens-Internal-Bazaar.html#t:Bizarre1">Bizarre1</a> p (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-258" class="link">Source</a> <a href="#t:Bizarre1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bizarre1:Bizarre1:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bazaar1">bazaar1</a> :: <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> f => p a (f b) -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b t -> f t <a href="src/Control-Lens-Internal-Bazaar.html#bazaar1" class="link">Source</a> <a href="#v:bazaar1" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Bizarre1:Bizarre1:2" class="instance expander" onclick="toggleSection('i:ic:Bizarre1:Bizarre1:2')"></span> <a href="Control-Lens-Iso.html#t:Profunctor">Profunctor</a> p => <a href="Control-Lens-Internal-Bazaar.html#t:Bizarre1">Bizarre1</a> p (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-315" class="link">Source</a> <a href="#t:Bizarre1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Bizarre1:Bizarre1:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bazaar1">bazaar1</a> :: <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> f => p a (f b) -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b t -> f t <a href="src/Control-Lens-Internal-Bazaar.html#bazaar1" class="link">Source</a> <a href="#v:bazaar1" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:Bazaar1" class="def">Bazaar1</a> p a b t <a href="src/Control-Lens-Internal-Bazaar.html#Bazaar1" class="link">Source</a> <a href="#t:Bazaar1" class="selflink">#</a></p><div class="doc"><p>This is used to characterize a <code><a href="Control-Lens-Traversal.html#v:Traversal">Traversal</a></code>.</p><p>a.k.a. indexed Cartesian store comonad, indexed Kleene store comonad, or an indexed <code>FunList</code>.</p><p><a href="http://twanvl.nl/blog/haskell/non-regular1">http://twanvl.nl/blog/haskell/non-regular1</a></p><p>A <code><a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a></code> is like a <code><a href="Control-Lens-Traversal.html#v:Traversal">Traversal</a></code> that has already been applied to some structure.</p><p>Where a <code><code><a href="Control-Lens-Internal-Context.html#t:Context">Context</a></code> a b t</code> holds an <code>a</code> and a function from <code>b</code> to
<code>t</code>, a <code><code><a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a></code> a b t</code> holds <code>N</code> <code>a</code>s and a function from <code>N</code>
<code>b</code>s to <code>t</code>, (where <code>N</code> might be infinite).</p><p>Mnemonically, a <code><a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a></code> holds many stores and you can easily add more.</p><p>This is a final encoding of <code><a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a></code>.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Bazaar1" class="def">Bazaar1</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:runBazaar1" class="def">runBazaar1</a> :: <span class="keyword">forall</span> f. <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> f => p a (f b) -> f t</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:Bazaar1" class="caption collapser" onclick="toggleSection('i:Bazaar1')">Instances</p><div id="section.i:Bazaar1" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Bazaar1:Sellable:1" class="instance expander" onclick="toggleSection('i:id:Bazaar1:Sellable:1')"></span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Corepresentable">Corepresentable</a> p => <a href="Control-Lens-Internal-Context.html#t:Sellable">Sellable</a> p (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-254" class="link">Source</a> <a href="#t:Bazaar1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Bazaar1:Sellable:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:sell">sell</a> :: p a (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b b) <a href="src/Control-Lens-Internal-Context.html#sell" class="link">Source</a> <a href="#v:sell" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Bazaar1:Bizarre1:2" class="instance expander" onclick="toggleSection('i:id:Bazaar1:Bizarre1:2')"></span> <a href="Control-Lens-Iso.html#t:Profunctor">Profunctor</a> p => <a href="Control-Lens-Internal-Bazaar.html#t:Bizarre1">Bizarre1</a> p (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-258" class="link">Source</a> <a href="#t:Bazaar1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Bazaar1:Bizarre1:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bazaar1">bazaar1</a> :: <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> f => p a (f b) -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b t -> f t <a href="src/Control-Lens-Internal-Bazaar.html#bazaar1" class="link">Source</a> <a href="#v:bazaar1" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Bazaar1:IndexedComonad:3" class="instance expander" onclick="toggleSection('i:id:Bazaar1:IndexedComonad:3')"></span> <a href="Control-Lens-Internal-Indexed.html#t:Conjoined">Conjoined</a> p => <a href="Control-Lens-Internal-Context.html#t:IndexedComonad">IndexedComonad</a> (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-248" class="link">Source</a> <a href="#t:Bazaar1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Bazaar1:IndexedComonad:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:iextract">iextract</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a a t -> t <a href="src/Control-Lens-Internal-Context.html#iextract" class="link">Source</a> <a href="#v:iextract" class="selflink">#</a></p><p class="src"><a href="#v:iduplicate">iduplicate</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a c t -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p b c t) <a href="src/Control-Lens-Internal-Context.html#iduplicate" class="link">Source</a> <a href="#v:iduplicate" class="selflink">#</a></p><p class="src"><a href="#v:iextend">iextend</a> :: (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p b c t -> r) -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a c t -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b r <a href="src/Control-Lens-Internal-Context.html#iextend" class="link">Source</a> <a href="#v:iextend" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Bazaar1:IndexedFunctor:4" class="instance expander" onclick="toggleSection('i:id:Bazaar1:IndexedFunctor:4')"></span> <a href="Control-Lens-Internal-Context.html#t:IndexedFunctor">IndexedFunctor</a> (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-244" class="link">Source</a> <a href="#t:Bazaar1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Bazaar1:IndexedFunctor:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ifmap">ifmap</a> :: (s -> t) -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b s -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b t <a href="src/Control-Lens-Internal-Context.html#ifmap" class="link">Source</a> <a href="#v:ifmap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Bazaar1:Functor:5" class="instance expander" onclick="toggleSection('i:id:Bazaar1:Functor:5')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-262" class="link">Source</a> <a href="#t:Bazaar1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Bazaar1:Functor:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -> b) -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b a <a href="#v:-60--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Bazaar1:Comonad:6" class="instance expander" onclick="toggleSection('i:id:Bazaar1:Comonad:6')"></span> ((~) <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="Control-Lens-Internal-Indexed.html#t:Conjoined">Conjoined</a> p) => <a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad.html#t:Comonad">Comonad</a> (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-270" class="link">Source</a> <a href="#t:Bazaar1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Bazaar1:Comonad:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:extract">extract</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b a -> a <a href="#v:extract" class="selflink">#</a></p><p class="src"><a href="#v:duplicate">duplicate</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b a) <a href="#v:duplicate" class="selflink">#</a></p><p class="src"><a href="#v:extend">extend</a> :: (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b a -> b) -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b b <a href="#v:extend" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Bazaar1:ComonadApply:7" class="instance expander" onclick="toggleSection('i:id:Bazaar1:ComonadApply:7')"></span> ((~) <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="Control-Lens-Internal-Indexed.html#t:Conjoined">Conjoined</a> p) => <a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad.html#t:ComonadApply">ComonadApply</a> (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-276" class="link">Source</a> <a href="#t:Bazaar1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Bazaar1:ComonadApply:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--64--62-">(<@>)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b (a -> b) -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b b <a href="#v:-60--64--62-" class="selflink">#</a></p><p class="src"><a href="#v:-64--62-">(@>)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b b <a href="#v:-64--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--64-">(<@)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b a <a href="#v:-60--64-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Bazaar1:Apply:8" class="instance expander" onclick="toggleSection('i:id:Bazaar1:Apply:8')"></span> <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> (<a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-266" class="link">Source</a> <a href="#t:Bazaar1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Bazaar1:Apply:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60-.-62-">(<.>)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b (a -> b) -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b b <a href="#v:-60-.-62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62-">(.>)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b b <a href="#v:.-62-" class="selflink">#</a></p><p class="src"><a href="#v:-60-.">(<.)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a b a <a href="#v:-60-." class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:Bazaar1-39-" class="def">Bazaar1'</a> p a = <a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a> p a a <a href="src/Control-Lens-Internal-Bazaar.html#Bazaar1%27" class="link">Source</a> <a href="#t:Bazaar1-39-" class="selflink">#</a></p><div class="doc"><p>This alias is helpful when it comes to reducing repetition in type signatures.</p><pre>type <code><a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1-39-">Bazaar1'</a></code> p a t = <code><a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a></code> p a a t
</pre></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:BazaarT1" class="def">BazaarT1</a> p g a b t <a href="src/Control-Lens-Internal-Bazaar.html#BazaarT1" class="link">Source</a> <a href="#t:BazaarT1" class="selflink">#</a></p><div class="doc"><p><code><a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a></code> is like <code><a href="Control-Lens-Internal-Bazaar.html#t:Bazaar1">Bazaar1</a></code>, except that it provides a questionable <code><a href="Control-Lens-Getter.html#t:Contravariant">Contravariant</a></code> instance
To protect this instance it relies on the soundness of another <code><a href="Control-Lens-Getter.html#t:Contravariant">Contravariant</a></code> type, and usage conventions.</p><p>For example. This lets us write a suitably polymorphic and lazy <code><a href="Control-Lens-Traversal.html#v:taking">taking</a></code>, but there
must be a better way!</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:BazaarT1" class="def">BazaarT1</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:runBazaarT1" class="def">runBazaarT1</a> :: <span class="keyword">forall</span> f. <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> f => p a (f b) -> f t</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:BazaarT1" class="caption collapser" onclick="toggleSection('i:BazaarT1')">Instances</p><div id="section.i:BazaarT1" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:BazaarT1:Sellable:1" class="instance expander" onclick="toggleSection('i:id:BazaarT1:Sellable:1')"></span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Corepresentable">Corepresentable</a> p => <a href="Control-Lens-Internal-Context.html#t:Sellable">Sellable</a> p (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-311" class="link">Source</a> <a href="#t:BazaarT1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:BazaarT1:Sellable:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:sell">sell</a> :: p a (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b b) <a href="src/Control-Lens-Internal-Context.html#sell" class="link">Source</a> <a href="#v:sell" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:BazaarT1:Bizarre1:2" class="instance expander" onclick="toggleSection('i:id:BazaarT1:Bizarre1:2')"></span> <a href="Control-Lens-Iso.html#t:Profunctor">Profunctor</a> p => <a href="Control-Lens-Internal-Bazaar.html#t:Bizarre1">Bizarre1</a> p (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-315" class="link">Source</a> <a href="#t:BazaarT1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:BazaarT1:Bizarre1:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bazaar1">bazaar1</a> :: <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> f => p a (f b) -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b t -> f t <a href="src/Control-Lens-Internal-Bazaar.html#bazaar1" class="link">Source</a> <a href="#v:bazaar1" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:BazaarT1:IndexedComonad:3" class="instance expander" onclick="toggleSection('i:id:BazaarT1:IndexedComonad:3')"></span> <a href="Control-Lens-Internal-Indexed.html#t:Conjoined">Conjoined</a> p => <a href="Control-Lens-Internal-Context.html#t:IndexedComonad">IndexedComonad</a> (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-305" class="link">Source</a> <a href="#t:BazaarT1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:BazaarT1:IndexedComonad:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:iextract">iextract</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a a t -> t <a href="src/Control-Lens-Internal-Context.html#iextract" class="link">Source</a> <a href="#v:iextract" class="selflink">#</a></p><p class="src"><a href="#v:iduplicate">iduplicate</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a c t -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g b c t) <a href="src/Control-Lens-Internal-Context.html#iduplicate" class="link">Source</a> <a href="#v:iduplicate" class="selflink">#</a></p><p class="src"><a href="#v:iextend">iextend</a> :: (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g b c t -> r) -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a c t -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b r <a href="src/Control-Lens-Internal-Context.html#iextend" class="link">Source</a> <a href="#v:iextend" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:BazaarT1:IndexedFunctor:4" class="instance expander" onclick="toggleSection('i:id:BazaarT1:IndexedFunctor:4')"></span> <a href="Control-Lens-Internal-Context.html#t:IndexedFunctor">IndexedFunctor</a> (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-301" class="link">Source</a> <a href="#t:BazaarT1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:BazaarT1:IndexedFunctor:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ifmap">ifmap</a> :: (s -> t) -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b s -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b t <a href="src/Control-Lens-Internal-Context.html#ifmap" class="link">Source</a> <a href="#v:ifmap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:BazaarT1:Functor:5" class="instance expander" onclick="toggleSection('i:id:BazaarT1:Functor:5')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-319" class="link">Source</a> <a href="#t:BazaarT1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:BazaarT1:Functor:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -> b) -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b a <a href="#v:-60--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:BazaarT1:Comonad:6" class="instance expander" onclick="toggleSection('i:id:BazaarT1:Comonad:6')"></span> ((~) <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="Control-Lens-Internal-Indexed.html#t:Conjoined">Conjoined</a> p) => <a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad.html#t:Comonad">Comonad</a> (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-327" class="link">Source</a> <a href="#t:BazaarT1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:BazaarT1:Comonad:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:extract">extract</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b a -> a <a href="#v:extract" class="selflink">#</a></p><p class="src"><a href="#v:duplicate">duplicate</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b a) <a href="#v:duplicate" class="selflink">#</a></p><p class="src"><a href="#v:extend">extend</a> :: (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b a -> b) -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b b <a href="#v:extend" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:BazaarT1:ComonadApply:7" class="instance expander" onclick="toggleSection('i:id:BazaarT1:ComonadApply:7')"></span> ((~) <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="Control-Lens-Internal-Indexed.html#t:Conjoined">Conjoined</a> p) => <a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad.html#t:ComonadApply">ComonadApply</a> (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-333" class="link">Source</a> <a href="#t:BazaarT1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:BazaarT1:ComonadApply:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--64--62-">(<@>)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b (a -> b) -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b b <a href="#v:-60--64--62-" class="selflink">#</a></p><p class="src"><a href="#v:-64--62-">(@>)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b b <a href="#v:-64--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--64-">(<@)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b a <a href="#v:-60--64-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:BazaarT1:Contravariant:8" class="instance expander" onclick="toggleSection('i:id:BazaarT1:Contravariant:8')"></span> (<a href="Control-Lens-Iso.html#t:Profunctor">Profunctor</a> p, <a href="Control-Lens-Getter.html#t:Contravariant">Contravariant</a> g) => <a href="Control-Lens-Getter.html#t:Contravariant">Contravariant</a> (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-337" class="link">Source</a> <a href="#t:BazaarT1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:BazaarT1:Contravariant:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:contramap">contramap</a> :: (a -> b) -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b a <a href="#v:contramap" class="selflink">#</a></p><p class="src"><a href="#v:-62--36-">(>$)</a> :: b -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b a <a href="#v:-62--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:BazaarT1:Apply:9" class="instance expander" onclick="toggleSection('i:id:BazaarT1:Apply:9')"></span> <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-323" class="link">Source</a> <a href="#t:BazaarT1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:BazaarT1:Apply:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60-.-62-">(<.>)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b (a -> b) -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b b <a href="#v:-60-.-62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62-">(.>)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b b <a href="#v:.-62-" class="selflink">#</a></p><p class="src"><a href="#v:-60-.">(<.)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b a -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b b -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b a <a href="#v:-60-." class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:BazaarT1:Semigroup:10" class="instance expander" onclick="toggleSection('i:id:BazaarT1:Semigroup:10')"></span> <a href="Control-Lens-Getter.html#t:Contravariant">Contravariant</a> g => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Semigroup">Semigroup</a> (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b t)</span> <a href="src/Control-Lens-Internal-Bazaar.html#line-341" class="link">Source</a> <a href="#t:BazaarT1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:BazaarT1:Semigroup:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--62-">(<>)</a> :: <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b t -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b t -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b t <a href="#v:-60--62-" class="selflink">#</a></p><p class="src"><a href="#v:sconcat">sconcat</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> (<a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b t) -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b t <a href="#v:sconcat" class="selflink">#</a></p><p class="src"><a href="#v:stimes">stimes</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> b => b -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b t -> <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a b t <a href="#v:stimes" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:BazaarT1-39-" class="def">BazaarT1'</a> p g a = <a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a> p g a a <a href="src/Control-Lens-Internal-Bazaar.html#BazaarT1%27" class="link">Source</a> <a href="#t:BazaarT1-39-" class="selflink">#</a></p><div class="doc"><p>This alias is helpful when it comes to reducing repetition in type signatures.</p><pre>type <code><a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1-39-">BazaarT1'</a></code> p g a t = <code><a href="Control-Lens-Internal-Bazaar.html#t:BazaarT1">BazaarT1</a></code> p g a a t
</pre></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>
|