/usr/share/doc/libghc-lens-doc/html/Control-Lens-Internal-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 | <!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.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-Internal-Zoom.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Internal-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-2015 Edward Kmett</td></tr><tr><th>License</th><td>BSD-style (see the file LICENSE)</td></tr><tr><th>Maintainer</th><td>Edward Kmett <ekmett@gmail.com></td></tr><tr><th>Stability</th><td>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.Zoom</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Zoom</a></li><li><a href="#g:2">Magnify</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc empty"> </div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">type family</span> <a href="#t:Zoomed">Zoomed</a> m :: * -> * -> *</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:Focusing">Focusing</a> m s a = <a href="#v:Focusing">Focusing</a> {<ul class="subs"><li><a href="#v:unfocusing">unfocusing</a> :: m (s, a)</li></ul>}</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:FocusingWith">FocusingWith</a> w m s a = <a href="#v:FocusingWith">FocusingWith</a> {<ul class="subs"><li><a href="#v:unfocusingWith">unfocusingWith</a> :: m (s, a, w)</li></ul>}</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:FocusingPlus">FocusingPlus</a> w k s a = <a href="#v:FocusingPlus">FocusingPlus</a> {<ul class="subs"><li><a href="#v:unfocusingPlus">unfocusingPlus</a> :: k (s, w) a</li></ul>}</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:FocusingOn">FocusingOn</a> f k s a = <a href="#v:FocusingOn">FocusingOn</a> {<ul class="subs"><li><a href="#v:unfocusingOn">unfocusingOn</a> :: k (f s) a</li></ul>}</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:FocusingMay">FocusingMay</a> k s a = <a href="#v:FocusingMay">FocusingMay</a> {<ul class="subs"><li><a href="#v:unfocusingMay">unfocusingMay</a> :: k (<a href="Control-Lens-Internal-Zoom.html#t:May">May</a> s) a</li></ul>}</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:May">May</a> a = <a href="#v:May">May</a> {<ul class="subs"><li><a href="#v:getMay">getMay</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> a</li></ul>}</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:FocusingErr">FocusingErr</a> e k s a = <a href="#v:FocusingErr">FocusingErr</a> {<ul class="subs"><li><a href="#v:unfocusingErr">unfocusingErr</a> :: k (<a href="Control-Lens-Internal-Zoom.html#t:Err">Err</a> e s) a</li></ul>}</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:Err">Err</a> e a = <a href="#v:Err">Err</a> {<ul class="subs"><li><a href="#v:getErr">getErr</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Either.html#t:Either">Either</a> e a</li></ul>}</li><li class="src short"><span class="keyword">type family</span> <a href="#t:Magnified">Magnified</a> m :: * -> * -> *</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:Effect">Effect</a> m r a = <a href="#v:Effect">Effect</a> {<ul class="subs"><li><a href="#v:getEffect">getEffect</a> :: m r</li></ul>}</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:EffectRWS">EffectRWS</a> w st m s a = <a href="#v:EffectRWS">EffectRWS</a> {<ul class="subs"><li><a href="#v:getEffectRWS">getEffectRWS</a> :: st -> m (s, st, w)</li></ul>}</li></ul></div><div id="interface"><h1 id="g:1">Zoom</h1><div class="top"><p class="src"><span class="keyword">type family</span> <a name="t:Zoomed" class="def">Zoomed</a> m :: * -> * -> * <a href="src/Control-Lens-Internal-Zoom.html#Zoomed" class="link">Source</a></p><div class="doc"><p>This type family is used by <code><a href="Control-Lens-Zoom.html#v:Zoom">Zoom</a></code> to describe the common effect type.</p></div><div class="subs instances"><p id="control.i:Zoomed" class="caption collapser" onclick="toggleSection('i:Zoomed')">Instances</p><div id="section.i:Zoomed" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> m) = <a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</a> m</span> <a href="src/Control-Lens-Internal-Zoom.html#line-64" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-List.html#t:ListT">ListT</a> m) = <a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> [] (<a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</a> m)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-69" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</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="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> (<a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</a> m)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-70" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader.html#t:ReaderT">ReaderT</a> e m) = <a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</a> m</span> <a href="src/Control-Lens-Internal-Zoom.html#line-63" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Lazy.html#t:StateT">StateT</a> s z) = <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> z</span> <a href="src/Control-Lens-Internal-Zoom.html#line-62" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Strict.html#t:StateT">StateT</a> s z) = <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> z</span> <a href="src/Control-Lens-Internal-Zoom.html#line-61" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Except.html#t:ExceptT">ExceptT</a> e m) = <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e (<a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</a> m)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-72" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error.html#t:ErrorT">ErrorT</a> e m) = <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e (<a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</a> m)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-71" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Writer-Lazy.html#t:WriterT">WriterT</a> w m) = <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w (<a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</a> m)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-68" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Writer-Strict.html#t:WriterT">WriterT</a> w m) = <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w (<a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</a> m)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-67" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</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="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w z</span> <a href="src/Control-Lens-Internal-Zoom.html#line-66" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Control-Lens-Internal-Zoom.html#t:Zoomed">Zoomed</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="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w z</span> <a href="src/Control-Lens-Internal-Zoom.html#line-65" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a name="t:Focusing" class="def">Focusing</a> m s a <a href="src/Control-Lens-Internal-Zoom.html#Focusing" class="link">Source</a></p><div class="doc"><p>Used by <code><a href="Control-Lens-Zoom.html#v:Zoom">Zoom</a></code> to <code><a href="Control-Lens-Zoom.html#v:zoom">zoom</a></code> into <code><a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-State.html#v:StateT">StateT</a></code>.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Focusing" class="def">Focusing</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:unfocusing" class="def">unfocusing</a> :: m (s, a)</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:Focusing" class="caption collapser" onclick="toggleSection('i:Focusing')">Instances</p><div id="section.i:Focusing" class="show"><table><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-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-81" 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> s) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-94" 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/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a> s) => <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> (<a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-87" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a name="t:FocusingWith" class="def">FocusingWith</a> w m s a <a href="src/Control-Lens-Internal-Zoom.html#FocusingWith" class="link">Source</a></p><div class="doc"><p>Used by <code><a href="Control-Lens-Zoom.html#v:Zoom">Zoom</a></code> to <code><a href="Control-Lens-Zoom.html#v:zoom">zoom</a></code> into <code><a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS.html#v:RWST">RWST</a></code>.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:FocusingWith" class="def">FocusingWith</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:unfocusingWith" class="def">unfocusingWith</a> :: m (s, a, w)</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:FocusingWith" class="caption collapser" onclick="toggleSection('i:FocusingWith')">Instances</p><div id="section.i:FocusingWith" class="show"><table><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-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-110" 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> s, <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-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-123" 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/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a> s, <a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a> w) => <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> (<a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-116" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a name="t:FocusingPlus" class="def">FocusingPlus</a> w k s a <a href="src/Control-Lens-Internal-Zoom.html#FocusingPlus" class="link">Source</a></p><div class="doc"><p>Used by <code><a href="Control-Lens-Zoom.html#v:Zoom">Zoom</a></code> to <code><a href="Control-Lens-Zoom.html#v:zoom">zoom</a></code> into <code><a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Writer.html#v:WriterT">WriterT</a></code>.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:FocusingPlus" class="def">FocusingPlus</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:unfocusingPlus" class="def">unfocusingPlus</a> :: k (s, w) a</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:FocusingPlus" class="caption collapser" onclick="toggleSection('i:FocusingPlus')">Instances</p><div id="section.i:FocusingPlus" class="show"><table><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-Functor.html#t:Functor">Functor</a> (k (s, w)) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-139" 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-Applicative.html#t:Applicative">Applicative</a> (k (s, w)) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-147" 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-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> (k (s, w)) => <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> (<a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-143" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a name="t:FocusingOn" class="def">FocusingOn</a> f k s a <a href="src/Control-Lens-Internal-Zoom.html#FocusingOn" class="link">Source</a></p><div class="doc"><p>Used by <code><a href="Control-Lens-Zoom.html#v:Zoom">Zoom</a></code> to <code><a href="Control-Lens-Zoom.html#v:zoom">zoom</a></code> into <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Maybe.html#t:MaybeT">MaybeT</a></code> or <code><a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-List.html#t:ListT">ListT</a></code>.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:FocusingOn" class="def">FocusingOn</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:unfocusingOn" class="def">unfocusingOn</a> :: k (f s) a</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:FocusingOn" class="caption collapser" onclick="toggleSection('i:FocusingOn')">Instances</p><div id="section.i:FocusingOn" class="show"><table><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-Functor.html#t:Functor">Functor</a> (k (f s)) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-160" 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-Applicative.html#t:Applicative">Applicative</a> (k (f s)) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-168" 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-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> (k (f s)) => <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> (<a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-164" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a name="t:FocusingMay" class="def">FocusingMay</a> k s a <a href="src/Control-Lens-Internal-Zoom.html#FocusingMay" class="link">Source</a></p><div class="doc"><p>Used by <code><a href="Control-Lens-Zoom.html#v:Zoom">Zoom</a></code> to <code><a href="Control-Lens-Zoom.html#v:zoom">zoom</a></code> into <code><a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error.html#v:ErrorT">ErrorT</a></code>.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:FocusingMay" class="def">FocusingMay</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:unfocusingMay" class="def">unfocusingMay</a> :: k (<a href="Control-Lens-Internal-Zoom.html#t:May">May</a> s) a</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:FocusingMay" class="caption collapser" onclick="toggleSection('i:FocusingMay')">Instances</p><div id="section.i:FocusingMay" class="show"><table><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-Functor.html#t:Functor">Functor</a> (k (<a href="Control-Lens-Internal-Zoom.html#t:May">May</a> s)) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-202" 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-Applicative.html#t:Applicative">Applicative</a> (k (<a href="Control-Lens-Internal-Zoom.html#t:May">May</a> s)) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-210" 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-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> (k (<a href="Control-Lens-Internal-Zoom.html#t:May">May</a> s)) => <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> (<a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-206" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a name="t:May" class="def">May</a> a <a href="src/Control-Lens-Internal-Zoom.html#May" class="link">Source</a></p><div class="doc"><p>Make a <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a></code> out of <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a></code> for error handling.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:May" class="def">May</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:getMay" class="def">getMay</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> a</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:May" class="caption collapser" onclick="toggleSection('i:May')">Instances</p><div id="section.i:May" class="show"><table><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> a => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a> (<a href="Control-Lens-Internal-Zoom.html#t:May">May</a> a)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-187" 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-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a> a => <a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a> (<a href="Control-Lens-Internal-Zoom.html#t:May">May</a> a)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-181" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a name="t:FocusingErr" class="def">FocusingErr</a> e k s a <a href="src/Control-Lens-Internal-Zoom.html#FocusingErr" class="link">Source</a></p><div class="doc"><p>Used by <code><a href="Control-Lens-Zoom.html#v:Zoom">Zoom</a></code> to <code><a href="Control-Lens-Zoom.html#v:zoom">zoom</a></code> into <code><a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error.html#v:ErrorT">ErrorT</a></code>.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:FocusingErr" class="def">FocusingErr</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:unfocusingErr" class="def">unfocusingErr</a> :: k (<a href="Control-Lens-Internal-Zoom.html#t:Err">Err</a> e s) a</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:FocusingErr" class="caption collapser" onclick="toggleSection('i:FocusingErr')">Instances</p><div id="section.i:FocusingErr" class="show"><table><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-Functor.html#t:Functor">Functor</a> (k (<a href="Control-Lens-Internal-Zoom.html#t:Err">Err</a> e s)) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-244" 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-Applicative.html#t:Applicative">Applicative</a> (k (<a href="Control-Lens-Internal-Zoom.html#t:Err">Err</a> e s)) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-252" 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-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> (k (<a href="Control-Lens-Internal-Zoom.html#t:Err">Err</a> e s)) => <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> (<a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-248" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a name="t:Err" class="def">Err</a> e a <a href="src/Control-Lens-Internal-Zoom.html#Err" class="link">Source</a></p><div class="doc"><p>Make a <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a></code> out of <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Either.html#t:Either">Either</a></code> for error handling.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Err" class="def">Err</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:getErr" class="def">getErr</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Either.html#t:Either">Either</a> e a</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:Err" class="caption collapser" onclick="toggleSection('i:Err')">Instances</p><div id="section.i:Err" class="show"><table><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> a => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a> (<a href="Control-Lens-Internal-Zoom.html#t:Err">Err</a> e a)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-229" 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-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a> a => <a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a> (<a href="Control-Lens-Internal-Zoom.html#t:Err">Err</a> e a)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-223" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><h1 id="g:2">Magnify</h1><div class="top"><p class="src"><span class="keyword">type family</span> <a name="t:Magnified" class="def">Magnified</a> m :: * -> * -> * <a href="src/Control-Lens-Internal-Zoom.html#Magnified" class="link">Source</a></p><div class="doc"><p>This type family is used by <code><a href="Control-Lens-Zoom.html#v:Magnify">Magnify</a></code> to describe the common effect type.</p></div><div class="subs instances"><p id="control.i:Magnified" class="caption collapser" onclick="toggleSection('i:Magnified')">Instances</p><div id="section.i:Magnified" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Control-Lens-Internal-Zoom.html#t:Magnified">Magnified</a> ((->) b) = <a href="Control-Lens-Getter.html#t:Const">Const</a></span> <a href="src/Control-Lens-Internal-Zoom.html#line-265" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Control-Lens-Internal-Zoom.html#t:Magnified">Magnified</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> m) = <a href="Control-Lens-Internal-Zoom.html#t:Magnified">Magnified</a> m</span> <a href="src/Control-Lens-Internal-Zoom.html#line-268" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Control-Lens-Internal-Zoom.html#t:Magnified">Magnified</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader.html#t:ReaderT">ReaderT</a> b m) = <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m</span> <a href="src/Control-Lens-Internal-Zoom.html#line-264" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Control-Lens-Internal-Zoom.html#t:Magnified">Magnified</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Lazy.html#t:RWST">RWST</a> a w s m) = <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w s m</span> <a href="src/Control-Lens-Internal-Zoom.html#line-267" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Control-Lens-Internal-Zoom.html#t:Magnified">Magnified</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#t:RWST">RWST</a> a w s m) = <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w s m</span> <a href="src/Control-Lens-Internal-Zoom.html#line-266" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a name="t:Effect" class="def">Effect</a> m r a <a href="src/Control-Lens-Internal-Zoom.html#Effect" class="link">Source</a></p><div class="doc"><p>Wrap a monadic effect with a phantom type argument.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Effect" class="def">Effect</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:getEffect" class="def">getEffect</a> :: m r</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:Effect" class="caption collapser" onclick="toggleSection('i:Effect')">Instances</p><div id="section.i:Effect" class="show"><table><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-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-278" 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> r) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-300" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Getter.html#t:Contravariant">Contravariant</a> (<a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-282" 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-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> m, <a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a> r) => <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> (<a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-296" 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> r) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a> (<a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-290" 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-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> m, <a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a> r) => <a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a> (<a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-286" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a name="t:EffectRWS" class="def">EffectRWS</a> w st m s a <a href="src/Control-Lens-Internal-Zoom.html#EffectRWS" class="link">Source</a></p><div class="doc"><p>Wrap a monadic effect with a phantom type argument. Used when magnifying <code><a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS.html#v:RWST">RWST</a></code>.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:EffectRWS" class="def">EffectRWS</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:getEffectRWS" class="def">getEffectRWS</a> :: st -> m (s, st, w)</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:EffectRWS" class="caption collapser" onclick="toggleSection('i:EffectRWS')">Instances</p><div id="section.i:EffectRWS" class="show"><table><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-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-313" 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> s, <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> m) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-321" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Getter.html#t:Contravariant">Contravariant</a> (<a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-327" 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-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a> s, <a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a> w, <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Bind.html#t:Bind">Bind</a> m) => <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> (<a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-317" 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>
|