/usr/share/doc/libghc-lens-doc/html/Control-Lens-Zoom.html is in libghc-lens-doc 4.13-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 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 | <!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-4.13: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Copyright</th><td>(C) 2012-15 Edward Kmett</td></tr><tr><th>License</th><td>BSD-style (see the file LICENSE)</td></tr><tr><th>Maintainer</th><td>Edward Kmett <ekmett@gmail.com></td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Portability</th><td>Rank2Types</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.Zoom</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-Internal-Zoom.html#t:Magnified">Magnified</a> m ~ <a href="Control-Lens-Internal-Zoom.html#t:Magnified">Magnified</a> n, <a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader-Class.html#t:MonadReader">MonadReader</a> b m, <a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader-Class.html#t:MonadReader">MonadReader</a> a n) => <a href="#t:Magnify">Magnify</a> m n b a | m -> b, n -> a, m a -> n, n b -> 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 -> m c -> 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="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Class.html#t:MonadState">MonadState</a> s m, <a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Class.html#t:MonadState">MonadState</a> t n) => <a href="#t:Zoom">Zoom</a> m n s t | m -> s, n -> t, m t -> n, n s -> 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 -> m c -> 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="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader-Class.html#t:MonadReader">MonadReader</a> b m, <a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader-Class.html#t:MonadReader">MonadReader</a> a n) => <a name="t:Magnify" class="def">Magnify</a> m n b a | m -> b, n -> a, m a -> n, n b -> 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="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/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="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/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 -> m c -> n c <span class="fixity">infixr 2</span><span class="rightedge"></span> <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="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader-Class.html#v: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="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader.html#t:Reader">Reader</a></code> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a></code> into a <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/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="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a></code> transformer stack with an environment in it:</p><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>(1,2) & magnify _2 (+1)
</code></strong>3
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>flip Reader.runReader (1,2) $ magnify _1 Reader.ask
</code></strong>1
</pre><pre class="screen"><code class="prompt">>>> </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 -> (a -> r) -> s -> r
<code><a href="Control-Lens-Zoom.html#v:magnify">magnify</a></code> :: <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a></code> r => <code><a href="Control-Lens-Type.html#t:Fold">Fold</a></code> s a -> (a -> r) -> s -> r
</pre><pre><code><a href="Control-Lens-Zoom.html#v:magnify">magnify</a></code> :: <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a></code> w => <code><a href="Control-Lens-Type.html#t:Getter">Getter</a></code> s t -> <code><a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Lazy.html#t:RWS">RWS</a></code> t w st c -> <code><a href="file:///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="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a></code> w, <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a></code> c) => <code><a href="Control-Lens-Type.html#t:Fold">Fold</a></code> s a -> <code><a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Lazy.html#t:RWS">RWS</a></code> a w st c -> <code><a href="file:///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 clearfix"><span class="inst-left"><a href="Control-Lens-Zoom.html#t:Magnify">Magnify</a> ((->) b) ((->) a) b a</span> <a href="src/Control-Lens-Zoom.html#line-203" class="link">Source</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 clearfix"><span class="inst-left"><a href="Control-Lens-Zoom.html#t:Magnify">Magnify</a> m n b a => <a href="Control-Lens-Zoom.html#t:Magnify">Magnify</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> m) (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> n) b a</span> <a href="src/Control-Lens-Zoom.html#line-215" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m => <a href="Control-Lens-Zoom.html#t:Magnify">Magnify</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader.html#t:ReaderT">ReaderT</a> b m) (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader.html#t:ReaderT">ReaderT</a> a m) b a</span> <a href="src/Control-Lens-Zoom.html#line-196" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a> w) => <a href="Control-Lens-Zoom.html#t:Magnify">Magnify</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Lazy.html#t:RWST">RWST</a> b w s m) (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Lazy.html#t:RWST">RWST</a> a w s m) b a</span> <a href="src/Control-Lens-Zoom.html#line-211" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a> w) => <a href="Control-Lens-Zoom.html#t:Magnify">Magnify</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#t:RWST">RWST</a> b w s m) (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#t:RWST">RWST</a> a w s m) b a</span> <a href="src/Control-Lens-Zoom.html#line-207" class="link">Source</a></td><td class="doc empty"> </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="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Class.html#t:MonadState">MonadState</a> s m, <a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Class.html#t:MonadState">MonadState</a> t n) => <a name="t:Zoom" class="def">Zoom</a> m n s t | m -> s, n -> t, m t -> n, n s -> 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="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Lazy.html#t:State">State</a></code> supplied by
many different <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a></code> transformers, potentially quite
deep in a <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/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 -> m c -> n c <span class="fixity">infixr 2</span><span class="rightedge"></span> <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="file:///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#v:Traversal-39-">Traversal'</a></code>.</p><p>This is commonly used to lift actions in a simpler <code><a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Lazy.html#t:State">State</a></code>
<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a></code> into a <code><a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Lazy.html#t:State">State</a></code> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a></code> with a larger <code><a href="file:///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-Traversal.html#v:Traversal-39-">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="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a></code> transformer stack with a <code><a href="file:///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">>>> </code><strong class="userinput"><code>flip State.evalState (a,b) $ zoom _1 $ use id
</code></strong>a
</pre><pre class="screen"><code class="prompt">>>> </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">>>> </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">>>> </code><strong class="userinput"><code>flip State.runState [(a,b),(c,d)] $ zoom traverse $ _2 <%= f
</code></strong>(f b <> f d <> mempty,[(a,f b),(c,f d)])
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>flip State.evalState (a,b) $ zoom both (use id)
</code></strong>a <> b
</pre><pre><code><a href="Control-Lens-Zoom.html#v:zoom">zoom</a></code> :: <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a></code> m => <code><a href="Control-Lens-Type.html#t:Lens-39-">Lens'</a></code> s t -> <code><a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Strict.html#v:StateT">StateT</a></code> t m a -> <code><a href="file:///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="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a></code> m, <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a></code> c) => <code><a href="Control-Lens-Traversal.html#v:Traversal-39-">Traversal'</a></code> s t -> <code><a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Strict.html#v:StateT">StateT</a></code> t m c -> <code><a href="file:///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="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a></code> m, <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a></code> w) => <code><a href="Control-Lens-Type.html#t:Lens-39-">Lens'</a></code> s t -> <code><a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#v:RWST">RWST</a></code> r w t m c -> <code><a href="file:///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="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a></code> m, <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a></code> w, <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a></code> c) => <code><a href="Control-Lens-Traversal.html#v:Traversal-39-">Traversal'</a></code> s t -> <code><a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#v:RWST">RWST</a></code> r w t m c -> <code><a href="file:///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="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a></code> m, <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a></code> w, <code><a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error-Class.html#t:Error">Error</a></code> e) => <code><a href="Control-Lens-Type.html#t:Lens-39-">Lens'</a></code> s t -> <code><a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error.html#t:ErrorT">ErrorT</a></code> e (<code><a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#v:RWST">RWST</a></code> r w t m) c -> <code><a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error.html#t:ErrorT">ErrorT</a></code> e (<code><a href="file:///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="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a></code> m, <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a></code> w, <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a></code> c, <code><a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error-Class.html#t:Error">Error</a></code> e) => <code><a href="Control-Lens-Traversal.html#v:Traversal-39-">Traversal'</a></code> s t -> <code><a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error.html#t:ErrorT">ErrorT</a></code> e (<code><a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#v:RWST">RWST</a></code> r w t m) c -> <code><a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error.html#t:ErrorT">ErrorT</a></code> e (<code><a href="file:///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 clearfix"><span class="inst-left"><a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> m n s t => <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> m) (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> n) s t</span> <a href="src/Control-Lens-Zoom.html#line-124" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> m n s t => <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-List.html#t:ListT">ListT</a> m) (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-List.html#t:ListT">ListT</a> n) s t</span> <a href="src/Control-Lens-Zoom.html#line-144" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> m n s t => <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Maybe.html#t:MaybeT">MaybeT</a> m) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Maybe.html#t:MaybeT">MaybeT</a> n) s t</span> <a href="src/Control-Lens-Zoom.html#line-148" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> m n s t => <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader.html#t:ReaderT">ReaderT</a> e m) (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader.html#t:ReaderT">ReaderT</a> e n) s t</span> <a href="src/Control-Lens-Zoom.html#line-120" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> z => <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Lazy.html#t:StateT">StateT</a> s z) (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Lazy.html#t:StateT">StateT</a> t z) s t</span> <a href="src/Control-Lens-Zoom.html#line-116" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> z => <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Strict.html#t:StateT">StateT</a> s z) (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Strict.html#t:StateT">StateT</a> t z) s t</span> <a href="src/Control-Lens-Zoom.html#line-112" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> m n s t => <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Except.html#t:ExceptT">ExceptT</a> e m) (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Except.html#t:ExceptT">ExceptT</a> e n) s t</span> <a href="src/Control-Lens-Zoom.html#line-156" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///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) => <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error.html#t:ErrorT">ErrorT</a> e m) (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error.html#t:ErrorT">ErrorT</a> e n) s t</span> <a href="src/Control-Lens-Zoom.html#line-152" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a> w, <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> m n s t) => <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Writer-Lazy.html#t:WriterT">WriterT</a> w m) (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Writer-Lazy.html#t:WriterT">WriterT</a> w n) s t</span> <a href="src/Control-Lens-Zoom.html#line-140" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a> w, <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> m n s t) => <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Writer-Strict.html#t:WriterT">WriterT</a> w m) (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Writer-Strict.html#t:WriterT">WriterT</a> w n) s t</span> <a href="src/Control-Lens-Zoom.html#line-136" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a> w, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> z) => <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Lazy.html#t:RWST">RWST</a> r w s z) (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Lazy.html#t:RWST">RWST</a> r w t z) s t</span> <a href="src/Control-Lens-Zoom.html#line-132" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a> w, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> z) => <a href="Control-Lens-Zoom.html#t:Zoom">Zoom</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#t:RWST">RWST</a> r w s z) (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#t:RWST">RWST</a> r w t z) s t</span> <a href="src/Control-Lens-Zoom.html#line-128" class="link">Source</a></td><td class="doc empty"> </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.16.1</p></div></body></html>
|