libghc-lens-doc 3.10-2 / usr / share / doc / libghc-lens-doc / html / Control-Lens-Reified.html

This file is indexed.

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

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

The actual contents of the file can be viewed below. 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
<!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 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-3.10: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Reified</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">newtype</span>  <a href="#t:ReifiedLens">ReifiedLens</a> s t a b = <a href="#v:ReifyLens">ReifyLens</a> {<ul class="subs"><li><a href="#v:reflectLens">reflectLens</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:ReifyIndexedLens">ReifyIndexedLens</a> {<ul class="subs"><li><a href="#v:reflectIndexedLens">reflectIndexedLens</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:ReifyIndexedTraversal">ReifyIndexedTraversal</a> {<ul class="subs"><li><a href="#v:reflectIndexedTraversal">reflectIndexedTraversal</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">data</span>  <a href="#t:ReifiedTraversal">ReifiedTraversal</a> s t a b = <a href="#v:ReifyTraversal">ReifyTraversal</a> {<ul class="subs"><li><a href="#v:reflectTraversal">reflectTraversal</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:ReifyGetter">ReifyGetter</a> {<ul class="subs"><li><a href="#v:reflectGetter">reflectGetter</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:ReifyIndexedGetter">ReifyIndexedGetter</a> {<ul class="subs"><li><a href="#v:reflectIndexedGetter">reflectIndexedGetter</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:ReifyFold">ReifyFold</a> {<ul class="subs"><li><a href="#v:reflectFold">reflectFold</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:ReifiedSetter">ReifiedSetter</a> s t a b = <a href="#v:ReifySetter">ReifySetter</a> {<ul class="subs"><li><a href="#v:reflectSetter">reflectSetter</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:ReifyIndexedSetter">ReifyIndexedSetter</a> {<ul class="subs"><li><a href="#v:reflectIndexedSetter">reflectIndexedSetter</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:ReifyIso">ReifyIso</a> {<ul class="subs"><li><a href="#v:reflectIso">reflectIso</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:ReifyPrism">ReifyPrism</a> {<ul class="subs"><li><a href="#v:reflectPrism">reflectPrism</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="top"><p class="src"><span class="keyword">newtype</span>  <a name="t:ReifiedLens" class="def">ReifiedLens</a> s t a b <a href="src/Control-Lens-Reified.html#ReifiedLens" class="link">Source</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 name="v:ReifyLens" class="def">ReifyLens</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:reflectLens" class="def">reflectLens</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b</dt><dd class="doc empty">&nbsp;</dd></dl><div class="clear"></div></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="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></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 name="t:ReifiedIndexedLens" class="def">ReifiedIndexedLens</a> i s t a b <a href="src/Control-Lens-Reified.html#ReifiedIndexedLens" class="link">Source</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 name="v:ReifyIndexedLens" class="def">ReifyIndexedLens</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:reflectIndexedLens" class="def">reflectIndexedLens</a> :: <a href="Control-Lens-Type.html#t:IndexedLens">IndexedLens</a> i s t a b</dt><dd class="doc empty">&nbsp;</dd></dl><div class="clear"></div></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="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></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 name="t:ReifiedIndexedTraversal" class="def">ReifiedIndexedTraversal</a> i s t a b <a href="src/Control-Lens-Reified.html#ReifiedIndexedTraversal" class="link">Source</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 name="v:ReifyIndexedTraversal" class="def">ReifyIndexedTraversal</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:reflectIndexedTraversal" class="def">reflectIndexedTraversal</a> :: <a href="Control-Lens-Type.html#t:IndexedTraversal">IndexedTraversal</a> i s t a b</dt><dd class="doc empty">&nbsp;</dd></dl><div class="clear"></div></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="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></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">data</span>  <a name="t:ReifiedTraversal" class="def">ReifiedTraversal</a> s t a b <a href="src/Control-Lens-Reified.html#ReifiedTraversal" class="link">Source</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 name="v:ReifyTraversal" class="def">ReifyTraversal</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:reflectTraversal" class="def">reflectTraversal</a> :: <a href="Control-Lens-Type.html#t:Traversal">Traversal</a> s t a b</dt><dd class="doc empty">&nbsp;</dd></dl><div class="clear"></div></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="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></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 name="t:ReifiedGetter" class="def">ReifiedGetter</a> s a <a href="src/Control-Lens-Reified.html#ReifiedGetter" class="link">Source</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></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:ReifyGetter" class="def">ReifyGetter</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:reflectGetter" class="def">reflectGetter</a> :: <a href="Control-Lens-Type.html#t:Getter">Getter</a> s a</dt><dd class="doc empty">&nbsp;</dd></dl><div class="clear"></div></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">newtype</span>  <a name="t:ReifiedIndexedGetter" class="def">ReifiedIndexedGetter</a> i s a <a href="src/Control-Lens-Reified.html#ReifiedIndexedGetter" class="link">Source</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 name="v:ReifyIndexedGetter" class="def">ReifyIndexedGetter</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:reflectIndexedGetter" class="def">reflectIndexedGetter</a> :: <a href="Control-Lens-Type.html#t:IndexedGetter">IndexedGetter</a> i s a</dt><dd class="doc empty">&nbsp;</dd></dl><div class="clear"></div></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">newtype</span>  <a name="t:ReifiedFold" class="def">ReifiedFold</a> s a <a href="src/Control-Lens-Reified.html#ReifiedFold" class="link">Source</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></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:ReifyFold" class="def">ReifyFold</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:reflectFold" class="def">reflectFold</a> :: <a href="Control-Lens-Type.html#t:Fold">Fold</a> s a</dt><dd class="doc empty">&nbsp;</dd></dl><div class="clear"></div></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">newtype</span>  <a name="t:ReifiedSetter" class="def">ReifiedSetter</a> s t a b <a href="src/Control-Lens-Reified.html#ReifiedSetter" class="link">Source</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 name="v:ReifySetter" class="def">ReifySetter</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:reflectSetter" class="def">reflectSetter</a> :: <a href="Control-Lens-Type.html#t:Setter">Setter</a> s t a b</dt><dd class="doc empty">&nbsp;</dd></dl><div class="clear"></div></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="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></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 name="t:ReifiedIndexedSetter" class="def">ReifiedIndexedSetter</a> i s t a b <a href="src/Control-Lens-Reified.html#ReifiedIndexedSetter" class="link">Source</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 name="v:ReifyIndexedSetter" class="def">ReifyIndexedSetter</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:reflectIndexedSetter" class="def">reflectIndexedSetter</a> :: <a href="Control-Lens-Type.html#t:IndexedSetter">IndexedSetter</a> i s t a b</dt><dd class="doc empty">&nbsp;</dd></dl><div class="clear"></div></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="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></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 name="t:ReifiedIso" class="def">ReifiedIso</a> s t a b <a href="src/Control-Lens-Reified.html#ReifiedIso" class="link">Source</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 name="v:ReifyIso" class="def">ReifyIso</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:reflectIso" class="def">reflectIso</a> :: <a href="Control-Lens-Type.html#t:Iso">Iso</a> s t a b</dt><dd class="doc empty">&nbsp;</dd></dl><div class="clear"></div></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="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></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 name="t:ReifiedPrism" class="def">ReifiedPrism</a> s t a b <a href="src/Control-Lens-Reified.html#ReifiedPrism" class="link">Source</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 name="v:ReifyPrism" class="def">ReifyPrism</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:reflectPrism" class="def">reflectPrism</a> :: <a href="Control-Lens-Type.html#t:Prism">Prism</a> s t a b</dt><dd class="doc empty">&nbsp;</dd></dl><div class="clear"></div></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="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></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.13.2</p></div></body></html>

APT Browse - Built by Thomas Orozco.