This file is indexed.

/usr/share/doc/libghc-lens-doc/html/Control-Lens-Zoom.html is in libghc-lens-doc 3.10-2.

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

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
<!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.Zoom</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Control-Lens-Zoom.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Zoom.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-3.10: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Control.Lens.Zoom</p></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="Control-Lens-Internal-Zoom.html#t:Magnified">Magnified</a> m ~ <a href="Control-Lens-Internal-Zoom.html#t:Magnified">Magnified</a> n, <a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader-Class.html#t:MonadReader">MonadReader</a> b m, <a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader-Class.html#t:MonadReader">MonadReader</a> a n) =&gt; <a href="#t:Magnify">Magnify</a> m n b a | m -&gt; b, n -&gt; a, m a -&gt; n, n b -&gt; m <span class="keyword">where</span><ul class="subs"><li><a href="#v:magnify">magnify</a> ::  <a href="Control-Lens-Type.html#t:LensLike-39-">LensLike'</a> (<a href="Control-Lens-Internal-Zoom.html#t:Magnified">Magnified</a> m c) a b -&gt; m c -&gt; n c</li></ul></li><li class="src short"><span class="keyword">class</span> (<a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</a> m ~ <a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</a> n, <a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Class.html#t:MonadState">MonadState</a> s m, <a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Class.html#t:MonadState">MonadState</a> t n) =&gt; <a href="#t:Zoom">Zoom</a> m n s t | m -&gt; s, n -&gt; t, m t -&gt; n, n s -&gt; m <span class="keyword">where</span><ul class="subs"><li><a href="#v:zoom">zoom</a> ::  <a href="Control-Lens-Type.html#t:LensLike-39-">LensLike'</a> (<a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</a> m c) t s -&gt; m c -&gt; n c</li></ul></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> (<a href="Control-Lens-Internal-Zoom.html#t:Magnified">Magnified</a> m ~ <a href="Control-Lens-Internal-Zoom.html#t:Magnified">Magnified</a> n, <a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader-Class.html#t:MonadReader">MonadReader</a> b m, <a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader-Class.html#t:MonadReader">MonadReader</a> a n) =&gt; <a name="t:Magnify" class="def">Magnify</a> m n b a | m -&gt; b, n -&gt; a, m a -&gt; n, n b -&gt; m <span class="keyword">where</span><a href="src/Control-Lens-Zoom.html#Magnify" class="link">Source</a></p><div class="doc"><p>This class allows us to use <code><a href="Control-Lens-Zoom.html#v:magnify">magnify</a></code> part of the environment, changing the environment supplied by
 many different <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a></code> transformers. Unlike <code><a href="Control-Lens-Zoom.html#v:zoom">zoom</a></code> this can change the environment of a deeply nested <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a></code> transformer.
</p><p>Also, unlike <code><a href="Control-Lens-Zoom.html#v:zoom">zoom</a></code>, this can be used with any valid <code><a href="Control-Lens-Type.html#t:Getter">Getter</a></code>, but cannot be used with a <code><a href="Control-Lens-Type.html#t:Traversal">Traversal</a></code> or <code><a href="Control-Lens-Type.html#t:Fold">Fold</a></code>.
</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:magnify" class="def">magnify</a> ::  <a href="Control-Lens-Type.html#t:LensLike-39-">LensLike'</a> (<a href="Control-Lens-Internal-Zoom.html#t:Magnified">Magnified</a> m c) a b -&gt; m c -&gt; n c<a href="src/Control-Lens-Zoom.html#magnify" class="link">Source</a></p><div class="doc"><p>Run a monadic action in a larger environment than it was defined in, using a <code><a href="Control-Lens-Type.html#t:Getter">Getter</a></code>.
</p><p>This acts like <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader-Class.html#t:local">local</a></code>, but can in many cases change the type of the environment as well.
</p><p>This is commonly used to lift actions in a simpler <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader.html#t:Reader">Reader</a></code> <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a></code> into a <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a></code> with a larger environment type.
</p><p>This can be used to edit pretty much any <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a></code> transformer stack with an environment in it:
</p><pre class="screen"><code class="prompt">&gt;&gt;&gt; </code><strong class="userinput"><code>(1,2) &amp; magnify _2 (+1)
</code></strong>3
</pre><pre class="screen"><code class="prompt">&gt;&gt;&gt; </code><strong class="userinput"><code>flip Reader.runReader (1,2) $ magnify _1 Reader.ask
</code></strong>1
</pre><pre class="screen"><code class="prompt">&gt;&gt;&gt; </code><strong class="userinput"><code>flip Reader.runReader (1,2,[10..20]) $ magnify (_3._tail) Reader.ask
</code></strong>[11,12,13,14,15,16,17,18,19,20]
</pre><pre>
 <code><a href="Control-Lens-Zoom.html#v:magnify">magnify</a></code> :: <code><a href="Control-Lens-Type.html#t:Getter">Getter</a></code> s a -&gt; (a -&gt; r) -&gt; s -&gt; r
 <code><a href="Control-Lens-Zoom.html#v:magnify">magnify</a></code> :: <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a></code> r =&gt; <code><a href="Control-Lens-Type.html#t:Fold">Fold</a></code> s a   -&gt; (a -&gt; r) -&gt; s -&gt; r
</pre><pre>
 <code><a href="Control-Lens-Zoom.html#v:magnify">magnify</a></code> :: <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a></code> w                 =&gt; <code><a href="Control-Lens-Type.html#t:Getter">Getter</a></code> s t -&gt; <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Lazy.html#t:RWS">RWS</a></code> t w st c -&gt; <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Lazy.html#t:RWS">RWS</a></code> s w st c
 <code><a href="Control-Lens-Zoom.html#v:magnify">magnify</a></code> :: (<code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a></code> w, <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a></code> c) =&gt; <code><a href="Control-Lens-Type.html#t:Fold">Fold</a></code> s a   -&gt; <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Lazy.html#t:RWS">RWS</a></code> a w st c -&gt; <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Lazy.html#t:RWS">RWS</a></code> s w st c
 ...
</pre></div></div><div class="subs instances"><p id="control.i:Magnify" class="caption collapser" onclick="toggleSection('i:Magnify')">Instances</p><div id="section.i:Magnify" class="show"><table><tr><td class="src"><a href="Control-Lens-Zoom.html#t:Magnify">Magnify</a> ((-&gt;) b) ((-&gt;) a) b a</td><td class="doc"><pre>
 <code><a href="Control-Lens-Zoom.html#v:magnify">magnify</a></code> = <code><a href="Control-Lens-Getter.html#v:views">views</a></code>
</pre></td></tr><tr><td class="src"><a href="Control-Lens-Zoom.html#t:Magnify">Magnify</a> m n b a =&gt; <a href="Control-Lens-Zoom.html#t:Magnify">Magnify</a> (<a href="/usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> m) (<a href="/usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> n) b a</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a> m =&gt; <a href="Control-Lens-Zoom.html#t:Magnify">Magnify</a> (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader.html#t:ReaderT">ReaderT</a> b m) (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader.html#t:ReaderT">ReaderT</a> a m) b a</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src">(<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a> m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a> w) =&gt; <a href="Control-Lens-Zoom.html#t:Magnify">Magnify</a> (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Lazy.html#t:RWST">RWST</a> b w s m) (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Lazy.html#t:RWST">RWST</a> a w s m) b a</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src">(<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a> m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a> w) =&gt; <a href="Control-Lens-Zoom.html#t:Magnify">Magnify</a> (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#t:RWST">RWST</a> b w s m) (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#t:RWST">RWST</a> a w s m) b a</td><td class="doc empty">&nbsp;</td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> (<a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</a> m ~ <a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</a> n, <a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Class.html#t:MonadState">MonadState</a> s m, <a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Class.html#t:MonadState">MonadState</a> t n) =&gt; <a name="t:Zoom" class="def">Zoom</a> m n s t | m -&gt; s, n -&gt; t, m t -&gt; n, n s -&gt; m <span class="keyword">where</span><a href="src/Control-Lens-Zoom.html#Zoom" class="link">Source</a></p><div class="doc"><p>This class allows us to use <code><a href="Control-Lens-Zoom.html#v:zoom">zoom</a></code> in, changing the <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Lazy.html#t:State">State</a></code> supplied by
 many different <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a></code> transformers, potentially quite
 deep in a <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a></code> transformer stack.
</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:zoom" class="def">zoom</a> ::  <a href="Control-Lens-Type.html#t:LensLike-39-">LensLike'</a> (<a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</a> m c) t s -&gt; m c -&gt; n c<a href="src/Control-Lens-Zoom.html#zoom" class="link">Source</a></p><div class="doc"><p>Run a monadic action in a larger <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Lazy.html#t:State">State</a></code> than it was defined in,
 using a <code><a href="Control-Lens-Type.html#t:Lens-39-">Lens'</a></code> or <code><a href="Control-Lens-Traversal.html#t:Traversal-39-">Traversal'</a></code>.
</p><p>This is commonly used to lift actions in a simpler <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Lazy.html#t:State">State</a></code>
 <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a></code> into a <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Lazy.html#t:State">State</a></code> <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a></code> with a larger <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Lazy.html#t:State">State</a></code> type.
</p><p>When applied to a <code><a href="Control-Lens-Type.html#t:Simple">Simple</a></code> <code><a href="Control-Lens-Traversal.html#t:Traversal">Traversal</a></code> over
 multiple values, the actions for each target are executed sequentially
 and the results are aggregated.
</p><p>This can be used to edit pretty much any <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a></code> transformer stack with a <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Lazy.html#t:State">State</a></code> in it!
</p><pre class="screen"><code class="prompt">&gt;&gt;&gt; </code><strong class="userinput"><code>flip State.evalState (a,b) $ zoom _1 $ use id
</code></strong>a
</pre><pre class="screen"><code class="prompt">&gt;&gt;&gt; </code><strong class="userinput"><code>flip State.execState (a,b) $ zoom _1 $ id .= c
</code></strong>(c,b)
</pre><pre class="screen"><code class="prompt">&gt;&gt;&gt; </code><strong class="userinput"><code>flip State.execState [(a,b),(c,d)] $ zoom traverse $ _2 %= f
</code></strong>[(a,f b),(c,f d)]
</pre><pre class="screen"><code class="prompt">&gt;&gt;&gt; </code><strong class="userinput"><code>flip State.runState [(a,b),(c,d)] $ zoom traverse $ _2 &lt;%= f
</code></strong>(f b &lt;&gt; f d &lt;&gt; mempty,[(a,f b),(c,f d)])
</pre><pre class="screen"><code class="prompt">&gt;&gt;&gt; </code><strong class="userinput"><code>flip State.evalState (a,b) $ zoom both (use id)
</code></strong>a &lt;&gt; b
</pre><pre>
 <code><a href="Control-Lens-Zoom.html#v:zoom">zoom</a></code> :: <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a></code> m             =&gt; <code><a href="Control-Lens-Type.html#t:Lens-39-">Lens'</a></code> s t      -&gt; <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Strict.html#v:StateT">StateT</a></code> t m a -&gt; <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Strict.html#v:StateT">StateT</a></code> s m a
 <code><a href="Control-Lens-Zoom.html#v:zoom">zoom</a></code> :: (<code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a></code> m, <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a></code> c) =&gt; <code><a href="Control-Lens-Traversal.html#t:Traversal-39-">Traversal'</a></code> s t -&gt; <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Strict.html#v:StateT">StateT</a></code> t m c -&gt; <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Strict.html#v:StateT">StateT</a></code> s m c
 <code><a href="Control-Lens-Zoom.html#v:zoom">zoom</a></code> :: (<code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a></code> m, <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a></code> w)             =&gt; <code><a href="Control-Lens-Type.html#t:Lens-39-">Lens'</a></code> s t      -&gt; <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#v:RWST">RWST</a></code> r w t m c -&gt; <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#v:RWST">RWST</a></code> r w s m c
 <code><a href="Control-Lens-Zoom.html#v:zoom">zoom</a></code> :: (<code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a></code> m, <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a></code> w, <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a></code> c) =&gt; <code><a href="Control-Lens-Traversal.html#t:Traversal-39-">Traversal'</a></code> s t -&gt; <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#v:RWST">RWST</a></code> r w t m c -&gt; <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#v:RWST">RWST</a></code> r w s m c
 <code><a href="Control-Lens-Zoom.html#v:zoom">zoom</a></code> :: (<code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a></code> m, <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a></code> w, <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error-Class.html#t:Error">Error</a></code> e)  =&gt; <code><a href="Control-Lens-Type.html#t:Lens-39-">Lens'</a></code> s t      -&gt; <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error.html#t:ErrorT">ErrorT</a></code> e (<code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#v:RWST">RWST</a></code> r w t m) c -&gt; <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error.html#t:ErrorT">ErrorT</a></code> e (<code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#v:RWST">RWST</a></code> r w s m) c
 <code><a href="Control-Lens-Zoom.html#v:zoom">zoom</a></code> :: (<code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a></code> m, <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a></code> w, <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a></code> c, <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error-Class.html#t:Error">Error</a></code> e) =&gt; <code><a href="Control-Lens-Traversal.html#t:Traversal-39-">Traversal'</a></code> s t -&gt; <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error.html#t:ErrorT">ErrorT</a></code> e (<code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#v:RWST">RWST</a></code> r w t m) c -&gt; <code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error.html#t:ErrorT">ErrorT</a></code> e (<code><a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#v:RWST">RWST</a></code> r w s m) c
 ...
</pre></div></div><div class="subs instances"><p id="control.i:Zoom" class="caption collapser" onclick="toggleSection('i:Zoom')">Instances</p><div id="section.i:Zoom" class="show"><table><tr><td class="src"><a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> m n s t =&gt; <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> (<a href="/usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> m) (<a href="/usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> n) s t</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> m n s t =&gt; <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-List.html#t:ListT">ListT</a> m) (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-List.html#t:ListT">ListT</a> n) s t</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> m n s t =&gt; <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> (<a href="/usr/share/doc/libghc-transformers-doc/html/Control-Monad-Trans-Maybe.html#t:MaybeT">MaybeT</a> m) (<a href="/usr/share/doc/libghc-transformers-doc/html/Control-Monad-Trans-Maybe.html#t:MaybeT">MaybeT</a> n) s t</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src">(<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error-Class.html#t:Error">Error</a> e, <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> m n s t) =&gt; <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error.html#t:ErrorT">ErrorT</a> e m) (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error.html#t:ErrorT">ErrorT</a> e n) s t</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> m n s t =&gt; <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader.html#t:ReaderT">ReaderT</a> e m) (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader.html#t:ReaderT">ReaderT</a> e n) s t</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a> z =&gt; <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Lazy.html#t:StateT">StateT</a> s z) (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Lazy.html#t:StateT">StateT</a> t z) s t</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a> z =&gt; <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Strict.html#t:StateT">StateT</a> s z) (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Strict.html#t:StateT">StateT</a> t z) s t</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src">(<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a> w, <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> m n s t) =&gt; <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Writer-Lazy.html#t:WriterT">WriterT</a> w m) (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Writer-Lazy.html#t:WriterT">WriterT</a> w n) s t</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src">(<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a> w, <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> m n s t) =&gt; <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Writer-Strict.html#t:WriterT">WriterT</a> w m) (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Writer-Strict.html#t:WriterT">WriterT</a> w n) s t</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src">(<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a> w, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a> z) =&gt; <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Lazy.html#t:RWST">RWST</a> r w s z) (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Lazy.html#t:RWST">RWST</a> r w t z) s t</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src">(<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Monoid">Monoid</a> w, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a> z) =&gt; <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#t:RWST">RWST</a> r w s z) (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#t:RWST">RWST</a> r w t z) s t</td><td class="doc empty">&nbsp;</td></tr></table></div></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.13.2</p></div></body></html>