/usr/share/doc/libghc-lens-doc/html/Control-Lens-Wrapped.html is in libghc-lens-doc 4.13-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 | <!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.Wrapped</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-Wrapped.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Wrapped.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">lens-4.13: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Copyright</th><td>(C) 2012-15 Edward Kmett, Michael Sloan</td></tr><tr><th>License</th><td>BSD-style (see the file LICENSE)</td></tr><tr><th>Maintainer</th><td>Edward Kmett <ekmett@gmail.com></td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Portability</th><td>Rank2, MPTCs, fundeps</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr><tr><th>Language</th><td>Haskell98</td></tr></table><p class="caption">Control.Lens.Wrapped</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Wrapping and Unwrapping monomorphically</a></li><li><a href="#g:2">Wrapping and unwrapping polymorphically</a></li><li><a href="#g:3">Operations</a></li><li><a href="#g:4">Pattern Synonyms</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>The <code><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a></code> class provides similar functionality as <code>Control.Newtype</code>,
from the <code>newtype</code> package, but in a more convenient and efficient form.</p><p>There are a few functions from <code>newtype</code> that are not provided here, because
they can be done with the <code><a href="Control-Lens-Type.html#t:Iso">Iso</a></code> directly:</p><pre>Control.Newtype.over <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Sum">Sum</a></code> f ≡ <code><a href="Control-Lens-Wrapped.html#v:_Unwrapping">_Unwrapping</a></code> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Sum">Sum</a></code> <code><a href="Control-Lens-Setter.html#v:-37--126-">%~</a></code> f
Control.Newtype.under <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Sum">Sum</a></code> f ≡ <code><a href="Control-Lens-Wrapped.html#v:_Wrapping">_Wrapping</a></code> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Sum">Sum</a></code> <code><a href="Control-Lens-Setter.html#v:-37--126-">%~</a></code> f
Control.Newtype.overF <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Sum">Sum</a></code> f ≡ <code><a href="Control-Lens-Iso.html#v:mapping">mapping</a></code> (<code><a href="Control-Lens-Wrapped.html#v:_Unwrapping">_Unwrapping</a></code> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Sum">Sum</a></code>) <code><a href="Control-Lens-Setter.html#v:-37--126-">%~</a></code> f
Control.Newtype.underF <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Sum">Sum</a></code> f ≡ <code><a href="Control-Lens-Iso.html#v:mapping">mapping</a></code> (<code><a href="Control-Lens-Wrapped.html#v:_Wrapping">_Wrapping</a></code> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Sum">Sum</a></code>) <code><a href="Control-Lens-Setter.html#v:-37--126-">%~</a></code> f
</pre><p><code><a href="Control-Lens-Iso.html#v:under">under</a></code> can also be used with <code><a href="Control-Lens-Wrapped.html#v:_Unwrapping">_Unwrapping</a></code> to provide the equivalent of
<code>Control.Newtype.under</code>. Also, most use cases don't need full polymorphism,
so only the single constructor <code><a href="Control-Lens-Wrapped.html#v:_Wrapping">_Wrapping</a></code> functions would be needed.</p><p>These equivalences aren't 100% honest, because <code>newtype</code>'s operators
need to rely on two <code>Newtype</code> constraints. This means that the wrapper used
for the output is not necessarily the same as the input.</p></div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">class</span> <a href="#t:Wrapped">Wrapped</a> s <span class="keyword">where</span><ul class="subs"><li><span class="keyword">type</span> <a href="#t:Unwrapped">Unwrapped</a> s :: *</li><li><a href="#v:_Wrapped-39-">_Wrapped'</a> :: <a href="Control-Lens-Type.html#t:Iso-39-">Iso'</a> s (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s)</li></ul></li><li class="src short"><a href="#v:_Unwrapped-39-">_Unwrapped'</a> :: <a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> s => <a href="Control-Lens-Type.html#t:Iso-39-">Iso'</a> (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s) s</li><li class="src short"><a href="#v:_Wrapping-39-">_Wrapping'</a> :: <a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> s => (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s -> s) -> <a href="Control-Lens-Type.html#t:Iso-39-">Iso'</a> s (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s)</li><li class="src short"><a href="#v:_Unwrapping-39-">_Unwrapping'</a> :: <a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> s => (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s -> s) -> <a href="Control-Lens-Type.html#t:Iso-39-">Iso'</a> (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s) s</li><li class="src short"><span class="keyword">class</span> <a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> s => <a href="#t:Rewrapped">Rewrapped</a> s t</li><li class="src short"><span class="keyword">class</span> (<a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> s t, <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> t s) => <a href="#t:Rewrapping">Rewrapping</a> s t</li><li class="src short"><a href="#v:_Wrapped">_Wrapped</a> :: <a href="Control-Lens-Wrapped.html#t:Rewrapping">Rewrapping</a> s t => <a href="Control-Lens-Type.html#t:Iso">Iso</a> s t (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s) (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> t)</li><li class="src short"><a href="#v:_Unwrapped">_Unwrapped</a> :: <a href="Control-Lens-Wrapped.html#t:Rewrapping">Rewrapping</a> s t => <a href="Control-Lens-Type.html#t:Iso">Iso</a> (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> t) (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s) t s</li><li class="src short"><a href="#v:_Wrapping">_Wrapping</a> :: <a href="Control-Lens-Wrapped.html#t:Rewrapping">Rewrapping</a> s t => (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s -> s) -> <a href="Control-Lens-Type.html#t:Iso">Iso</a> s t (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s) (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> t)</li><li class="src short"><a href="#v:_Unwrapping">_Unwrapping</a> :: <a href="Control-Lens-Wrapped.html#t:Rewrapping">Rewrapping</a> s t => (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s -> s) -> <a href="Control-Lens-Type.html#t:Iso">Iso</a> (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> t) (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s) t s</li><li class="src short"><a href="#v:op">op</a> :: <a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> s => (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s -> s) -> s -> <a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s</li><li class="src short"><a href="#v:ala">ala</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> f, <a href="Control-Lens-Wrapped.html#t:Rewrapping">Rewrapping</a> s t) => (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s -> s) -> ((<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> t -> t) -> f s) -> f (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s)</li><li class="src short"><a href="#v:alaf">alaf</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> g, <a href="Control-Lens-Wrapped.html#t:Rewrapping">Rewrapping</a> s t) => (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s -> s) -> (f t -> g s) -> f (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> t) -> g (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s)</li><li class="src short"><span class="keyword">pattern</span> <a href="#v:Wrapped">Wrapped</a> :: () => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> s s => <a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s -> s</li><li class="src short"><span class="keyword">pattern</span> <a href="#v:Unwrapped">Unwrapped</a> :: () => (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader-Class.html#t:MonadReader">MonadReader</a> (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> t) ((->) (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> t)), <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> t t) => t -> <a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> t</li></ul></div><div id="interface"><h1 id="g:1">Wrapping and Unwrapping monomorphically</h1><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:Wrapped" class="def">Wrapped</a> s <span class="keyword">where</span> <a href="src/Control-Lens-Wrapped.html#Wrapped" class="link">Source</a></p><div class="doc"><p><code><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a></code> provides isomorphisms to wrap and unwrap newtypes or
data types with one constructor.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src">Nothing</p></div><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a name="t:Unwrapped" class="def">Unwrapped</a> s :: * <a href="src/Control-Lens-Wrapped.html#Unwrapped" class="link">Source</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:_Wrapped-39-" class="def">_Wrapped'</a> :: <a href="Control-Lens-Type.html#t:Iso-39-">Iso'</a> s (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s) <a href="src/Control-Lens-Wrapped.html#_Wrapped%27" class="link">Source</a></p><div class="doc"><p>An isomorphism between <code>s</code> and <code>a</code>.</p></div></div><div class="subs instances"><p id="control.i:Wrapped" class="caption collapser" onclick="toggleSection('i:Wrapped')">Instances</p><div id="section.i:Wrapped" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Exception-Base.html#t:PatternMatchFail">PatternMatchFail</a></span> <a href="src/Control-Lens-Wrapped.html#line-588" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Exception-Base.html#t:RecSelError">RecSelError</a></span> <a href="src/Control-Lens-Wrapped.html#line-600" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Exception-Base.html#t:RecConError">RecConError</a></span> <a href="src/Control-Lens-Wrapped.html#line-594" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Exception-Base.html#t:RecUpdError">RecUpdError</a></span> <a href="src/Control-Lens-Wrapped.html#line-606" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Exception-Base.html#t:NoMethodError">NoMethodError</a></span> <a href="src/Control-Lens-Wrapped.html#line-582" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Exception-Base.html#t:AssertionFailed">AssertionFailed</a></span> <a href="src/Control-Lens-Wrapped.html#line-576" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Exception-Base.html#t:ErrorCall">ErrorCall</a></span> <a href="src/Control-Lens-Wrapped.html#line-612" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:All">All</a></span> <a href="src/Control-Lens-Wrapped.html#line-189" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Any">Any</a></span> <a href="src/Control-Lens-Wrapped.html#line-195" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-IntSet.html#t:IntSet">IntSet</a></span> <a href="src/Control-Lens-Wrapped.html#line-432" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="Control-Lens-Setter.html#t:Identity">Identity</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-320" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:ZipList">ZipList</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-231" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Dual">Dual</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-249" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Endo">Endo</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-255" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Sum">Sum</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-201" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Product">Product</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-207" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:First">First</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-261" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Last">Last</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-267" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Down">Down</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-287" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-IntMap-Strict.html#t:IntMap">IntMap</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-425" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Set.html#t:Set">Set</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-446" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:Seq">Seq</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-452" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant.html#t:Predicate">Predicate</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-524" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant.html#t:Comparison">Comparison</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-530" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant.html#t:Equivalence">Equivalence</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-536" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Min">Min</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-486" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Max">Max</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-492" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:First">First</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-498" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Last">Last</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-504" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:WrappedMonoid">WrappedMonoid</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-510" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Option">Option</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-516" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-237" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/libghc-hashable-doc/html/Data-Hashable.html#t:Hashable">Hashable</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a) => <a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashSet.html#t:HashSet">HashSet</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-416" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-460" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Unbox">Unbox</a> a => <a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-472" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Foreign-Storable.html#t:Storable">Storable</a> a => <a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Storable.html#t:Vector">Vector</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-478" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Primitive-Mutable.html#t:Prim">Prim</a> a => <a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Primitive.html#t:Vector">Vector</a> a)</span> <a href="src/Control-Lens-Wrapped.html#line-466" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="Control-Lens-Getter.html#t:Const">Const</a> a x)</span> <a href="src/Control-Lens-Wrapped.html#line-243" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:WrappedMonad">WrappedMonad</a> m a)</span> <a href="src/Control-Lens-Wrapped.html#line-219" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Arrow.html#t:ArrowMonad">ArrowMonad</a> m a)</span> <a href="src/Control-Lens-Wrapped.html#line-281" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> m a)</span> <a href="src/Control-Lens-Wrapped.html#line-326" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> k => <a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Map-Lazy.html#t:Map">Map</a> k a)</span> <a href="src/Control-Lens-Wrapped.html#line-439" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant.html#t:Op">Op</a> a b)</span> <a href="src/Control-Lens-Wrapped.html#line-542" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-List.html#t:ListT">ListT</a> m a)</span> <a href="src/Control-Lens-Wrapped.html#line-332" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Reverse.html#t:Reverse">Reverse</a> f a)</span> <a href="src/Control-Lens-Wrapped.html#line-350" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Applicative-Backwards.html#t:Backwards">Backwards</a> f a)</span> <a href="src/Control-Lens-Wrapped.html#line-294" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Maybe.html#t:MaybeT">MaybeT</a> m a)</span> <a href="src/Control-Lens-Wrapped.html#line-338" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Constant.html#t:Constant">Constant</a> a b)</span> <a href="src/Control-Lens-Wrapped.html#line-304" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/libghc-hashable-doc/html/Data-Hashable.html#t:Hashable">Hashable</a> k, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> k) => <a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Strict.html#t:HashMap">HashMap</a> k a)</span> <a href="src/Control-Lens-Wrapped.html#line-409" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:WrappedArrow">WrappedArrow</a> a b c)</span> <a href="src/Control-Lens-Wrapped.html#line-225" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Arrow.html#t:Kleisli">Kleisli</a> m a b)</span> <a href="src/Control-Lens-Wrapped.html#line-213" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Alt">Alt</a> k f a)</span> <a href="src/Control-Lens-Wrapped.html#line-274" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Data-Functor-Coproduct.html#t:Coproduct">Coproduct</a> f g a)</span> <a href="src/Control-Lens-Wrapped.html#line-394" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Traced.html#t:TracedT">TracedT</a> m w a)</span> <a href="src/Control-Lens-Wrapped.html#line-400" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant-Compose.html#t:Compose">Compose</a> f g a)</span> <a href="src/Control-Lens-Wrapped.html#line-548" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant-Compose.html#t:ComposeFC">ComposeFC</a> f g a)</span> <a href="src/Control-Lens-Wrapped.html#line-554" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant-Compose.html#t:ComposeCF">ComposeCF</a> f g a)</span> <a href="src/Control-Lens-Wrapped.html#line-560" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Cont.html#t:ContT">ContT</a> r m a)</span> <a href="src/Control-Lens-Wrapped.html#line-309" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader.html#t:ReaderT">ReaderT</a> r m a)</span> <a href="src/Control-Lens-Wrapped.html#line-344" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Lazy.html#t:StateT">StateT</a> s m a)</span> <a href="src/Control-Lens-Wrapped.html#line-368" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Strict.html#t:StateT">StateT</a> s m a)</span> <a href="src/Control-Lens-Wrapped.html#line-374" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error.html#t:ErrorT">ErrorT</a> e m a)</span> <a href="src/Control-Lens-Wrapped.html#line-314" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Writer-Lazy.html#t:WriterT">WriterT</a> w m a)</span> <a href="src/Control-Lens-Wrapped.html#line-380" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Writer-Strict.html#t:WriterT">WriterT</a> w m a)</span> <a href="src/Control-Lens-Wrapped.html#line-386" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Compose.html#t:Compose">Compose</a> f g a)</span> <a href="src/Control-Lens-Wrapped.html#line-299" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-tagged-doc/html/Data-Tagged.html#t:Tagged">Tagged</a> k s a)</span> <a href="src/Control-Lens-Wrapped.html#line-568" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Lazy.html#t:RWST">RWST</a> r w s m a)</span> <a href="src/Control-Lens-Wrapped.html#line-356" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#t:RWST">RWST</a> r w s m a)</span> <a href="src/Control-Lens-Wrapped.html#line-362" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:_Unwrapped-39-" class="def">_Unwrapped'</a> :: <a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> s => <a href="Control-Lens-Type.html#t:Iso-39-">Iso'</a> (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s) s <a href="src/Control-Lens-Wrapped.html#_Unwrapped%27" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:_Wrapping-39-" class="def">_Wrapping'</a> :: <a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> s => (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s -> s) -> <a href="Control-Lens-Type.html#t:Iso-39-">Iso'</a> s (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s) <a href="src/Control-Lens-Wrapped.html#_Wrapping%27" class="link">Source</a></p><div class="doc"><p>This is a convenient version of <code><a href="Control-Lens-Wrapped.html#v:_Wrapped">_Wrapped</a></code> with an argument that's ignored.</p><p>The user supplied function is <em>ignored</em>, merely its type is used.</p></div></div><div class="top"><p class="src"><a name="v:_Unwrapping-39-" class="def">_Unwrapping'</a> :: <a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> s => (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s -> s) -> <a href="Control-Lens-Type.html#t:Iso-39-">Iso'</a> (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s) s <a href="src/Control-Lens-Wrapped.html#_Unwrapping%27" class="link">Source</a></p><div class="doc"><p>This is a convenient version of <code><a href="Control-Lens-Wrapped.html#v:_Wrapped">_Wrapped</a></code> with an argument that's ignored.</p><p>The user supplied function is <em>ignored</em>, merely its type is used.</p></div></div><h1 id="g:2">Wrapping and unwrapping polymorphically</h1><div class="top"><p class="src"><span class="keyword">class</span> <a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> s => <a name="t:Rewrapped" class="def">Rewrapped</a> s t <a href="src/Control-Lens-Wrapped.html#Rewrapped" class="link">Source</a></p><div class="subs instances"><p id="control.i:Rewrapped" class="caption collapser" onclick="toggleSection('i:Rewrapped')">Instances</p><div id="section.i:Rewrapped" class="show"><table><tr><td class="src clearfix"><span class="inst-left">(~) * t <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Exception-Base.html#t:PatternMatchFail">PatternMatchFail</a> => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Exception-Base.html#t:PatternMatchFail">PatternMatchFail</a> t</span> <a href="src/Control-Lens-Wrapped.html#line-587" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Exception-Base.html#t:RecSelError">RecSelError</a> => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Exception-Base.html#t:RecSelError">RecSelError</a> t</span> <a href="src/Control-Lens-Wrapped.html#line-599" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Exception-Base.html#t:RecConError">RecConError</a> => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Exception-Base.html#t:RecConError">RecConError</a> t</span> <a href="src/Control-Lens-Wrapped.html#line-593" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Exception-Base.html#t:RecUpdError">RecUpdError</a> => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Exception-Base.html#t:RecUpdError">RecUpdError</a> t</span> <a href="src/Control-Lens-Wrapped.html#line-605" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Exception-Base.html#t:NoMethodError">NoMethodError</a> => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Exception-Base.html#t:NoMethodError">NoMethodError</a> t</span> <a href="src/Control-Lens-Wrapped.html#line-581" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Exception-Base.html#t:AssertionFailed">AssertionFailed</a> => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Exception-Base.html#t:AssertionFailed">AssertionFailed</a> t</span> <a href="src/Control-Lens-Wrapped.html#line-575" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Exception-Base.html#t:ErrorCall">ErrorCall</a> => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Exception-Base.html#t:ErrorCall">ErrorCall</a> t</span> <a href="src/Control-Lens-Wrapped.html#line-611" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:All">All</a> => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:All">All</a> t</span> <a href="src/Control-Lens-Wrapped.html#line-188" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Any">Any</a> => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Any">Any</a> t</span> <a href="src/Control-Lens-Wrapped.html#line-194" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-IntSet.html#t:IntSet">IntSet</a> => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-IntSet.html#t:IntSet">IntSet</a> t</span> <a href="src/Control-Lens-Wrapped.html#line-431" class="link">Source</a></td><td class="doc"><p>Use <code><code>wrapping</code> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-IntSet.html#v:fromList">fromList</a></code></code>. unwrapping returns a <em>sorted</em> list.</p></td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="Control-Lens-Setter.html#t:Identity">Identity</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="Control-Lens-Setter.html#t:Identity">Identity</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-319" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:ZipList">ZipList</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:ZipList">ZipList</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-230" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Dual">Dual</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Dual">Dual</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-248" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Endo">Endo</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Endo">Endo</a> b) t</span> <a href="src/Control-Lens-Wrapped.html#line-254" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Sum">Sum</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Sum">Sum</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-200" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Product">Product</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Product">Product</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-206" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:First">First</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:First">First</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-260" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Last">Last</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Last">Last</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-266" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Down">Down</a> a) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Down">Down</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-286" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-IntMap-Strict.html#t:IntMap">IntMap</a> a') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-IntMap-Strict.html#t:IntMap">IntMap</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-424" class="link">Source</a></td><td class="doc"><p>Use <code><code>wrapping</code> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-IntMap-Lazy.html#v:fromList">fromList</a></code></code>. unwrapping returns a <em>sorted</em> list.</p></td></tr><tr><td class="src clearfix"><span class="inst-left">((~) * t (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Set.html#t:Set">Set</a> a'), <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Set.html#t:Set">Set</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-445" class="link">Source</a></td><td class="doc"><p>Use <code><code>wrapping</code> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Set.html#v:fromList">fromList</a></code></code>. unwrapping returns a <em>sorted</em> list.</p></td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:Seq">Seq</a> a') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:Seq">Seq</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-451" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant.html#t:Predicate">Predicate</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant.html#t:Predicate">Predicate</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-523" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant.html#t:Comparison">Comparison</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant.html#t:Comparison">Comparison</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-529" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant.html#t:Equivalence">Equivalence</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant.html#t:Equivalence">Equivalence</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-535" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Min">Min</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Min">Min</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-485" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Max">Max</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Max">Max</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-491" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:First">First</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:First">First</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-497" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Last">Last</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Last">Last</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-503" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:WrappedMonoid">WrappedMonoid</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:WrappedMonoid">WrappedMonoid</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-509" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Option">Option</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Option">Option</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-515" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-236" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">((~) * t (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashSet.html#t:HashSet">HashSet</a> a'), <a href="file:///usr/share/doc/libghc-hashable-doc/html/Data-Hashable.html#t:Hashable">Hashable</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashSet.html#t:HashSet">HashSet</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-415" class="link">Source</a></td><td class="doc"><p>Use <code><code>wrapping</code> <code><a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashSet.html#v:fromList">fromList</a></code></code>. Unwrapping returns some permutation of the list.</p></td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-459" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Unbox">Unbox</a> a, (~) * t (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> a')) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-471" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Foreign-Storable.html#t:Storable">Storable</a> a, (~) * t (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Storable.html#t:Vector">Vector</a> a')) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Storable.html#t:Vector">Vector</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-477" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Primitive-Mutable.html#t:Prim">Prim</a> a, (~) * t (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Primitive.html#t:Vector">Vector</a> a')) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Primitive.html#t:Vector">Vector</a> a) t</span> <a href="src/Control-Lens-Wrapped.html#line-465" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="Control-Lens-Getter.html#t:Const">Const</a> a' x') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="Control-Lens-Getter.html#t:Const">Const</a> a x) t</span> <a href="src/Control-Lens-Wrapped.html#line-242" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:WrappedMonad">WrappedMonad</a> m' a') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:WrappedMonad">WrappedMonad</a> m a) t</span> <a href="src/Control-Lens-Wrapped.html#line-218" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">((~) * t (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Arrow.html#t:ArrowMonad">ArrowMonad</a> m' a'), <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Arrow.html#t:ArrowApply">ArrowApply</a> m) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Arrow.html#t:ArrowMonad">ArrowMonad</a> m a) t</span> <a href="src/Control-Lens-Wrapped.html#line-280" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> n b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> m a) t</span> <a href="src/Control-Lens-Wrapped.html#line-325" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">((~) * t (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Map-Lazy.html#t:Map">Map</a> k' a'), <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> k) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Map-Lazy.html#t:Map">Map</a> k a) t</span> <a href="src/Control-Lens-Wrapped.html#line-438" class="link">Source</a></td><td class="doc"><p>Use <code><code>wrapping</code> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Map-Lazy.html#v:fromList">fromList</a></code></code>. unwrapping returns a <em>sorted</em> list.</p></td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant.html#t:Op">Op</a> a' b') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant.html#t:Op">Op</a> a b) t</span> <a href="src/Control-Lens-Wrapped.html#line-541" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-List.html#t:ListT">ListT</a> n b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-List.html#t:ListT">ListT</a> m a) t</span> <a href="src/Control-Lens-Wrapped.html#line-331" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Reverse.html#t:Reverse">Reverse</a> g b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Reverse.html#t:Reverse">Reverse</a> f a) t</span> <a href="src/Control-Lens-Wrapped.html#line-349" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Applicative-Backwards.html#t:Backwards">Backwards</a> g b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Applicative-Backwards.html#t:Backwards">Backwards</a> f a) t</span> <a href="src/Control-Lens-Wrapped.html#line-293" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Maybe.html#t:MaybeT">MaybeT</a> n b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Maybe.html#t:MaybeT">MaybeT</a> m a) t</span> <a href="src/Control-Lens-Wrapped.html#line-337" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Constant.html#t:Constant">Constant</a> a' b') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Constant.html#t:Constant">Constant</a> a b) t</span> <a href="src/Control-Lens-Wrapped.html#line-303" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">((~) * t (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Strict.html#t:HashMap">HashMap</a> k' a'), <a href="file:///usr/share/doc/libghc-hashable-doc/html/Data-Hashable.html#t:Hashable">Hashable</a> k, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> k) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Strict.html#t:HashMap">HashMap</a> k a) t</span> <a href="src/Control-Lens-Wrapped.html#line-408" class="link">Source</a></td><td class="doc"><p>Use <code><code>wrapping</code> <code><a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Lazy.html#v:fromList">fromList</a></code></code>. Unwrapping returns some permutation of the list.</p></td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:WrappedArrow">WrappedArrow</a> a' b' c') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:WrappedArrow">WrappedArrow</a> a b c) t</span> <a href="src/Control-Lens-Wrapped.html#line-224" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Arrow.html#t:Kleisli">Kleisli</a> m' a' b') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Arrow.html#t:Kleisli">Kleisli</a> m a b) t</span> <a href="src/Control-Lens-Wrapped.html#line-212" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Alt">Alt</a> k g b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Alt">Alt</a> k f a) t</span> <a href="src/Control-Lens-Wrapped.html#line-273" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Data-Functor-Coproduct.html#t:Coproduct">Coproduct</a> f' g' a') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Data-Functor-Coproduct.html#t:Coproduct">Coproduct</a> f g a) t</span> <a href="src/Control-Lens-Wrapped.html#line-393" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Traced.html#t:TracedT">TracedT</a> m' w' a') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Traced.html#t:TracedT">TracedT</a> m w a) t</span> <a href="src/Control-Lens-Wrapped.html#line-399" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant-Compose.html#t:Compose">Compose</a> f' g' a') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant-Compose.html#t:Compose">Compose</a> f g a) t</span> <a href="src/Control-Lens-Wrapped.html#line-547" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant-Compose.html#t:ComposeFC">ComposeFC</a> f' g' a') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant-Compose.html#t:ComposeFC">ComposeFC</a> f g a) t</span> <a href="src/Control-Lens-Wrapped.html#line-553" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant-Compose.html#t:ComposeCF">ComposeCF</a> f' g' a') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant-Compose.html#t:ComposeCF">ComposeCF</a> f g a) t</span> <a href="src/Control-Lens-Wrapped.html#line-559" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Cont.html#t:ContT">ContT</a> r' m' a') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Cont.html#t:ContT">ContT</a> r m a) t</span> <a href="src/Control-Lens-Wrapped.html#line-308" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader.html#t:ReaderT">ReaderT</a> r n b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader.html#t:ReaderT">ReaderT</a> r m a) t</span> <a href="src/Control-Lens-Wrapped.html#line-343" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Lazy.html#t:StateT">StateT</a> s' m' a') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Lazy.html#t:StateT">StateT</a> s m a) t</span> <a href="src/Control-Lens-Wrapped.html#line-367" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Strict.html#t:StateT">StateT</a> s' m' a') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Strict.html#t:StateT">StateT</a> s m a) t</span> <a href="src/Control-Lens-Wrapped.html#line-373" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error.html#t:ErrorT">ErrorT</a> e' m' a') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error.html#t:ErrorT">ErrorT</a> e m a) t</span> <a href="src/Control-Lens-Wrapped.html#line-313" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Writer-Lazy.html#t:WriterT">WriterT</a> w' m' a') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Writer-Lazy.html#t:WriterT">WriterT</a> w m a) t</span> <a href="src/Control-Lens-Wrapped.html#line-379" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Writer-Strict.html#t:WriterT">WriterT</a> w' m' a') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Writer-Strict.html#t:WriterT">WriterT</a> w m a) t</span> <a href="src/Control-Lens-Wrapped.html#line-385" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Compose.html#t:Compose">Compose</a> f' g' a') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Compose.html#t:Compose">Compose</a> f g a) t</span> <a href="src/Control-Lens-Wrapped.html#line-298" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-tagged-doc/html/Data-Tagged.html#t:Tagged">Tagged</a> k s' a') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-tagged-doc/html/Data-Tagged.html#t:Tagged">Tagged</a> k s a) t</span> <a href="src/Control-Lens-Wrapped.html#line-567" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Lazy.html#t:RWST">RWST</a> r' w' s' m' a') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Lazy.html#t:RWST">RWST</a> r w s m a) t</span> <a href="src/Control-Lens-Wrapped.html#line-355" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * t (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#t:RWST">RWST</a> r' w' s' m' a') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#t:RWST">RWST</a> r w s m a) t</span> <a href="src/Control-Lens-Wrapped.html#line-361" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> (<a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> s t, <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> t s) => <a name="t:Rewrapping" class="def">Rewrapping</a> s t <a href="src/Control-Lens-Wrapped.html#Rewrapping" class="link">Source</a></p><div class="subs instances"><p id="control.i:Rewrapping" class="caption collapser" onclick="toggleSection('i:Rewrapping')">Instances</p><div id="section.i:Rewrapping" class="show"><table><tr><td class="src clearfix"><span class="inst-left">(<a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> s t, <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> t s) => <a href="Control-Lens-Wrapped.html#t:Rewrapping">Rewrapping</a> s t</span> <a href="src/Control-Lens-Wrapped.html#line-163" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:_Wrapped" class="def">_Wrapped</a> :: <a href="Control-Lens-Wrapped.html#t:Rewrapping">Rewrapping</a> s t => <a href="Control-Lens-Type.html#t:Iso">Iso</a> s t (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s) (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> t) <a href="src/Control-Lens-Wrapped.html#_Wrapped" class="link">Source</a></p><div class="doc"><p>Work under a newtype wrapper.</p><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>Const "hello" & _Wrapped %~ Prelude.length & getConst
</code></strong>5
</pre><pre><code><a href="Control-Lens-Wrapped.html#v:_Wrapped">_Wrapped</a></code> ≡ <code><a href="Control-Lens-Iso.html#v:from">from</a></code> <code><a href="Control-Lens-Wrapped.html#v:_Unwrapped">_Unwrapped</a></code>
<code><a href="Control-Lens-Wrapped.html#v:_Unwrapped">_Unwrapped</a></code> ≡ <code><a href="Control-Lens-Iso.html#v:from">from</a></code> <code><a href="Control-Lens-Wrapped.html#v:_Wrapped">_Wrapped</a></code>
</pre></div></div><div class="top"><p class="src"><a name="v:_Unwrapped" class="def">_Unwrapped</a> :: <a href="Control-Lens-Wrapped.html#t:Rewrapping">Rewrapping</a> s t => <a href="Control-Lens-Type.html#t:Iso">Iso</a> (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> t) (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s) t s <a href="src/Control-Lens-Wrapped.html#_Unwrapped" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:_Wrapping" class="def">_Wrapping</a> :: <a href="Control-Lens-Wrapped.html#t:Rewrapping">Rewrapping</a> s t => (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s -> s) -> <a href="Control-Lens-Type.html#t:Iso">Iso</a> s t (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s) (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> t) <a href="src/Control-Lens-Wrapped.html#_Wrapping" class="link">Source</a></p><div class="doc"><p>This is a convenient version of <code><a href="Control-Lens-Wrapped.html#v:_Wrapped">_Wrapped</a></code> with an argument that's ignored.</p><p>The user supplied function is <em>ignored</em>, merely its types are used.</p></div></div><div class="top"><p class="src"><a name="v:_Unwrapping" class="def">_Unwrapping</a> :: <a href="Control-Lens-Wrapped.html#t:Rewrapping">Rewrapping</a> s t => (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s -> s) -> <a href="Control-Lens-Type.html#t:Iso">Iso</a> (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> t) (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s) t s <a href="src/Control-Lens-Wrapped.html#_Unwrapping" class="link">Source</a></p><div class="doc"><p>This is a convenient version of <code><a href="Control-Lens-Wrapped.html#v:_Unwrapped">_Unwrapped</a></code> with an argument that's ignored.</p><p>The user supplied function is <em>ignored</em>, merely its types are used.</p></div></div><h1 id="g:3">Operations</h1><div class="top"><p class="src"><a name="v:op" class="def">op</a> :: <a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> s => (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s -> s) -> s -> <a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s <a href="src/Control-Lens-Wrapped.html#op" class="link">Source</a></p><div class="doc"><p>Given the constructor for a <code><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a></code> type, return a
deconstructor that is its inverse.</p><p>Assuming the <code><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a></code> instance is legal, these laws hold:</p><pre><code><a href="Control-Lens-Wrapped.html#v:op">op</a></code> f <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Function.html#v:.">.</a></code> f ≡ <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Function.html#v:id">id</a></code>
f <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Function.html#v:.">.</a></code> <code><a href="Control-Lens-Wrapped.html#v:op">op</a></code> f ≡ <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Function.html#v:id">id</a></code>
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>op Identity (Identity 4)
</code></strong>4
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>op Const (Const "hello")
</code></strong>"hello"
</pre></div></div><div class="top"><p class="src"><a name="v:ala" class="def">ala</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> f, <a href="Control-Lens-Wrapped.html#t:Rewrapping">Rewrapping</a> s t) => (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s -> s) -> ((<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> t -> t) -> f s) -> f (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s) <a href="src/Control-Lens-Wrapped.html#ala" class="link">Source</a></p><div class="doc"><p>This combinator is based on <code>ala</code> from Conor McBride's work on Epigram.</p><p>As with <code><a href="Control-Lens-Wrapped.html#v:_Wrapping">_Wrapping</a></code>, the user supplied function for the newtype is <em>ignored</em>.</p><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>ala Sum foldMap [1,2,3,4]
</code></strong>10
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>ala All foldMap [True,True]
</code></strong>True
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>ala All foldMap [True,False]
</code></strong>False
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>ala Any foldMap [False,False]
</code></strong>False
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>ala Any foldMap [True,False]
</code></strong>True
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>ala Sum foldMap [1,2,3,4]
</code></strong>10
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>ala Product foldMap [1,2,3,4]
</code></strong>24
</pre><p>You may want to think of this combinator as having the following, simpler, type.</p><pre>ala :: Rewrapping s t => (Unwrapped s -> s) -> ((Unwrapped t -> t) -> e -> s) -> e -> Unwrapped s
</pre></div></div><div class="top"><p class="src"><a name="v:alaf" class="def">alaf</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> g, <a href="Control-Lens-Wrapped.html#t:Rewrapping">Rewrapping</a> s t) => (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s -> s) -> (f t -> g s) -> f (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> t) -> g (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s) <a href="src/Control-Lens-Wrapped.html#alaf" class="link">Source</a></p><div class="doc"><p>This combinator is based on <code>ala'</code> from Conor McBride's work on Epigram.</p><p>As with <code><a href="Control-Lens-Wrapped.html#v:_Wrapping">_Wrapping</a></code>, the user supplied function for the newtype is <em>ignored</em>.</p><pre>alaf :: Rewrapping s t => (Unwrapped s -> s) -> ((r -> t) -> e -> s) -> (r -> Unwrapped t) -> e -> Unwrapped s
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>alaf Sum foldMap Prelude.length ["hello","world"]
</code></strong>10
</pre></div></div><h1 id="g:4">Pattern Synonyms</h1><div class="top"><p class="src"><span class="keyword">pattern</span> <a name="v:Wrapped" class="def">Wrapped</a> :: () => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> s s => <a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s -> s <a href="src/Control-Lens-Wrapped.html#Wrapped" class="link">Source</a></p></div><div class="top"><p class="src"><span class="keyword">pattern</span> <a name="v:Unwrapped" class="def">Unwrapped</a> :: () => (<a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader-Class.html#t:MonadReader">MonadReader</a> (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> t) ((->) (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> t)), <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> t t) => t -> <a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> t <a href="src/Control-Lens-Wrapped.html#Unwrapped" class="link">Source</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.16.1</p></div></body></html>
|