/usr/share/doc/libghc-lens-doc/html/Control-Lens-Reified.html is in libghc-lens-doc 4.15.4-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 | <!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.Reified</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-Reified.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Reified.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-16 Edward Kmett</td></tr><tr><th>License</th><td>BSD-style (see the file LICENSE)</td></tr><tr><th>Maintainer</th><td>Edward Kmett <ekmett@gmail.com></td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Safe Haskell</th><td>Safe</td></tr><tr><th>Language</th><td>Haskell98</td></tr></table><p class="caption">Control.Lens.Reified</p></div><div id="description"><p class="caption">Description</p><div class="doc empty"> </div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">newtype</span> <a href="#t:ReifiedLens">ReifiedLens</a> s t a b = <a href="#v:Lens">Lens</a> {<ul class="subs"><li><a href="#v:runLens">runLens</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b</li></ul>}</li><li class="src short"><span class="keyword">type</span> <a href="#t:ReifiedLens-39-">ReifiedLens'</a> s a = <a href="Control-Lens-Reified.html#t:ReifiedLens">ReifiedLens</a> s s a a</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:ReifiedIndexedLens">ReifiedIndexedLens</a> i s t a b = <a href="#v:IndexedLens">IndexedLens</a> {<ul class="subs"><li><a href="#v:runIndexedLens">runIndexedLens</a> :: <a href="Control-Lens-Type.html#t:IndexedLens">IndexedLens</a> i s t a b</li></ul>}</li><li class="src short"><span class="keyword">type</span> <a href="#t:ReifiedIndexedLens-39-">ReifiedIndexedLens'</a> i s a = <a href="Control-Lens-Reified.html#t:ReifiedIndexedLens">ReifiedIndexedLens</a> i s s a a</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:ReifiedIndexedTraversal">ReifiedIndexedTraversal</a> i s t a b = <a href="#v:IndexedTraversal">IndexedTraversal</a> {<ul class="subs"><li><a href="#v:runIndexedTraversal">runIndexedTraversal</a> :: <a href="Control-Lens-Type.html#t:IndexedTraversal">IndexedTraversal</a> i s t a b</li></ul>}</li><li class="src short"><span class="keyword">type</span> <a href="#t:ReifiedIndexedTraversal-39-">ReifiedIndexedTraversal'</a> i s a = <a href="Control-Lens-Reified.html#t:ReifiedIndexedTraversal">ReifiedIndexedTraversal</a> i s s a a</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:ReifiedTraversal">ReifiedTraversal</a> s t a b = <a href="#v:Traversal">Traversal</a> {<ul class="subs"><li><a href="#v:runTraversal">runTraversal</a> :: <a href="Control-Lens-Type.html#t:Traversal">Traversal</a> s t a b</li></ul>}</li><li class="src short"><span class="keyword">type</span> <a href="#t:ReifiedTraversal-39-">ReifiedTraversal'</a> s a = <a href="Control-Lens-Reified.html#t:ReifiedTraversal">ReifiedTraversal</a> s s a a</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:ReifiedGetter">ReifiedGetter</a> s a = <a href="#v:Getter">Getter</a> {<ul class="subs"><li><a href="#v:runGetter">runGetter</a> :: <a href="Control-Lens-Type.html#t:Getter">Getter</a> s a</li></ul>}</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i s a = <a href="#v:IndexedGetter">IndexedGetter</a> {<ul class="subs"><li><a href="#v:runIndexedGetter">runIndexedGetter</a> :: <a href="Control-Lens-Type.html#t:IndexedGetter">IndexedGetter</a> i s a</li></ul>}</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:ReifiedFold">ReifiedFold</a> s a = <a href="#v:Fold">Fold</a> {<ul class="subs"><li><a href="#v:runFold">runFold</a> :: <a href="Control-Lens-Type.html#t:Fold">Fold</a> s a</li></ul>}</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s a = <a href="#v:IndexedFold">IndexedFold</a> {<ul class="subs"><li><a href="#v:runIndexedFold">runIndexedFold</a> :: <a href="Control-Lens-Type.html#t:IndexedFold">IndexedFold</a> i s a</li></ul>}</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:ReifiedSetter">ReifiedSetter</a> s t a b = <a href="#v:Setter">Setter</a> {<ul class="subs"><li><a href="#v:runSetter">runSetter</a> :: <a href="Control-Lens-Type.html#t:Setter">Setter</a> s t a b</li></ul>}</li><li class="src short"><span class="keyword">type</span> <a href="#t:ReifiedSetter-39-">ReifiedSetter'</a> s a = <a href="Control-Lens-Reified.html#t:ReifiedSetter">ReifiedSetter</a> s s a a</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:ReifiedIndexedSetter">ReifiedIndexedSetter</a> i s t a b = <a href="#v:IndexedSetter">IndexedSetter</a> {<ul class="subs"><li><a href="#v:runIndexedSetter">runIndexedSetter</a> :: <a href="Control-Lens-Type.html#t:IndexedSetter">IndexedSetter</a> i s t a b</li></ul>}</li><li class="src short"><span class="keyword">type</span> <a href="#t:ReifiedIndexedSetter-39-">ReifiedIndexedSetter'</a> i s a = <a href="Control-Lens-Reified.html#t:ReifiedIndexedSetter">ReifiedIndexedSetter</a> i s s a a</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:ReifiedIso">ReifiedIso</a> s t a b = <a href="#v:Iso">Iso</a> {<ul class="subs"><li><a href="#v:runIso">runIso</a> :: <a href="Control-Lens-Type.html#t:Iso">Iso</a> s t a b</li></ul>}</li><li class="src short"><span class="keyword">type</span> <a href="#t:ReifiedIso-39-">ReifiedIso'</a> s a = <a href="Control-Lens-Reified.html#t:ReifiedIso">ReifiedIso</a> s s a a</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:ReifiedPrism">ReifiedPrism</a> s t a b = <a href="#v:Prism">Prism</a> {<ul class="subs"><li><a href="#v:runPrism">runPrism</a> :: <a href="Control-Lens-Type.html#t:Prism">Prism</a> s t a b</li></ul>}</li><li class="src short"><span class="keyword">type</span> <a href="#t:ReifiedPrism-39-">ReifiedPrism'</a> s a = <a href="Control-Lens-Reified.html#t:ReifiedPrism">ReifiedPrism</a> s s a a</li></ul></div><div id="interface"><h1>Documentation</h1><div class="doc"><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>import Control.Lens
</code></strong></pre></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:ReifiedLens" class="def">ReifiedLens</a> s t a b <a href="src/Control-Lens-Reified.html#ReifiedLens" class="link">Source</a> <a href="#t:ReifiedLens" class="selflink">#</a></p><div class="doc"><p>Reify a <code><a href="Control-Lens-Type.html#t:Lens">Lens</a></code> so it can be stored safely in a container.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Lens" class="def">Lens</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:runLens" class="def">runLens</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:ReifiedLens-39-" class="def">ReifiedLens'</a> s a = <a href="Control-Lens-Reified.html#t:ReifiedLens">ReifiedLens</a> s s a a <a href="src/Control-Lens-Reified.html#ReifiedLens%27" class="link">Source</a> <a href="#t:ReifiedLens-39-" class="selflink">#</a></p><div class="doc"><pre>type <code><a href="Control-Lens-Reified.html#t:ReifiedLens-39-">ReifiedLens'</a></code> = <code><a href="Control-Lens-Type.html#t:Simple">Simple</a></code> <code><a href="Control-Lens-Reified.html#t:ReifiedLens">ReifiedLens</a></code>
</pre></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:ReifiedIndexedLens" class="def">ReifiedIndexedLens</a> i s t a b <a href="src/Control-Lens-Reified.html#ReifiedIndexedLens" class="link">Source</a> <a href="#t:ReifiedIndexedLens" class="selflink">#</a></p><div class="doc"><p>Reify an <code><a href="Control-Lens-Type.html#t:IndexedLens">IndexedLens</a></code> so it can be stored safely in a container.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:IndexedLens" class="def">IndexedLens</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:runIndexedLens" class="def">runIndexedLens</a> :: <a href="Control-Lens-Type.html#t:IndexedLens">IndexedLens</a> i s t a b</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:ReifiedIndexedLens-39-" class="def">ReifiedIndexedLens'</a> i s a = <a href="Control-Lens-Reified.html#t:ReifiedIndexedLens">ReifiedIndexedLens</a> i s s a a <a href="src/Control-Lens-Reified.html#ReifiedIndexedLens%27" class="link">Source</a> <a href="#t:ReifiedIndexedLens-39-" class="selflink">#</a></p><div class="doc"><pre>type <code><a href="Control-Lens-Reified.html#t:ReifiedIndexedLens-39-">ReifiedIndexedLens'</a></code> i = <code><a href="Control-Lens-Type.html#t:Simple">Simple</a></code> (<code><a href="Control-Lens-Reified.html#t:ReifiedIndexedLens">ReifiedIndexedLens</a></code> i)
</pre></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:ReifiedIndexedTraversal" class="def">ReifiedIndexedTraversal</a> i s t a b <a href="src/Control-Lens-Reified.html#ReifiedIndexedTraversal" class="link">Source</a> <a href="#t:ReifiedIndexedTraversal" class="selflink">#</a></p><div class="doc"><p>Reify an <code><a href="Control-Lens-Type.html#t:IndexedTraversal">IndexedTraversal</a></code> so it can be stored safely in a container.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:IndexedTraversal" class="def">IndexedTraversal</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:runIndexedTraversal" class="def">runIndexedTraversal</a> :: <a href="Control-Lens-Type.html#t:IndexedTraversal">IndexedTraversal</a> i s t a b</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:ReifiedIndexedTraversal-39-" class="def">ReifiedIndexedTraversal'</a> i s a = <a href="Control-Lens-Reified.html#t:ReifiedIndexedTraversal">ReifiedIndexedTraversal</a> i s s a a <a href="src/Control-Lens-Reified.html#ReifiedIndexedTraversal%27" class="link">Source</a> <a href="#t:ReifiedIndexedTraversal-39-" class="selflink">#</a></p><div class="doc"><pre>type <code><a href="Control-Lens-Reified.html#t:ReifiedIndexedTraversal-39-">ReifiedIndexedTraversal'</a></code> i = <code><a href="Control-Lens-Type.html#t:Simple">Simple</a></code> (<code><a href="Control-Lens-Reified.html#t:ReifiedIndexedTraversal">ReifiedIndexedTraversal</a></code> i)
</pre></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:ReifiedTraversal" class="def">ReifiedTraversal</a> s t a b <a href="src/Control-Lens-Reified.html#ReifiedTraversal" class="link">Source</a> <a href="#t:ReifiedTraversal" class="selflink">#</a></p><div class="doc"><p>A form of <code><a href="Control-Lens-Type.html#t:Traversal">Traversal</a></code> that can be stored monomorphically in a container.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Traversal" class="def">Traversal</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:runTraversal" class="def">runTraversal</a> :: <a href="Control-Lens-Type.html#t:Traversal">Traversal</a> s t a b</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:ReifiedTraversal-39-" class="def">ReifiedTraversal'</a> s a = <a href="Control-Lens-Reified.html#t:ReifiedTraversal">ReifiedTraversal</a> s s a a <a href="src/Control-Lens-Reified.html#ReifiedTraversal%27" class="link">Source</a> <a href="#t:ReifiedTraversal-39-" class="selflink">#</a></p><div class="doc"><pre>type <code><a href="Control-Lens-Reified.html#t:ReifiedTraversal-39-">ReifiedTraversal'</a></code> = <code><a href="Control-Lens-Type.html#t:Simple">Simple</a></code> <code><a href="Control-Lens-Reified.html#t:ReifiedTraversal">ReifiedTraversal</a></code>
</pre></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:ReifiedGetter" class="def">ReifiedGetter</a> s a <a href="src/Control-Lens-Reified.html#ReifiedGetter" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></p><div class="doc"><p>Reify a <code><a href="Control-Lens-Type.html#t:Getter">Getter</a></code> so it can be stored safely in a container.</p><p>This can also be useful when combining getters in novel ways, as
<code><a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a></code> is isomorphic to '(->)' and provides similar instances.</p><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>("hello","world","!!!")^.runGetter ((,) <$> Getter _2 <*> Getter (_1.to length))
</code></strong>("world",5)
</pre></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Getter" class="def">Getter</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:runGetter" class="def">runGetter</a> :: <a href="Control-Lens-Type.html#t:Getter">Getter</a> s a</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:ReifiedGetter" class="caption collapser" onclick="toggleSection('i:ReifiedGetter')">Instances</p><div id="section.i:ReifiedGetter" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedGetter:Arrow:1" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:Arrow:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Arrow.html#t:Arrow">Arrow</a> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a></span> <a href="src/Control-Lens-Reified.html#line-214" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:Arrow:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arr">arr</a> :: (b -> c) -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> b c <a href="#v:arr" class="selflink">#</a></p><p class="src"><a href="#v:first">first</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> b c -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> (b, d) (c, d) <a href="#v:first" class="selflink">#</a></p><p class="src"><a href="#v:second">second</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> b c -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> (d, b) (d, c) <a href="#v:second" class="selflink">#</a></p><p class="src"><a href="#v:-42--42--42-">(***)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> b c -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> b' c' -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> (b, b') (c, c') <a href="#v:-42--42--42-" class="selflink">#</a></p><p class="src"><a href="#v:-38--38--38-">(&&&)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> b c -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> b c' -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> b (c, c') <a href="#v:-38--38--38-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedGetter:ArrowChoice:2" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:ArrowChoice:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Arrow.html#t:ArrowChoice">ArrowChoice</a> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a></span> <a href="src/Control-Lens-Reified.html#line-230" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:ArrowChoice:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:left">left</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> b c -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> b d) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> c d) <a href="#v:left" class="selflink">#</a></p><p class="src"><a href="#v:right">right</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> b c -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> d b) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> d c) <a href="#v:right" class="selflink">#</a></p><p class="src"><a href="#v:-43--43--43-">(+++)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> b c -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> b' c' -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> b b') (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> c c') <a href="#v:-43--43--43-" class="selflink">#</a></p><p class="src"><a href="#v:-124--124--124-">(|||)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> b d -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> c d -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> b c) d <a href="#v:-124--124--124-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedGetter:ArrowApply:3" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:ArrowApply:3')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Arrow.html#t:ArrowApply">ArrowApply</a> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a></span> <a href="src/Control-Lens-Reified.html#line-226" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:ArrowApply:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:app">app</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> (<a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> b c, b) c <a href="#v:app" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedGetter:ArrowLoop:4" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:ArrowLoop:4')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Arrow.html#t:ArrowLoop">ArrowLoop</a> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a></span> <a href="src/Control-Lens-Reified.html#line-240" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:ArrowLoop:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:loop">loop</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> (b, d) (c, d) -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> b c <a href="#v:loop" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedGetter:Representable:5" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:Representable:5')"></span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Representable">Representable</a> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a></span> <a href="src/Control-Lens-Reified.html#line-186" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:Representable:5" class="inst-details hide"><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Rep">Rep</a> (<a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="#t:Rep" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:tabulate">tabulate</a> :: (d -> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Rep">Rep</a> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> c) -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> d c <a href="#v:tabulate" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedGetter:Corepresentable:6" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:Corepresentable:6')"></span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Corepresentable">Corepresentable</a> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a></span> <a href="src/Control-Lens-Reified.html#line-179" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:Corepresentable:6" class="inst-details hide"><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Corep">Corep</a> (<a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="#t:Corep" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:cotabulate">cotabulate</a> :: (<a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Corep">Corep</a> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> d -> c) -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> d c <a href="#v:cotabulate" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedGetter:Closed:7" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:Closed:7')"></span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Closed.html#t:Closed">Closed</a> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a></span> <a href="src/Control-Lens-Reified.html#line-173" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:Closed:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:closed">closed</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> a b -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> (x -> a) (x -> b) <a href="#v:closed" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedGetter:Choice:8" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:Choice:8')"></span> <a href="Control-Lens-Prism.html#t:Choice">Choice</a> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a></span> <a href="src/Control-Lens-Reified.html#line-203" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:Choice:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:left-39-">left'</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> a b -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> a c) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> b c) <a href="#v:left-39-" class="selflink">#</a></p><p class="src"><a href="#v:right-39-">right'</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> a b -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> c a) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> c b) <a href="#v:right-39-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedGetter:Strong:9" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:Strong:9')"></span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Strong.html#t:Strong">Strong</a> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a></span> <a href="src/Control-Lens-Reified.html#line-195" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:Strong:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:first-39-">first'</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> a b -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> (a, c) (b, c) <a href="#v:first-39-" class="selflink">#</a></p><p class="src"><a href="#v:second-39-">second'</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> a b -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> (c, a) (c, b) <a href="#v:second-39-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedGetter:Costrong:10" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:Costrong:10')"></span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Strong.html#t:Costrong">Costrong</a> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a></span> <a href="src/Control-Lens-Reified.html#line-190" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:Costrong:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unfirst">unfirst</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> (a, d) (b, d) -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> a b <a href="#v:unfirst" class="selflink">#</a></p><p class="src"><a href="#v:unsecond">unsecond</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> (d, a) (d, b) -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> a b <a href="#v:unsecond" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedGetter:Profunctor:11" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:Profunctor:11')"></span> <a href="Control-Lens-Iso.html#t:Profunctor">Profunctor</a> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a></span> <a href="src/Control-Lens-Reified.html#line-165" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:Profunctor:11" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:dimap">dimap</a> :: (a -> b) -> (c -> d) -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> b c -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> a d <a href="#v:dimap" class="selflink">#</a></p><p class="src"><a href="#v:lmap">lmap</a> :: (a -> b) -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> b c -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> a c <a href="#v:lmap" class="selflink">#</a></p><p class="src"><a href="#v:rmap">rmap</a> :: (b -> c) -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> a b -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> a c <a href="#v:rmap" class="selflink">#</a></p><p class="src"><a href="#v:-35-.">(#.)</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Coerce.html#t:Coercible">Coercible</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> c b => (b -> c) -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> a b -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> a c <a href="#v:-35-." class="selflink">#</a></p><p class="src"><a href="#v:.-35-">(.#)</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Coerce.html#t:Coercible">Coercible</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> b a => <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> b c -> (a -> b) -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> a c <a href="#v:.-35-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedGetter:Conjoined:12" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:Conjoined:12')"></span> <a href="Control-Lens-Internal-Indexed.html#t:Conjoined">Conjoined</a> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a></span> <a href="src/Control-Lens-Reified.html#line-193" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:Conjoined:12" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:distrib">distrib</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> f => <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> a b -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> (f a) (f b) <a href="src/Control-Lens-Internal-Indexed.html#distrib" class="link">Source</a> <a href="#v:distrib" class="selflink">#</a></p><p class="src"><a href="#v:conjoined">conjoined</a> :: (((<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) ~ <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a>) (->) -> q (a -> b) r) -> q (<a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> a b) r -> q (<a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> a b) r <a href="src/Control-Lens-Internal-Indexed.html#conjoined" class="link">Source</a> <a href="#v:conjoined" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedGetter:Sieve:13" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:Sieve:13')"></span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Sieve.html#t:Sieve">Sieve</a> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> <a href="Control-Lens-Setter.html#t:Identity">Identity</a></span> <a href="src/Control-Lens-Reified.html#line-183" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:Sieve:13" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:sieve">sieve</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> a b -> a -> <a href="Control-Lens-Setter.html#t:Identity">Identity</a> b <a href="#v:sieve" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedGetter:Cosieve:14" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:Cosieve:14')"></span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Sieve.html#t:Cosieve">Cosieve</a> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> <a href="Control-Lens-Setter.html#t:Identity">Identity</a></span> <a href="src/Control-Lens-Reified.html#line-176" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:Cosieve:14" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:cosieve">cosieve</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> a b -> <a href="Control-Lens-Setter.html#t:Identity">Identity</a> a -> b <a href="#v:cosieve" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedGetter:MonadReader:15" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:MonadReader:15')"></span> <a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader-Class.html#t:MonadReader">MonadReader</a> s (<a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s)</span> <a href="src/Control-Lens-Reified.html#line-159" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:MonadReader:15" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ask">ask</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s s <a href="#v:ask" class="selflink">#</a></p><p class="src"><a href="#v:local">local</a> :: (s -> s) -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a <a href="#v:local" class="selflink">#</a></p><p class="src"><a href="#v:reader">reader</a> :: (s -> a) -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a <a href="#v:reader" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedGetter:Monad:16" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:Monad:16')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> (<a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s)</span> <a href="src/Control-Lens-Reified.html#line-153" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:Monad:16" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-62--62--61-">(>>=)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a -> (a -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s b) -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s b <a href="#v:-62--62--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62--62-">(>>)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s b -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s b <a href="#v:-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:return">return</a> :: a -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a <a href="#v:return" class="selflink">#</a></p><p class="src"><a href="#v:fail">fail</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a <a href="#v:fail" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedGetter:Functor:17" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:Functor:17')"></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-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s)</span> <a href="src/Control-Lens-Reified.html#line-109" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:Functor:17" 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-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s b -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> 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:ReifiedGetter:Applicative:18" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:Applicative:18')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s)</span> <a href="src/Control-Lens-Reified.html#line-139" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:Applicative:18" 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-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a <a href="#v:pure" class="selflink">#</a></p><p class="src"><a href="#v:-60--42--62-">(<*>)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s (a -> b) -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> 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-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s b -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s b <a href="#v:-42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--42-">(<*)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s b -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> 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:ReifiedGetter:Comonad:19" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:Comonad:19')"></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/libghc-comonad-doc/html/Control-Comonad.html#t:Comonad">Comonad</a> (<a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s)</span> <a href="src/Control-Lens-Reified.html#line-117" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:Comonad:19" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:extract">extract</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a -> a <a href="#v:extract" class="selflink">#</a></p><p class="src"><a href="#v:duplicate">duplicate</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s (<a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a) <a href="#v:duplicate" class="selflink">#</a></p><p class="src"><a href="#v:extend">extend</a> :: (<a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a -> b) -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s b <a href="#v:extend" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedGetter:ComonadApply:20" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:ComonadApply:20')"></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/libghc-comonad-doc/html/Control-Comonad.html#t:ComonadApply">ComonadApply</a> (<a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s)</span> <a href="src/Control-Lens-Reified.html#line-123" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:ComonadApply:20" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--64--62-">(<@>)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s (a -> b) -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s b <a href="#v:-60--64--62-" class="selflink">#</a></p><p class="src"><a href="#v:-64--62-">(@>)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s b -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s b <a href="#v:-64--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--64-">(<@)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s b -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a <a href="#v:-60--64-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedGetter:Distributive:21" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:Distributive:21')"></span> <a href="file:///usr/share/doc/libghc-distributive-doc/html/Data-Distributive.html#t:Distributive">Distributive</a> (<a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s)</span> <a href="src/Control-Lens-Reified.html#line-106" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:Distributive:21" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:distribute">distribute</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> f => f (<a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a) -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s (f a) <a href="#v:distribute" class="selflink">#</a></p><p class="src"><a href="#v:collect">collect</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> f => (a -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s b) -> f a -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s (f b) <a href="#v:collect" class="selflink">#</a></p><p class="src"><a href="#v:distributeM">distributeM</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m => m (<a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a) -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s (m a) <a href="#v:distributeM" class="selflink">#</a></p><p class="src"><a href="#v:collectM">collectM</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 -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s b) -> m a -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s (m b) <a href="#v:collectM" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedGetter:Apply:22" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:Apply:22')"></span> <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> (<a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s)</span> <a href="src/Control-Lens-Reified.html#line-131" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:Apply:22" 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-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s (a -> b) -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s b <a href="#v:-60-.-62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62-">(.>)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s b -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s b <a href="#v:.-62-" class="selflink">#</a></p><p class="src"><a href="#v:-60-.">(<.)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s b -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s 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:ReifiedGetter:Bind:23" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:Bind:23')"></span> <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Bind.html#t:Bind">Bind</a> (<a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s)</span> <a href="src/Control-Lens-Reified.html#line-149" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:Bind:23" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-62--62--45-">(>>-)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a -> (a -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s b) -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s b <a href="#v:-62--62--45-" class="selflink">#</a></p><p class="src"><a href="#v:join">join</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s (<a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a) -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a <a href="#v:join" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedGetter:Extend:24" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:Extend:24')"></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/libghc-semigroupoids-doc/html/Data-Functor-Extend.html#t:Extend">Extend</a> (<a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s)</span> <a href="src/Control-Lens-Reified.html#line-113" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:Extend:24" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:duplicated">duplicated</a> :: <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s (<a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a) <a href="#v:duplicated" class="selflink">#</a></p><p class="src"><a href="#v:extended">extended</a> :: (<a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a -> b) -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> s b <a href="#v:extended" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedGetter:Category:25" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:Category:25')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Category.html#t:Category">Category</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a></span> <a href="src/Control-Lens-Reified.html#line-209" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:Category:25" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:id">id</a> :: cat a a <a href="#v:id" class="selflink">#</a></p><p class="src"><a href="#v:.">(.)</a> :: cat b c -> cat a b -> cat a c <a href="#v:." class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedGetter:Rep:26" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:Rep:26')"></span> <span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Rep">Rep</a> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a></span> <a href="src/Control-Lens-Reified.html#line-187" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:Rep:26" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Rep">Rep</a> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> = <a href="Control-Lens-Setter.html#t:Identity">Identity</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedGetter:Corep:27" class="instance expander" onclick="toggleSection('i:id:ReifiedGetter:Corep:27')"></span> <span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Corep">Corep</a> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a></span> <a href="src/Control-Lens-Reified.html#line-180" class="link">Source</a> <a href="#t:ReifiedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedGetter:Corep:27" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Corep">Corep</a> <a href="Control-Lens-Reified.html#t:ReifiedGetter">ReifiedGetter</a> = <a href="Control-Lens-Setter.html#t:Identity">Identity</a></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:ReifiedIndexedGetter" class="def">ReifiedIndexedGetter</a> i s a <a href="src/Control-Lens-Reified.html#ReifiedIndexedGetter" class="link">Source</a> <a href="#t:ReifiedIndexedGetter" class="selflink">#</a></p><div class="doc"><p>Reify an <code><a href="Control-Lens-Type.html#t:IndexedGetter">IndexedGetter</a></code> so it can be stored safely in a container.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:IndexedGetter" class="def">IndexedGetter</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:runIndexedGetter" class="def">runIndexedGetter</a> :: <a href="Control-Lens-Type.html#t:IndexedGetter">IndexedGetter</a> i s a</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:ReifiedIndexedGetter" class="caption collapser" onclick="toggleSection('i:ReifiedIndexedGetter')">Instances</p><div id="section.i:ReifiedIndexedGetter" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedIndexedGetter:Representable:1" class="instance expander" onclick="toggleSection('i:id:ReifiedIndexedGetter:Representable:1')"></span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Representable">Representable</a> (<a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i)</span> <a href="src/Control-Lens-Reified.html#line-259" class="link">Source</a> <a href="#t:ReifiedIndexedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedIndexedGetter:Representable:1" class="inst-details hide"><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Rep">Rep</a> (<a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="#t:Rep" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:tabulate">tabulate</a> :: (d -> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Rep">Rep</a> (<a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i) c) -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i d c <a href="#v:tabulate" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedIndexedGetter:Strong:2" class="instance expander" onclick="toggleSection('i:id:ReifiedIndexedGetter:Strong:2')"></span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Strong.html#t:Strong">Strong</a> (<a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i)</span> <a href="src/Control-Lens-Reified.html#line-264" class="link">Source</a> <a href="#t:ReifiedIndexedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedIndexedGetter:Strong:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:first-39-">first'</a> :: <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i a b -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i (a, c) (b, c) <a href="#v:first-39-" class="selflink">#</a></p><p class="src"><a href="#v:second-39-">second'</a> :: <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i a b -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i (c, a) (c, b) <a href="#v:second-39-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedIndexedGetter:Profunctor:3" class="instance expander" onclick="toggleSection('i:id:ReifiedIndexedGetter:Profunctor:3')"></span> <a href="Control-Lens-Iso.html#t:Profunctor">Profunctor</a> (<a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i)</span> <a href="src/Control-Lens-Reified.html#line-251" class="link">Source</a> <a href="#t:ReifiedIndexedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedIndexedGetter:Profunctor:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:dimap">dimap</a> :: (a -> b) -> (c -> d) -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i b c -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i a d <a href="#v:dimap" class="selflink">#</a></p><p class="src"><a href="#v:lmap">lmap</a> :: (a -> b) -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i b c -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i a c <a href="#v:lmap" class="selflink">#</a></p><p class="src"><a href="#v:rmap">rmap</a> :: (b -> c) -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i a b -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i a c <a href="#v:rmap" class="selflink">#</a></p><p class="src"><a href="#v:-35-.">(#.)</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Coerce.html#t:Coercible">Coercible</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> c b => (b -> c) -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i a b -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i a c <a href="#v:-35-." class="selflink">#</a></p><p class="src"><a href="#v:.-35-">(.#)</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Coerce.html#t:Coercible">Coercible</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> b a => <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i b c -> (a -> b) -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i a c <a href="#v:.-35-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedIndexedGetter:Sieve:4" class="instance expander" onclick="toggleSection('i:id:ReifiedIndexedGetter:Sieve:4')"></span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Sieve.html#t:Sieve">Sieve</a> (<a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.5.0.0/GHC-Tuple.html#t:-40--44--41-">(,)</a> i)</span> <a href="src/Control-Lens-Reified.html#line-255" class="link">Source</a> <a href="#t:ReifiedIndexedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedIndexedGetter:Sieve:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:sieve">sieve</a> :: <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i a b -> a -> (i, b) <a href="#v:sieve" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedIndexedGetter:Functor:5" class="instance expander" onclick="toggleSection('i:id:ReifiedIndexedGetter:Functor:5')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i s)</span> <a href="src/Control-Lens-Reified.html#line-272" class="link">Source</a> <a href="#t:ReifiedIndexedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedIndexedGetter:Functor:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -> b) -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i s a -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i s b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i s b -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i 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:ReifiedIndexedGetter:Apply:6" class="instance expander" onclick="toggleSection('i:id:ReifiedIndexedGetter:Apply:6')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Semigroup">Semigroup</a> i => <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> (<a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i s)</span> <a href="src/Control-Lens-Reified.html#line-276" class="link">Source</a> <a href="#t:ReifiedIndexedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedIndexedGetter:Apply:6" 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-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i s (a -> b) -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i s a -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i s b <a href="#v:-60-.-62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62-">(.>)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i s a -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i s b -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i s b <a href="#v:.-62-" class="selflink">#</a></p><p class="src"><a href="#v:-60-.">(<.)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i s a -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i s b -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i s 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:ReifiedIndexedGetter:Rep:7" class="instance expander" onclick="toggleSection('i:id:ReifiedIndexedGetter:Rep:7')"></span> <span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Rep">Rep</a> (<a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i)</span> <a href="src/Control-Lens-Reified.html#line-260" class="link">Source</a> <a href="#t:ReifiedIndexedGetter" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedIndexedGetter:Rep:7" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Rep">Rep</a> (<a href="Control-Lens-Reified.html#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.5.0.0/GHC-Tuple.html#t:-40--44--41-">(,)</a> i</div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:ReifiedFold" class="def">ReifiedFold</a> s a <a href="src/Control-Lens-Reified.html#ReifiedFold" class="link">Source</a> <a href="#t:ReifiedFold" class="selflink">#</a></p><div class="doc"><p>Reify a <code><a href="Control-Lens-Type.html#t:Fold">Fold</a></code> so it can be stored safely in a container.</p><p>This can also be useful for creatively combining folds as
<code><code><a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a></code> s</code> is isomorphic to <code>ReaderT s []</code> and provides similar
instances.</p><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>("hello","world")^..runFold ((,) <$> Fold _2 <*> Fold both)
</code></strong>[("world","hello"),("world","world")]
</pre></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Fold" class="def">Fold</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:runFold" class="def">runFold</a> :: <a href="Control-Lens-Type.html#t:Fold">Fold</a> s a</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:ReifiedFold" class="caption collapser" onclick="toggleSection('i:ReifiedFold')">Instances</p><div id="section.i:ReifiedFold" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedFold:Arrow:1" class="instance expander" onclick="toggleSection('i:id:ReifiedFold:Arrow:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Arrow.html#t:Arrow">Arrow</a> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a></span> <a href="src/Control-Lens-Reified.html#line-336" class="link">Source</a> <a href="#t:ReifiedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedFold:Arrow:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arr">arr</a> :: (b -> c) -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> b c <a href="#v:arr" class="selflink">#</a></p><p class="src"><a href="#v:first">first</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> b c -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> (b, d) (c, d) <a href="#v:first" class="selflink">#</a></p><p class="src"><a href="#v:second">second</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> b c -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> (d, b) (d, c) <a href="#v:second" class="selflink">#</a></p><p class="src"><a href="#v:-42--42--42-">(***)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> b c -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> b' c' -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> (b, b') (c, c') <a href="#v:-42--42--42-" class="selflink">#</a></p><p class="src"><a href="#v:-38--38--38-">(&&&)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> b c -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> b c' -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> b (c, c') <a href="#v:-38--38--38-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedFold:ArrowChoice:2" class="instance expander" onclick="toggleSection('i:id:ReifiedFold:ArrowChoice:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Arrow.html#t:ArrowChoice">ArrowChoice</a> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a></span> <a href="src/Control-Lens-Reified.html#line-348" class="link">Source</a> <a href="#t:ReifiedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedFold:ArrowChoice:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:left">left</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> b c -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> b d) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> c d) <a href="#v:left" class="selflink">#</a></p><p class="src"><a href="#v:right">right</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> b c -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> d b) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> d c) <a href="#v:right" class="selflink">#</a></p><p class="src"><a href="#v:-43--43--43-">(+++)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> b c -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> b' c' -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> b b') (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> c c') <a href="#v:-43--43--43-" class="selflink">#</a></p><p class="src"><a href="#v:-124--124--124-">(|||)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> b d -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> c d -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> b c) d <a href="#v:-124--124--124-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedFold:ArrowApply:3" class="instance expander" onclick="toggleSection('i:id:ReifiedFold:ArrowApply:3')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Arrow.html#t:ArrowApply">ArrowApply</a> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a></span> <a href="src/Control-Lens-Reified.html#line-354" class="link">Source</a> <a href="#t:ReifiedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedFold:ArrowApply:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:app">app</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> (<a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> b c, b) c <a href="#v:app" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedFold:Representable:4" class="instance expander" onclick="toggleSection('i:id:ReifiedFold:Representable:4')"></span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Representable">Representable</a> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a></span> <a href="src/Control-Lens-Reified.html#line-309" class="link">Source</a> <a href="#t:ReifiedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedFold:Representable:4" class="inst-details hide"><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Rep">Rep</a> (<a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="#t:Rep" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:tabulate">tabulate</a> :: (d -> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Rep">Rep</a> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> c) -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> d c <a href="#v:tabulate" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedFold:Choice:5" class="instance expander" onclick="toggleSection('i:id:ReifiedFold:Choice:5')"></span> <a href="Control-Lens-Prism.html#t:Choice">Choice</a> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a></span> <a href="src/Control-Lens-Reified.html#line-321" class="link">Source</a> <a href="#t:ReifiedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedFold:Choice:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:left-39-">left'</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> a b -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> a c) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> b c) <a href="#v:left-39-" class="selflink">#</a></p><p class="src"><a href="#v:right-39-">right'</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> a b -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> c a) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> c b) <a href="#v:right-39-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedFold:Strong:6" class="instance expander" onclick="toggleSection('i:id:ReifiedFold:Strong:6')"></span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Strong.html#t:Strong">Strong</a> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a></span> <a href="src/Control-Lens-Reified.html#line-313" class="link">Source</a> <a href="#t:ReifiedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedFold:Strong:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:first-39-">first'</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> a b -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> (a, c) (b, c) <a href="#v:first-39-" class="selflink">#</a></p><p class="src"><a href="#v:second-39-">second'</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> a b -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> (c, a) (c, b) <a href="#v:second-39-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedFold:Profunctor:7" class="instance expander" onclick="toggleSection('i:id:ReifiedFold:Profunctor:7')"></span> <a href="Control-Lens-Iso.html#t:Profunctor">Profunctor</a> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a></span> <a href="src/Control-Lens-Reified.html#line-298" class="link">Source</a> <a href="#t:ReifiedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedFold:Profunctor:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:dimap">dimap</a> :: (a -> b) -> (c -> d) -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> b c -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> a d <a href="#v:dimap" class="selflink">#</a></p><p class="src"><a href="#v:lmap">lmap</a> :: (a -> b) -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> b c -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> a c <a href="#v:lmap" class="selflink">#</a></p><p class="src"><a href="#v:rmap">rmap</a> :: (b -> c) -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> a b -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> a c <a href="#v:rmap" class="selflink">#</a></p><p class="src"><a href="#v:-35-.">(#.)</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Coerce.html#t:Coercible">Coercible</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> c b => (b -> c) -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> a b -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> a c <a href="#v:-35-." class="selflink">#</a></p><p class="src"><a href="#v:.-35-">(.#)</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Coerce.html#t:Coercible">Coercible</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> b a => <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> b c -> (a -> b) -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> a c <a href="#v:.-35-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedFold:Sieve:8" class="instance expander" onclick="toggleSection('i:id:ReifiedFold:Sieve:8')"></span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Sieve.html#t:Sieve">Sieve</a> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> []</span> <a href="src/Control-Lens-Reified.html#line-306" class="link">Source</a> <a href="#t:ReifiedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedFold:Sieve:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:sieve">sieve</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> a b -> a -> [b] <a href="#v:sieve" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedFold:MonadReader:9" class="instance expander" onclick="toggleSection('i:id:ReifiedFold:MonadReader:9')"></span> <a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader-Class.html#t:MonadReader">MonadReader</a> s (<a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s)</span> <a href="src/Control-Lens-Reified.html#line-402" class="link">Source</a> <a href="#t:ReifiedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedFold:MonadReader:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ask">ask</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s s <a href="#v:ask" class="selflink">#</a></p><p class="src"><a href="#v:local">local</a> :: (s -> s) -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a <a href="#v:local" class="selflink">#</a></p><p class="src"><a href="#v:reader">reader</a> :: (s -> a) -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a <a href="#v:reader" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedFold:Monad:10" class="instance expander" onclick="toggleSection('i:id:ReifiedFold:Monad:10')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> (<a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s)</span> <a href="src/Control-Lens-Reified.html#line-390" class="link">Source</a> <a href="#t:ReifiedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedFold:Monad:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-62--62--61-">(>>=)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> (a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s b) -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s b <a href="#v:-62--62--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62--62-">(>>)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s b -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s b <a href="#v:-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:return">return</a> :: a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a <a href="#v:return" class="selflink">#</a></p><p class="src"><a href="#v:fail">fail</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a <a href="#v:fail" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedFold:Functor:11" class="instance expander" onclick="toggleSection('i:id:ReifiedFold:Functor:11')"></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-Reified.html#t:ReifiedFold">ReifiedFold</a> s)</span> <a href="src/Control-Lens-Reified.html#line-358" class="link">Source</a> <a href="#t:ReifiedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedFold:Functor:11" 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-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s b -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> 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:ReifiedFold:Applicative:12" class="instance expander" onclick="toggleSection('i:id:ReifiedFold:Applicative:12')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s)</span> <a href="src/Control-Lens-Reified.html#line-370" class="link">Source</a> <a href="#t:ReifiedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedFold:Applicative:12" 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-Reified.html#t:ReifiedFold">ReifiedFold</a> s a <a href="#v:pure" class="selflink">#</a></p><p class="src"><a href="#v:-60--42--62-">(<*>)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s (a -> b) -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> 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-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s b -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s b <a href="#v:-42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--42-">(<*)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s b -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> 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:ReifiedFold:Alternative:13" class="instance expander" onclick="toggleSection('i:id:ReifiedFold:Alternative:13')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Alternative">Alternative</a> (<a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s)</span> <a href="src/Control-Lens-Reified.html#line-380" class="link">Source</a> <a href="#t:ReifiedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedFold:Alternative:13" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:empty">empty</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a <a href="#v:empty" class="selflink">#</a></p><p class="src"><a href="#v:-60--124--62-">(<|>)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a <a href="#v:-60--124--62-" class="selflink">#</a></p><p class="src"><a href="#v:some">some</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s [a] <a href="#v:some" class="selflink">#</a></p><p class="src"><a href="#v:many">many</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s [a] <a href="#v:many" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedFold:MonadPlus:14" class="instance expander" onclick="toggleSection('i:id:ReifiedFold:MonadPlus:14')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> (<a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s)</span> <a href="src/Control-Lens-Reified.html#line-396" class="link">Source</a> <a href="#t:ReifiedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedFold:MonadPlus:14" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:mzero">mzero</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a <a href="#v:mzero" class="selflink">#</a></p><p class="src"><a href="#v:mplus">mplus</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a <a href="#v:mplus" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedFold:Plus:15" class="instance expander" onclick="toggleSection('i:id:ReifiedFold:Plus:15')"></span> <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s)</span> <a href="src/Control-Lens-Reified.html#line-422" class="link">Source</a> <a href="#t:ReifiedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedFold:Plus:15" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedFold:Alt:16" class="instance expander" onclick="toggleSection('i:id:ReifiedFold:Alt:16')"></span> <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Alt.html#t:Alt">Alt</a> (<a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s)</span> <a href="src/Control-Lens-Reified.html#line-418" class="link">Source</a> <a href="#t:ReifiedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedFold:Alt:16" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--33--62-">(<!>)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a <a href="#v:-60--33--62-" class="selflink">#</a></p><p class="src"><a href="#v:some">some</a> :: <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-Reified.html#t:ReifiedFold">ReifiedFold</a> s) => <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s [a] <a href="#v:some" class="selflink">#</a></p><p class="src"><a href="#v:many">many</a> :: <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-Reified.html#t:ReifiedFold">ReifiedFold</a> s) => <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s [a] <a href="#v:many" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedFold:Apply:17" class="instance expander" onclick="toggleSection('i:id:ReifiedFold:Apply:17')"></span> <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> (<a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s)</span> <a href="src/Control-Lens-Reified.html#line-362" class="link">Source</a> <a href="#t:ReifiedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedFold:Apply:17" 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-Reified.html#t:ReifiedFold">ReifiedFold</a> s (a -> b) -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s b <a href="#v:-60-.-62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62-">(.>)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s b -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s b <a href="#v:.-62-" class="selflink">#</a></p><p class="src"><a href="#v:-60-.">(<.)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s b -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s 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:ReifiedFold:Bind:18" class="instance expander" onclick="toggleSection('i:id:ReifiedFold:Bind:18')"></span> <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Bind.html#t:Bind">Bind</a> (<a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s)</span> <a href="src/Control-Lens-Reified.html#line-386" class="link">Source</a> <a href="#t:ReifiedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedFold:Bind:18" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-62--62--45-">(>>-)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> (a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s b) -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s b <a href="#v:-62--62--45-" class="selflink">#</a></p><p class="src"><a href="#v:join">join</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s (<a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a) -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a <a href="#v:join" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedFold:Category:19" class="instance expander" onclick="toggleSection('i:id:ReifiedFold:Category:19')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Category.html#t:Category">Category</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a></span> <a href="src/Control-Lens-Reified.html#line-331" class="link">Source</a> <a href="#t:ReifiedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedFold:Category:19" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:id">id</a> :: cat a a <a href="#v:id" class="selflink">#</a></p><p class="src"><a href="#v:.">(.)</a> :: cat b c -> cat a b -> cat a c <a href="#v:." class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedFold:Semigroup:20" class="instance expander" onclick="toggleSection('i:id:ReifiedFold:Semigroup:20')"></span> <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-Reified.html#t:ReifiedFold">ReifiedFold</a> s a)</span> <a href="src/Control-Lens-Reified.html#line-408" class="link">Source</a> <a href="#t:ReifiedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedFold:Semigroup:20" 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-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s 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-Reified.html#t:ReifiedFold">ReifiedFold</a> s a) -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s 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-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s 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:ReifiedFold:Monoid:21" class="instance expander" onclick="toggleSection('i:id:ReifiedFold:Monoid:21')"></span> <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-Reified.html#t:ReifiedFold">ReifiedFold</a> s a)</span> <a href="src/Control-Lens-Reified.html#line-412" class="link">Source</a> <a href="#t:ReifiedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedFold:Monoid:21" 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-Reified.html#t:ReifiedFold">ReifiedFold</a> s a <a href="#v:mempty" class="selflink">#</a></p><p class="src"><a href="#v:mappend">mappend</a> :: <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a <a href="#v:mappend" class="selflink">#</a></p><p class="src"><a href="#v:mconcat">mconcat</a> :: [<a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a] -> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> s a <a href="#v:mconcat" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedFold:Rep:22" class="instance expander" onclick="toggleSection('i:id:ReifiedFold:Rep:22')"></span> <span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Rep">Rep</a> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a></span> <a href="src/Control-Lens-Reified.html#line-310" class="link">Source</a> <a href="#t:ReifiedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedFold:Rep:22" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Rep">Rep</a> <a href="Control-Lens-Reified.html#t:ReifiedFold">ReifiedFold</a> = []</div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:ReifiedIndexedFold" class="def">ReifiedIndexedFold</a> i s a <a href="src/Control-Lens-Reified.html#ReifiedIndexedFold" class="link">Source</a> <a href="#t:ReifiedIndexedFold" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:IndexedFold" class="def">IndexedFold</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:runIndexedFold" class="def">runIndexedFold</a> :: <a href="Control-Lens-Type.html#t:IndexedFold">IndexedFold</a> i s a</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:ReifiedIndexedFold" class="caption collapser" onclick="toggleSection('i:ReifiedIndexedFold')">Instances</p><div id="section.i:ReifiedIndexedFold" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedIndexedFold:Representable:1" class="instance expander" onclick="toggleSection('i:id:ReifiedIndexedFold:Representable:1')"></span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Representable">Representable</a> (<a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i)</span> <a href="src/Control-Lens-Reified.html#line-467" class="link">Source</a> <a href="#t:ReifiedIndexedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedIndexedFold:Representable:1" class="inst-details hide"><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Rep">Rep</a> (<a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="#t:Rep" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:tabulate">tabulate</a> :: (d -> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Rep">Rep</a> (<a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i) c) -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i d c <a href="#v:tabulate" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedIndexedFold:Strong:2" class="instance expander" onclick="toggleSection('i:id:ReifiedIndexedFold:Strong:2')"></span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Strong.html#t:Strong">Strong</a> (<a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i)</span> <a href="src/Control-Lens-Reified.html#line-472" class="link">Source</a> <a href="#t:ReifiedIndexedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedIndexedFold:Strong:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:first-39-">first'</a> :: <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i a b -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i (a, c) (b, c) <a href="#v:first-39-" class="selflink">#</a></p><p class="src"><a href="#v:second-39-">second'</a> :: <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i a b -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i (c, a) (c, b) <a href="#v:second-39-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedIndexedFold:Profunctor:3" class="instance expander" onclick="toggleSection('i:id:ReifiedIndexedFold:Profunctor:3')"></span> <a href="Control-Lens-Iso.html#t:Profunctor">Profunctor</a> (<a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i)</span> <a href="src/Control-Lens-Reified.html#line-455" class="link">Source</a> <a href="#t:ReifiedIndexedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedIndexedFold:Profunctor:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:dimap">dimap</a> :: (a -> b) -> (c -> d) -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i b c -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i a d <a href="#v:dimap" class="selflink">#</a></p><p class="src"><a href="#v:lmap">lmap</a> :: (a -> b) -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i b c -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i a c <a href="#v:lmap" class="selflink">#</a></p><p class="src"><a href="#v:rmap">rmap</a> :: (b -> c) -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i a b -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i a c <a href="#v:rmap" class="selflink">#</a></p><p class="src"><a href="#v:-35-.">(#.)</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Coerce.html#t:Coercible">Coercible</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> c b => (b -> c) -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i a b -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i a c <a href="#v:-35-." class="selflink">#</a></p><p class="src"><a href="#v:.-35-">(.#)</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Coerce.html#t:Coercible">Coercible</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> b a => <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i b c -> (a -> b) -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i a c <a href="#v:.-35-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedIndexedFold:Sieve:4" class="instance expander" onclick="toggleSection('i:id:ReifiedIndexedFold:Sieve:4')"></span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Sieve.html#t:Sieve">Sieve</a> (<a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor-Compose.html#t:Compose">Compose</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> [] (<a href="file:///usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.5.0.0/GHC-Tuple.html#t:-40--44--41-">(,)</a> i))</span> <a href="src/Control-Lens-Reified.html#line-463" class="link">Source</a> <a href="#t:ReifiedIndexedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedIndexedFold:Sieve:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:sieve">sieve</a> :: <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i a b -> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor-Compose.html#t:Compose">Compose</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> [] (<a href="file:///usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.5.0.0/GHC-Tuple.html#t:-40--44--41-">(,)</a> i) b <a href="#v:sieve" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedIndexedFold:Functor:5" class="instance expander" onclick="toggleSection('i:id:ReifiedIndexedFold:Functor:5')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s)</span> <a href="src/Control-Lens-Reified.html#line-451" class="link">Source</a> <a href="#t:ReifiedIndexedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedIndexedFold:Functor:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -> b) -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s a -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s b -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i 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:ReifiedIndexedFold:Plus:6" class="instance expander" onclick="toggleSection('i:id:ReifiedIndexedFold:Plus:6')"></span> <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s)</span> <a href="src/Control-Lens-Reified.html#line-447" class="link">Source</a> <a href="#t:ReifiedIndexedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedIndexedFold:Plus:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s a <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedIndexedFold:Alt:7" class="instance expander" onclick="toggleSection('i:id:ReifiedIndexedFold:Alt:7')"></span> <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Alt.html#t:Alt">Alt</a> (<a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s)</span> <a href="src/Control-Lens-Reified.html#line-442" class="link">Source</a> <a href="#t:ReifiedIndexedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedIndexedFold:Alt:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--33--62-">(<!>)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s a -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s a -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s a <a href="#v:-60--33--62-" class="selflink">#</a></p><p class="src"><a href="#v:some">some</a> :: <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-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s) => <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s a -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s [a] <a href="#v:some" class="selflink">#</a></p><p class="src"><a href="#v:many">many</a> :: <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-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s) => <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s a -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s [a] <a href="#v:many" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedIndexedFold:Semigroup:8" class="instance expander" onclick="toggleSection('i:id:ReifiedIndexedFold:Semigroup:8')"></span> <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-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s a)</span> <a href="src/Control-Lens-Reified.html#line-432" class="link">Source</a> <a href="#t:ReifiedIndexedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedIndexedFold:Semigroup:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--62-">(<>)</a> :: <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s a -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s a -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s 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-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s a) -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s 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-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s a -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s 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:ReifiedIndexedFold:Monoid:9" class="instance expander" onclick="toggleSection('i:id:ReifiedIndexedFold:Monoid:9')"></span> <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-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s a)</span> <a href="src/Control-Lens-Reified.html#line-436" class="link">Source</a> <a href="#t:ReifiedIndexedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedIndexedFold:Monoid:9" 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-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s a <a href="#v:mempty" class="selflink">#</a></p><p class="src"><a href="#v:mappend">mappend</a> :: <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s a -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s a -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s a <a href="#v:mappend" class="selflink">#</a></p><p class="src"><a href="#v:mconcat">mconcat</a> :: [<a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s a] -> <a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i s a <a href="#v:mconcat" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ReifiedIndexedFold:Rep:10" class="instance expander" onclick="toggleSection('i:id:ReifiedIndexedFold:Rep:10')"></span> <span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Rep">Rep</a> (<a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i)</span> <a href="src/Control-Lens-Reified.html#line-468" class="link">Source</a> <a href="#t:ReifiedIndexedFold" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ReifiedIndexedFold:Rep:10" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Rep">Rep</a> (<a href="Control-Lens-Reified.html#t:ReifiedIndexedFold">ReifiedIndexedFold</a> i) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor-Compose.html#t:Compose">Compose</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> [] (<a href="file:///usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.5.0.0/GHC-Tuple.html#t:-40--44--41-">(,)</a> i)</div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:ReifiedSetter" class="def">ReifiedSetter</a> s t a b <a href="src/Control-Lens-Reified.html#ReifiedSetter" class="link">Source</a> <a href="#t:ReifiedSetter" class="selflink">#</a></p><div class="doc"><p>Reify a <code><a href="Control-Lens-Type.html#t:Setter">Setter</a></code> so it can be stored safely in a container.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Setter" class="def">Setter</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:runSetter" class="def">runSetter</a> :: <a href="Control-Lens-Type.html#t:Setter">Setter</a> s t a b</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:ReifiedSetter-39-" class="def">ReifiedSetter'</a> s a = <a href="Control-Lens-Reified.html#t:ReifiedSetter">ReifiedSetter</a> s s a a <a href="src/Control-Lens-Reified.html#ReifiedSetter%27" class="link">Source</a> <a href="#t:ReifiedSetter-39-" class="selflink">#</a></p><div class="doc"><pre>type <code><a href="Control-Lens-Reified.html#t:ReifiedSetter-39-">ReifiedSetter'</a></code> = <code><a href="Control-Lens-Type.html#t:Simple">Simple</a></code> <code><a href="Control-Lens-Reified.html#t:ReifiedSetter">ReifiedSetter</a></code>
</pre></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:ReifiedIndexedSetter" class="def">ReifiedIndexedSetter</a> i s t a b <a href="src/Control-Lens-Reified.html#ReifiedIndexedSetter" class="link">Source</a> <a href="#t:ReifiedIndexedSetter" class="selflink">#</a></p><div class="doc"><p>Reify an <code><a href="Control-Lens-Type.html#t:IndexedSetter">IndexedSetter</a></code> so it can be stored safely in a container.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:IndexedSetter" class="def">IndexedSetter</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:runIndexedSetter" class="def">runIndexedSetter</a> :: <a href="Control-Lens-Type.html#t:IndexedSetter">IndexedSetter</a> i s t a b</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:ReifiedIndexedSetter-39-" class="def">ReifiedIndexedSetter'</a> i s a = <a href="Control-Lens-Reified.html#t:ReifiedIndexedSetter">ReifiedIndexedSetter</a> i s s a a <a href="src/Control-Lens-Reified.html#ReifiedIndexedSetter%27" class="link">Source</a> <a href="#t:ReifiedIndexedSetter-39-" class="selflink">#</a></p><div class="doc"><pre>type <code><a href="Control-Lens-Reified.html#t:ReifiedIndexedSetter-39-">ReifiedIndexedSetter'</a></code> i = <code><a href="Control-Lens-Type.html#t:Simple">Simple</a></code> (<code><a href="Control-Lens-Reified.html#t:ReifiedIndexedSetter">ReifiedIndexedSetter</a></code> i)
</pre></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:ReifiedIso" class="def">ReifiedIso</a> s t a b <a href="src/Control-Lens-Reified.html#ReifiedIso" class="link">Source</a> <a href="#t:ReifiedIso" class="selflink">#</a></p><div class="doc"><p>Reify an <code><a href="Control-Lens-Type.html#t:Iso">Iso</a></code> so it can be stored safely in a container.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Iso" class="def">Iso</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:runIso" class="def">runIso</a> :: <a href="Control-Lens-Type.html#t:Iso">Iso</a> s t a b</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:ReifiedIso-39-" class="def">ReifiedIso'</a> s a = <a href="Control-Lens-Reified.html#t:ReifiedIso">ReifiedIso</a> s s a a <a href="src/Control-Lens-Reified.html#ReifiedIso%27" class="link">Source</a> <a href="#t:ReifiedIso-39-" class="selflink">#</a></p><div class="doc"><pre>type <code><a href="Control-Lens-Reified.html#t:ReifiedIso-39-">ReifiedIso'</a></code> = <code><a href="Control-Lens-Type.html#t:Simple">Simple</a></code> <code><a href="Control-Lens-Reified.html#t:ReifiedIso">ReifiedIso</a></code>
</pre></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:ReifiedPrism" class="def">ReifiedPrism</a> s t a b <a href="src/Control-Lens-Reified.html#ReifiedPrism" class="link">Source</a> <a href="#t:ReifiedPrism" class="selflink">#</a></p><div class="doc"><p>Reify a <code><a href="Control-Lens-Type.html#t:Prism">Prism</a></code> so it can be stored safely in a container.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Prism" class="def">Prism</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:runPrism" class="def">runPrism</a> :: <a href="Control-Lens-Type.html#t:Prism">Prism</a> s t a b</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:ReifiedPrism-39-" class="def">ReifiedPrism'</a> s a = <a href="Control-Lens-Reified.html#t:ReifiedPrism">ReifiedPrism</a> s s a a <a href="src/Control-Lens-Reified.html#ReifiedPrism%27" class="link">Source</a> <a href="#t:ReifiedPrism-39-" class="selflink">#</a></p><div class="doc"><pre>type <code><a href="Control-Lens-Reified.html#t:ReifiedPrism-39-">ReifiedPrism'</a></code> = <code><a href="Control-Lens-Type.html#t:Simple">Simple</a></code> <code><a href="Control-Lens-Reified.html#t:ReifiedPrism">ReifiedPrism</a></code>
</pre></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.3</p></div></body></html>
|