/usr/share/doc/libghc-lens-doc/html/Control-Lens-Internal-Zoom.html is in libghc-lens-doc 4.15.4-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 | <!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 src="file:///usr/share/javascript/mathjax/MathJax.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Control-Lens-Internal-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.15.4: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th valign="top">Copyright</th><td>(C) 2012-2016 Edward Kmett</td></tr><tr><th>License</th><td>BSD-style (see the file LICENSE)</td></tr><tr><th>Maintainer</th><td>Edward Kmett <ekmett@gmail.com></td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Portability</th><td>non-portable</td></tr><tr><th>Safe Haskell</th><td>Safe</td></tr><tr><th>Language</th><td>Haskell98</td></tr></table><p class="caption">Control.Lens.Internal.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">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.9.1.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.9.1.0/Data-Either.html#t:Either">Either</a> e a</li></ul>}</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:FocusingFree">FocusingFree</a> f m k s a = <a href="#v:FocusingFree">FocusingFree</a> {<ul class="subs"><li><a href="#v:unfocusingFree">unfocusingFree</a> :: k (<a href="Control-Lens-Internal-Zoom.html#t:Freed">Freed</a> f m s) a</li></ul>}</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:Freed">Freed</a> f m a = <a href="#v:Freed">Freed</a> {<ul class="subs"><li><a href="#v:getFreed">getFreed</a> :: <a href="file:///usr/share/doc/libghc-free-doc/html/Control-Monad-Trans-Free.html#t:FreeF">FreeF</a> f a (<a href="file:///usr/share/doc/libghc-free-doc/html/Control-Monad-Trans-Free.html#t:FreeT">FreeT</a> f m a)</li></ul>}</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">newtype</span> <a id="t:Focusing" class="def">Focusing</a> m s a <a href="src/Control-Lens-Internal-Zoom.html#Focusing" class="link">Source</a> <a href="#t:Focusing" class="selflink">#</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 id="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><ul><li><dfn class="src"><a id="v:unfocusing" class="def">unfocusing</a> :: m (s, a)</dfn><div class="doc empty"> </div></li></ul></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"><span id="control.i:id:Focusing:Functor:1" class="instance expander" onclick="toggleSection('i:id:Focusing:Functor:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-53" class="link">Source</a> <a href="#t:Focusing" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Focusing:Functor:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s a -> <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s b -> <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s a <a href="#v:-60--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Focusing:Applicative:2" class="instance expander" onclick="toggleSection('i:id:Focusing:Applicative:2')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> s) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-66" class="link">Source</a> <a href="#t:Focusing" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Focusing:Applicative:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pure">pure</a> :: a -> <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s a <a href="#v:pure" class="selflink">#</a></p><p class="src"><a href="#v:-60--42--62-">(<*>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s a -> <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s b <a href="#v:-60--42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62-">(*>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s a -> <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s b -> <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s b <a href="#v:-42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--42-">(<*)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s a -> <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s b -> <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s a <a href="#v:-60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Focusing:Apply:3" class="instance expander" onclick="toggleSection('i:id:Focusing:Apply:3')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/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-59" class="link">Source</a> <a href="#t:Focusing" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Focusing:Apply:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60-.-62-">(<.>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s a -> <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s b <a href="#v:-60-.-62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62-">(.>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s a -> <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s b -> <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s b <a href="#v:.-62-" class="selflink">#</a></p><p class="src"><a href="#v:-60-.">(<.)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s a -> <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s b -> <a href="Control-Lens-Internal-Zoom.html#t:Focusing">Focusing</a> m s a <a href="#v:-60-." class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:FocusingWith" class="def">FocusingWith</a> w m s a <a href="src/Control-Lens-Internal-Zoom.html#FocusingWith" class="link">Source</a> <a href="#t:FocusingWith" class="selflink">#</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 id="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><ul><li><dfn class="src"><a id="v:unfocusingWith" class="def">unfocusingWith</a> :: m (s, a, w)</dfn><div class="doc empty"> </div></li></ul></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"><span id="control.i:id:FocusingWith:Functor:1" class="instance expander" onclick="toggleSection('i:id:FocusingWith:Functor:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-82" class="link">Source</a> <a href="#t:FocusingWith" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FocusingWith:Functor:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s a <a href="#v:-60--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FocusingWith:Applicative:2" class="instance expander" onclick="toggleSection('i:id:FocusingWith:Applicative:2')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> s, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> w) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/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-95" class="link">Source</a> <a href="#t:FocusingWith" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FocusingWith:Applicative:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pure">pure</a> :: a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s a <a href="#v:pure" class="selflink">#</a></p><p class="src"><a href="#v:-60--42--62-">(<*>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s b <a href="#v:-60--42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62-">(*>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s b <a href="#v:-42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--42-">(<*)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s a <a href="#v:-60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FocusingWith:Apply:3" class="instance expander" onclick="toggleSection('i:id:FocusingWith:Apply:3')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Semigroup">Semigroup</a> s, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/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-88" class="link">Source</a> <a href="#t:FocusingWith" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FocusingWith:Apply:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60-.-62-">(<.>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s b <a href="#v:-60-.-62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62-">(.>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s b <a href="#v:.-62-" class="selflink">#</a></p><p class="src"><a href="#v:-60-.">(<.)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingWith">FocusingWith</a> w m s a <a href="#v:-60-." class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:FocusingPlus" class="def">FocusingPlus</a> w k s a <a href="src/Control-Lens-Internal-Zoom.html#FocusingPlus" class="link">Source</a> <a href="#t:FocusingPlus" class="selflink">#</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 id="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><ul><li><dfn class="src"><a id="v:unfocusingPlus" class="def">unfocusingPlus</a> :: k (s, w) a</dfn><div class="doc empty"> </div></li></ul></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"><span id="control.i:id:FocusingPlus:Functor:1" class="instance expander" onclick="toggleSection('i:id:FocusingPlus:Functor:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> (k (s, w)) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-111" class="link">Source</a> <a href="#t:FocusingPlus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FocusingPlus:Functor:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s a <a href="#v:-60--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FocusingPlus:Applicative:2" class="instance expander" onclick="toggleSection('i:id:FocusingPlus:Applicative:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> (k (s, w)) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-119" class="link">Source</a> <a href="#t:FocusingPlus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FocusingPlus:Applicative:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pure">pure</a> :: a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s a <a href="#v:pure" class="selflink">#</a></p><p class="src"><a href="#v:-60--42--62-">(<*>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s b <a href="#v:-60--42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62-">(*>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s b <a href="#v:-42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--42-">(<*)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s a <a href="#v:-60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FocusingPlus:Apply:3" class="instance expander" onclick="toggleSection('i:id:FocusingPlus:Apply:3')"></span> <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-115" class="link">Source</a> <a href="#t:FocusingPlus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FocusingPlus:Apply:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60-.-62-">(<.>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s b <a href="#v:-60-.-62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62-">(.>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s b <a href="#v:.-62-" class="selflink">#</a></p><p class="src"><a href="#v:-60-.">(<.)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingPlus">FocusingPlus</a> w k s a <a href="#v:-60-." class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:FocusingOn" class="def">FocusingOn</a> f k s a <a href="src/Control-Lens-Internal-Zoom.html#FocusingOn" class="link">Source</a> <a href="#t:FocusingOn" class="selflink">#</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.5.2.0/Control-Monad-Trans-Maybe.html#v:MaybeT">MaybeT</a></code> or <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-List.html#v:ListT">ListT</a></code>.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="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><ul><li><dfn class="src"><a id="v:unfocusingOn" class="def">unfocusingOn</a> :: k (f s) a</dfn><div class="doc empty"> </div></li></ul></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"><span id="control.i:id:FocusingOn:Functor:1" class="instance expander" onclick="toggleSection('i:id:FocusingOn:Functor:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> (k (f s)) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-132" class="link">Source</a> <a href="#t:FocusingOn" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FocusingOn:Functor:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s a <a href="#v:-60--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FocusingOn:Applicative:2" class="instance expander" onclick="toggleSection('i:id:FocusingOn:Applicative:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> (k (f s)) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-140" class="link">Source</a> <a href="#t:FocusingOn" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FocusingOn:Applicative:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pure">pure</a> :: a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s a <a href="#v:pure" class="selflink">#</a></p><p class="src"><a href="#v:-60--42--62-">(<*>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s b <a href="#v:-60--42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62-">(*>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s b <a href="#v:-42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--42-">(<*)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s a <a href="#v:-60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FocusingOn:Apply:3" class="instance expander" onclick="toggleSection('i:id:FocusingOn:Apply:3')"></span> <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-136" class="link">Source</a> <a href="#t:FocusingOn" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FocusingOn:Apply:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60-.-62-">(<.>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s b <a href="#v:-60-.-62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62-">(.>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s b <a href="#v:.-62-" class="selflink">#</a></p><p class="src"><a href="#v:-60-.">(<.)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingOn">FocusingOn</a> f k s a <a href="#v:-60-." class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:FocusingMay" class="def">FocusingMay</a> k s a <a href="src/Control-Lens-Internal-Zoom.html#FocusingMay" class="link">Source</a> <a href="#t:FocusingMay" class="selflink">#</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 id="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><ul><li><dfn class="src"><a id="v:unfocusingMay" class="def">unfocusingMay</a> :: k (<a href="Control-Lens-Internal-Zoom.html#t:May">May</a> s) a</dfn><div class="doc empty"> </div></li></ul></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"><span id="control.i:id:FocusingMay:Functor:1" class="instance expander" onclick="toggleSection('i:id:FocusingMay:Functor:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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.9.1.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-174" class="link">Source</a> <a href="#t:FocusingMay" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FocusingMay:Functor:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s a <a href="#v:-60--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FocusingMay:Applicative:2" class="instance expander" onclick="toggleSection('i:id:FocusingMay:Applicative:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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.9.1.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-182" class="link">Source</a> <a href="#t:FocusingMay" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FocusingMay:Applicative:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pure">pure</a> :: a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s a <a href="#v:pure" class="selflink">#</a></p><p class="src"><a href="#v:-60--42--62-">(<*>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s b <a href="#v:-60--42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62-">(*>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s b <a href="#v:-42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--42-">(<*)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s a <a href="#v:-60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FocusingMay:Apply:3" class="instance expander" onclick="toggleSection('i:id:FocusingMay:Apply:3')"></span> <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-178" class="link">Source</a> <a href="#t:FocusingMay" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FocusingMay:Apply:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60-.-62-">(<.>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s b <a href="#v:-60-.-62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62-">(.>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s b <a href="#v:.-62-" class="selflink">#</a></p><p class="src"><a href="#v:-60-.">(<.)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingMay">FocusingMay</a> k s a <a href="#v:-60-." class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:May" class="def">May</a> a <a href="src/Control-Lens-Internal-Zoom.html#May" class="link">Source</a> <a href="#t:May" class="selflink">#</a></p><div class="doc"><p>Make a <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a></code> out of <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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 id="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><ul><li><dfn class="src"><a id="v:getMay" class="def">getMay</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a</dfn><div class="doc empty"> </div></li></ul></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"><span id="control.i:id:May:Semigroup:1" class="instance expander" onclick="toggleSection('i:id:May:Semigroup:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Semigroup">Semigroup</a> a => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Semigroup">Semigroup</a> (<a href="Control-Lens-Internal-Zoom.html#t:May">May</a> a)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-153" class="link">Source</a> <a href="#t:May" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:May:Semigroup:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--62-">(<>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:May">May</a> a -> <a href="Control-Lens-Internal-Zoom.html#t:May">May</a> a -> <a href="Control-Lens-Internal-Zoom.html#t:May">May</a> a <a href="#v:-60--62-" class="selflink">#</a></p><p class="src"><a href="#v:sconcat">sconcat</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> (<a href="Control-Lens-Internal-Zoom.html#t:May">May</a> a) -> <a href="Control-Lens-Internal-Zoom.html#t:May">May</a> a <a href="#v:sconcat" class="selflink">#</a></p><p class="src"><a href="#v:stimes">stimes</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> b => b -> <a href="Control-Lens-Internal-Zoom.html#t:May">May</a> a -> <a href="Control-Lens-Internal-Zoom.html#t:May">May</a> a <a href="#v:stimes" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:May:Monoid:2" class="instance expander" onclick="toggleSection('i:id:May:Monoid:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> a => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> (<a href="Control-Lens-Internal-Zoom.html#t:May">May</a> a)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-159" class="link">Source</a> <a href="#t:May" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:May:Monoid:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:mempty">mempty</a> :: <a href="Control-Lens-Internal-Zoom.html#t:May">May</a> a <a href="#v:mempty" class="selflink">#</a></p><p class="src"><a href="#v:mappend">mappend</a> :: <a href="Control-Lens-Internal-Zoom.html#t:May">May</a> a -> <a href="Control-Lens-Internal-Zoom.html#t:May">May</a> a -> <a href="Control-Lens-Internal-Zoom.html#t:May">May</a> a <a href="#v:mappend" class="selflink">#</a></p><p class="src"><a href="#v:mconcat">mconcat</a> :: [<a href="Control-Lens-Internal-Zoom.html#t:May">May</a> a] -> <a href="Control-Lens-Internal-Zoom.html#t:May">May</a> a <a href="#v:mconcat" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:FocusingErr" class="def">FocusingErr</a> e k s a <a href="src/Control-Lens-Internal-Zoom.html#FocusingErr" class="link">Source</a> <a href="#t:FocusingErr" class="selflink">#</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 id="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><ul><li><dfn class="src"><a id="v:unfocusingErr" class="def">unfocusingErr</a> :: k (<a href="Control-Lens-Internal-Zoom.html#t:Err">Err</a> e s) a</dfn><div class="doc empty"> </div></li></ul></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"><span id="control.i:id:FocusingErr:Functor:1" class="instance expander" onclick="toggleSection('i:id:FocusingErr:Functor:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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.9.1.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-216" class="link">Source</a> <a href="#t:FocusingErr" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FocusingErr:Functor:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s a <a href="#v:-60--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FocusingErr:Applicative:2" class="instance expander" onclick="toggleSection('i:id:FocusingErr:Applicative:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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.9.1.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-224" class="link">Source</a> <a href="#t:FocusingErr" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FocusingErr:Applicative:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pure">pure</a> :: a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s a <a href="#v:pure" class="selflink">#</a></p><p class="src"><a href="#v:-60--42--62-">(<*>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s b <a href="#v:-60--42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62-">(*>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s b <a href="#v:-42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--42-">(<*)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s a <a href="#v:-60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FocusingErr:Apply:3" class="instance expander" onclick="toggleSection('i:id:FocusingErr:Apply:3')"></span> <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-220" class="link">Source</a> <a href="#t:FocusingErr" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FocusingErr:Apply:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60-.-62-">(<.>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s b <a href="#v:-60-.-62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62-">(.>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s b <a href="#v:.-62-" class="selflink">#</a></p><p class="src"><a href="#v:-60-.">(<.)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingErr">FocusingErr</a> e k s a <a href="#v:-60-." class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:Err" class="def">Err</a> e a <a href="src/Control-Lens-Internal-Zoom.html#Err" class="link">Source</a> <a href="#t:Err" class="selflink">#</a></p><div class="doc"><p>Make a <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a></code> out of <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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 id="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><ul><li><dfn class="src"><a id="v:getErr" class="def">getErr</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> e a</dfn><div class="doc empty"> </div></li></ul></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"><span id="control.i:id:Err:Semigroup:1" class="instance expander" onclick="toggleSection('i:id:Err:Semigroup:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Semigroup">Semigroup</a> a => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Semigroup">Semigroup</a> (<a href="Control-Lens-Internal-Zoom.html#t:Err">Err</a> e a)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-195" class="link">Source</a> <a href="#t:Err" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Err:Semigroup:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--62-">(<>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:Err">Err</a> e a -> <a href="Control-Lens-Internal-Zoom.html#t:Err">Err</a> e a -> <a href="Control-Lens-Internal-Zoom.html#t:Err">Err</a> e a <a href="#v:-60--62-" class="selflink">#</a></p><p class="src"><a href="#v:sconcat">sconcat</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> (<a href="Control-Lens-Internal-Zoom.html#t:Err">Err</a> e a) -> <a href="Control-Lens-Internal-Zoom.html#t:Err">Err</a> e a <a href="#v:sconcat" class="selflink">#</a></p><p class="src"><a href="#v:stimes">stimes</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> b => b -> <a href="Control-Lens-Internal-Zoom.html#t:Err">Err</a> e a -> <a href="Control-Lens-Internal-Zoom.html#t:Err">Err</a> e a <a href="#v:stimes" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Err:Monoid:2" class="instance expander" onclick="toggleSection('i:id:Err:Monoid:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> a => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> (<a href="Control-Lens-Internal-Zoom.html#t:Err">Err</a> e a)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-201" class="link">Source</a> <a href="#t:Err" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Err:Monoid:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:mempty">mempty</a> :: <a href="Control-Lens-Internal-Zoom.html#t:Err">Err</a> e a <a href="#v:mempty" class="selflink">#</a></p><p class="src"><a href="#v:mappend">mappend</a> :: <a href="Control-Lens-Internal-Zoom.html#t:Err">Err</a> e a -> <a href="Control-Lens-Internal-Zoom.html#t:Err">Err</a> e a -> <a href="Control-Lens-Internal-Zoom.html#t:Err">Err</a> e a <a href="#v:mappend" class="selflink">#</a></p><p class="src"><a href="#v:mconcat">mconcat</a> :: [<a href="Control-Lens-Internal-Zoom.html#t:Err">Err</a> e a] -> <a href="Control-Lens-Internal-Zoom.html#t:Err">Err</a> e a <a href="#v:mconcat" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:FocusingFree" class="def">FocusingFree</a> f m k s a <a href="src/Control-Lens-Internal-Zoom.html#FocusingFree" class="link">Source</a> <a href="#t:FocusingFree" class="selflink">#</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-Trans.html#v:FreeT">FreeT</a></code></p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:FocusingFree" class="def">FocusingFree</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:unfocusingFree" class="def">unfocusingFree</a> :: k (<a href="Control-Lens-Internal-Zoom.html#t:Freed">Freed</a> f m s) a</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:FocusingFree" class="caption collapser" onclick="toggleSection('i:FocusingFree')">Instances</p><div id="section.i:FocusingFree" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FocusingFree:Functor:1" class="instance expander" onclick="toggleSection('i:id:FocusingFree:Functor:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> (k (<a href="Control-Lens-Internal-Zoom.html#t:Freed">Freed</a> f m s)) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-260" class="link">Source</a> <a href="#t:FocusingFree" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FocusingFree:Functor:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s a <a href="#v:-60--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FocusingFree:Applicative:2" class="instance expander" onclick="toggleSection('i:id:FocusingFree:Applicative:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> (k (<a href="Control-Lens-Internal-Zoom.html#t:Freed">Freed</a> f m s)) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-268" class="link">Source</a> <a href="#t:FocusingFree" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FocusingFree:Applicative:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pure">pure</a> :: a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s a <a href="#v:pure" class="selflink">#</a></p><p class="src"><a href="#v:-60--42--62-">(<*>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s b <a href="#v:-60--42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62-">(*>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s b <a href="#v:-42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--42-">(<*)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s a <a href="#v:-60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FocusingFree:Apply:3" class="instance expander" onclick="toggleSection('i:id:FocusingFree:Apply:3')"></span> <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:Freed">Freed</a> f m 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:FocusingFree">FocusingFree</a> f m k s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-264" class="link">Source</a> <a href="#t:FocusingFree" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FocusingFree:Apply:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60-.-62-">(<.>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s b <a href="#v:-60-.-62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62-">(.>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s b <a href="#v:.-62-" class="selflink">#</a></p><p class="src"><a href="#v:-60-.">(<.)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s a -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s b -> <a href="Control-Lens-Internal-Zoom.html#t:FocusingFree">FocusingFree</a> f m k s a <a href="#v:-60-." class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:Freed" class="def">Freed</a> f m a <a href="src/Control-Lens-Internal-Zoom.html#Freed" class="link">Source</a> <a href="#t:Freed" class="selflink">#</a></p><div class="doc"><p>Make a <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a></code> out of <code><a href="file:///usr/share/doc/libghc-free-doc/html/Control-Monad-Trans-Free.html#t:FreeF">FreeF</a></code> for result collection.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Freed" class="def">Freed</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:getFreed" class="def">getFreed</a> :: <a href="file:///usr/share/doc/libghc-free-doc/html/Control-Monad-Trans-Free.html#t:FreeF">FreeF</a> f a (<a href="file:///usr/share/doc/libghc-free-doc/html/Control-Monad-Trans-Free.html#t:FreeT">FreeT</a> f m a)</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:Freed" class="caption collapser" onclick="toggleSection('i:Freed')">Instances</p><div id="section.i:Freed" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Freed:Semigroup:1" class="instance expander" onclick="toggleSection('i:id:Freed:Semigroup:1')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Semigroup">Semigroup</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Semigroup">Semigroup</a> (<a href="Control-Lens-Internal-Zoom.html#t:Freed">Freed</a> f m a)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-238" class="link">Source</a> <a href="#t:Freed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Freed:Semigroup:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--62-">(<>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:Freed">Freed</a> f m a -> <a href="Control-Lens-Internal-Zoom.html#t:Freed">Freed</a> f m a -> <a href="Control-Lens-Internal-Zoom.html#t:Freed">Freed</a> f m a <a href="#v:-60--62-" class="selflink">#</a></p><p class="src"><a href="#v:sconcat">sconcat</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> (<a href="Control-Lens-Internal-Zoom.html#t:Freed">Freed</a> f m a) -> <a href="Control-Lens-Internal-Zoom.html#t:Freed">Freed</a> f m a <a href="#v:sconcat" class="selflink">#</a></p><p class="src"><a href="#v:stimes">stimes</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> b => b -> <a href="Control-Lens-Internal-Zoom.html#t:Freed">Freed</a> f m a -> <a href="Control-Lens-Internal-Zoom.html#t:Freed">Freed</a> f m a <a href="#v:stimes" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Freed:Monoid:2" class="instance expander" onclick="toggleSection('i:id:Freed:Monoid:2')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> (<a href="Control-Lens-Internal-Zoom.html#t:Freed">Freed</a> f m a)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-244" class="link">Source</a> <a href="#t:Freed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Freed:Monoid:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:mempty">mempty</a> :: <a href="Control-Lens-Internal-Zoom.html#t:Freed">Freed</a> f m a <a href="#v:mempty" class="selflink">#</a></p><p class="src"><a href="#v:mappend">mappend</a> :: <a href="Control-Lens-Internal-Zoom.html#t:Freed">Freed</a> f m a -> <a href="Control-Lens-Internal-Zoom.html#t:Freed">Freed</a> f m a -> <a href="Control-Lens-Internal-Zoom.html#t:Freed">Freed</a> f m a <a href="#v:mappend" class="selflink">#</a></p><p class="src"><a href="#v:mconcat">mconcat</a> :: [<a href="Control-Lens-Internal-Zoom.html#t:Freed">Freed</a> f m a] -> <a href="Control-Lens-Internal-Zoom.html#t:Freed">Freed</a> f m a <a href="#v:mconcat" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><h1 id="g:2">Magnify</h1><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:Effect" class="def">Effect</a> m r a <a href="src/Control-Lens-Internal-Zoom.html#Effect" class="link">Source</a> <a href="#t:Effect" class="selflink">#</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 id="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><ul><li><dfn class="src"><a id="v:getEffect" class="def">getEffect</a> :: m r</dfn><div class="doc empty"> </div></li></ul></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"><span id="control.i:id:Effect:Functor:1" class="instance expander" onclick="toggleSection('i:id:Effect:Functor:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-282" class="link">Source</a> <a href="#t:Effect" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Effect:Functor:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r b -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a <a href="#v:-60--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Effect:Applicative:2" class="instance expander" onclick="toggleSection('i:id:Effect:Applicative:2')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> r) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-304" class="link">Source</a> <a href="#t:Effect" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Effect:Applicative:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pure">pure</a> :: a -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a <a href="#v:pure" class="selflink">#</a></p><p class="src"><a href="#v:-60--42--62-">(<*>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r b <a href="#v:-60--42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62-">(*>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r b -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r b <a href="#v:-42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--42-">(<*)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r b -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a <a href="#v:-60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Effect:Contravariant:3" class="instance expander" onclick="toggleSection('i:id:Effect:Contravariant:3')"></span> <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-286" class="link">Source</a> <a href="#t:Effect" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Effect:Contravariant:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:contramap">contramap</a> :: (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r b -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a <a href="#v:contramap" class="selflink">#</a></p><p class="src"><a href="#v:-62--36-">(>$)</a> :: b -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r b -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a <a href="#v:-62--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Effect:Apply:4" class="instance expander" onclick="toggleSection('i:id:Effect:Apply:4')"></span> (<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/ghc-doc/html/libraries/base-4.9.1.0/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-300" class="link">Source</a> <a href="#t:Effect" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Effect:Apply:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60-.-62-">(<.>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r b <a href="#v:-60-.-62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62-">(.>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r b -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r b <a href="#v:.-62-" class="selflink">#</a></p><p class="src"><a href="#v:-60-.">(<.)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r b -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a <a href="#v:-60-." class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Effect:Semigroup:5" class="instance expander" onclick="toggleSection('i:id:Effect:Semigroup:5')"></span> (<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/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Semigroup">Semigroup</a> r) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Semigroup">Semigroup</a> (<a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-290" class="link">Source</a> <a href="#t:Effect" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Effect:Semigroup:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--62-">(<>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a <a href="#v:-60--62-" class="selflink">#</a></p><p class="src"><a href="#v:sconcat">sconcat</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> (<a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a) -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a <a href="#v:sconcat" class="selflink">#</a></p><p class="src"><a href="#v:stimes">stimes</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> b => b -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a <a href="#v:stimes" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Effect:Monoid:6" class="instance expander" onclick="toggleSection('i:id:Effect:Monoid:6')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> r) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> (<a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-294" class="link">Source</a> <a href="#t:Effect" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Effect:Monoid:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:mempty">mempty</a> :: <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a <a href="#v:mempty" class="selflink">#</a></p><p class="src"><a href="#v:mappend">mappend</a> :: <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a <a href="#v:mappend" class="selflink">#</a></p><p class="src"><a href="#v:mconcat">mconcat</a> :: [<a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a] -> <a href="Control-Lens-Internal-Zoom.html#t:Effect">Effect</a> m r a <a href="#v:mconcat" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:EffectRWS" class="def">EffectRWS</a> w st m s a <a href="src/Control-Lens-Internal-Zoom.html#EffectRWS" class="link">Source</a> <a href="#t:EffectRWS" class="selflink">#</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 id="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><ul><li><dfn class="src"><a id="v:getEffectRWS" class="def">getEffectRWS</a> :: st -> m (s, st, w)</dfn><div class="doc empty"> </div></li></ul></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"><span id="control.i:id:EffectRWS:Functor:1" class="instance expander" onclick="toggleSection('i:id:EffectRWS:Functor:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Internal-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> <a href="#t:EffectRWS" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:EffectRWS:Functor:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s a -> <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s b -> <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s a <a href="#v:-60--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:EffectRWS:Applicative:2" class="instance expander" onclick="toggleSection('i:id:EffectRWS:Applicative:2')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> s, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> w, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s)</span> <a href="src/Control-Lens-Internal-Zoom.html#line-325" class="link">Source</a> <a href="#t:EffectRWS" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:EffectRWS:Applicative:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pure">pure</a> :: a -> <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s a <a href="#v:pure" class="selflink">#</a></p><p class="src"><a href="#v:-60--42--62-">(<*>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s a -> <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s b <a href="#v:-60--42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62-">(*>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s a -> <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s b -> <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s b <a href="#v:-42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--42-">(<*)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s a -> <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s b -> <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s a <a href="#v:-60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:EffectRWS:Contravariant:3" class="instance expander" onclick="toggleSection('i:id:EffectRWS:Contravariant:3')"></span> <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-331" class="link">Source</a> <a href="#t:EffectRWS" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:EffectRWS:Contravariant:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:contramap">contramap</a> :: (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s b -> <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s a <a href="#v:contramap" class="selflink">#</a></p><p class="src"><a href="#v:-62--36-">(>$)</a> :: b -> <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s b -> <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s a <a href="#v:-62--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:EffectRWS:Apply:4" class="instance expander" onclick="toggleSection('i:id:EffectRWS:Apply:4')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Semigroup">Semigroup</a> s, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/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-321" class="link">Source</a> <a href="#t:EffectRWS" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:EffectRWS:Apply:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60-.-62-">(<.>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s (a -> b) -> <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s a -> <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s b <a href="#v:-60-.-62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62-">(.>)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s a -> <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s b -> <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s b <a href="#v:.-62-" class="selflink">#</a></p><p class="src"><a href="#v:-60-.">(<.)</a> :: <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s a -> <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s b -> <a href="Control-Lens-Internal-Zoom.html#t:EffectRWS">EffectRWS</a> w st m s a <a href="#v:-60-." class="selflink">#</a></p></div></div></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.17.3</p></div></body></html>
|