/usr/share/doc/libghc-lens-doc/html/Control-Lens-Wrapped.html is in libghc-lens-doc 4.1.2.1-3.
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 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 | <!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.1.2.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2, MPTCs, fundeps</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Maintainer</th><td>Edward Kmett <ekmett@gmail.com></td></tr><tr><th>Safe Haskell</th><td>Trustworthy</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></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="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Sum">Sum</a></code> f ≡ <code><a href="Control-Lens-Wrapped.html#v:_Unwrapping">_Unwrapping</a></code> <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Sum">Sum</a></code> <code><a href="Control-Lens-Setter.html#t:-37--126-">%~</a></code> f
Control.Newtype.under <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Sum">Sum</a></code> f ≡ <code><a href="Control-Lens-Wrapped.html#v:_Wrapping">_Wrapping</a></code> <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Sum">Sum</a></code> <code><a href="Control-Lens-Setter.html#t:-37--126-">%~</a></code> f
Control.Newtype.overF <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/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="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Sum">Sum</a></code>) <code><a href="Control-Lens-Setter.html#t:-37--126-">%~</a></code> f
Control.Newtype.underF <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/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="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Sum">Sum</a></code>) <code><a href="Control-Lens-Setter.html#t:-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="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) -> e -> s) -> e -> <a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s</li><li class="src short"><a href="#v:alaf">alaf</a> :: (<a href="Control-Lens-Iso.html#t:Profunctor">Profunctor</a> p, <a href="Control-Lens-Wrapped.html#t:Rewrapping">Rewrapping</a> s t) => (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s -> s) -> (p r t -> e -> s) -> p r (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> t) -> e -> <a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s</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 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"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Exception-Base.html#t:PatternMatchFail">PatternMatchFail</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Exception-Base.html#t:RecSelError">RecSelError</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Exception-Base.html#t:RecConError">RecConError</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Exception-Base.html#t:RecUpdError">RecUpdError</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Exception-Base.html#t:NoMethodError">NoMethodError</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Exception-Base.html#t:AssertionFailed">AssertionFailed</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:All">All</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Any">Any</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Exception-Base.html#t:ErrorCall">ErrorCall</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-IntSet.html#t:IntSet">IntSet</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Applicative.html#t:ZipList">ZipList</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Dual">Dual</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Endo">Endo</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Sum">Sum</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Product">Product</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:First">First</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Last">Last</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="Control-Lens-Setter.html#t:Identity">Identity</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Sequence.html#t:Seq">Seq</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-IntMap-Strict.html#t:IntMap">IntMap</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Ord.html#t:Ord">Ord</a> a => <a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Set.html#t:Set">Set</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant.html#t:Predicate">Predicate</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant.html#t:Comparison">Comparison</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant.html#t:Equivalence">Equivalence</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Min">Min</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Max">Max</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:First">First</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Last">Last</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:WrappedMonoid">WrappedMonoid</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Option">Option</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="/usr/share/doc/libghc-hashable-doc/html/Data-Hashable.html#t:Hashable">Hashable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Eq.html#t:Eq">Eq</a> a) => <a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-unordered-containers-doc/html/Data-HashSet.html#t:HashSet">HashSet</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Ord.html#t:Ord">Ord</a> k => <a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Map-Lazy.html#t:Map">Map</a> k a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="Control-Lens-Getter.html#t:Const">Const</a> a x)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Applicative.html#t:WrappedMonad">WrappedMonad</a> m a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Arrow.html#t:ArrowApply">ArrowApply</a> m => <a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Arrow.html#t:ArrowMonad">ArrowMonad</a> m a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> m a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant.html#t:Op">Op</a> a b)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-List.html#t:ListT">ListT</a> m a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-transformers-doc/html/Data-Functor-Reverse.html#t:Reverse">Reverse</a> f a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-transformers-doc/html/Control-Applicative-Backwards.html#t:Backwards">Backwards</a> f a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-transformers-doc/html/Data-Functor-Constant.html#t:Constant">Constant</a> a b)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-transformers-doc/html/Control-Monad-Trans-Maybe.html#t:MaybeT">MaybeT</a> m a)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="/usr/share/doc/libghc-hashable-doc/html/Data-Hashable.html#t:Hashable">Hashable</a> k, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Eq.html#t:Eq">Eq</a> k) => <a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Strict.html#t:HashMap">HashMap</a> k a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Applicative.html#t:WrappedArrow">WrappedArrow</a> a b c)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Arrow.html#t:Kleisli">Kleisli</a> m a b)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-comonad-doc/html/Data-Functor-Coproduct.html#t:Coproduct">Coproduct</a> f g a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Traced.html#t:TracedT">TracedT</a> m w a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant-Compose.html#t:Compose">Compose</a> f g a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant-Compose.html#t:ComposeFC">ComposeFC</a> f g a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant-Compose.html#t:ComposeCF">ComposeCF</a> f g a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Cont.html#t:ContT">ContT</a> r m a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error.html#t:ErrorT">ErrorT</a> e m a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader.html#t:ReaderT">ReaderT</a> r m a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Lazy.html#t:StateT">StateT</a> s m a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Strict.html#t:StateT">StateT</a> s m a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Writer-Lazy.html#t:WriterT">WriterT</a> w m a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Writer-Strict.html#t:WriterT">WriterT</a> w m a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-transformers-doc/html/Data-Functor-Compose.html#t:Compose">Compose</a> f g a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-tagged-doc/html/Data-Tagged.html#t:Tagged">Tagged</a> k s a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Lazy.html#t:RWST">RWST</a> r w s m a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Lens-Wrapped.html#t:Wrapped">Wrapped</a> (<a href="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#t:RWST">RWST</a> r w s m 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">~ * t <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Exception-Base.html#t:PatternMatchFail">PatternMatchFail</a> => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Exception-Base.html#t:PatternMatchFail">PatternMatchFail</a> t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Exception-Base.html#t:RecSelError">RecSelError</a> => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Exception-Base.html#t:RecSelError">RecSelError</a> t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Exception-Base.html#t:RecConError">RecConError</a> => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Exception-Base.html#t:RecConError">RecConError</a> t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Exception-Base.html#t:RecUpdError">RecUpdError</a> => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Exception-Base.html#t:RecUpdError">RecUpdError</a> t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Exception-Base.html#t:NoMethodError">NoMethodError</a> => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Exception-Base.html#t:NoMethodError">NoMethodError</a> t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Exception-Base.html#t:AssertionFailed">AssertionFailed</a> => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Exception-Base.html#t:AssertionFailed">AssertionFailed</a> t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:All">All</a> => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:All">All</a> t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Any">Any</a> => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Any">Any</a> t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Exception-Base.html#t:ErrorCall">ErrorCall</a> => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Exception-Base.html#t:ErrorCall">ErrorCall</a> t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-IntSet.html#t:IntSet">IntSet</a> => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> <a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-IntSet.html#t:IntSet">IntSet</a> t</td><td class="doc"><p>Use <code><code>wrapping</code> <code><a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-IntSet.html#v:fromList">fromList</a></code></code>. unwrapping returns a <em>sorted</em> list.
</p></td></tr><tr><td class="src">~ * t (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Applicative.html#t:ZipList">ZipList</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Applicative.html#t:ZipList">ZipList</a> a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Dual">Dual</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Dual">Dual</a> a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Endo">Endo</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Endo">Endo</a> b) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Sum">Sum</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Sum">Sum</a> a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Product">Product</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Product">Product</a> a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:First">First</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:First">First</a> a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Last">Last</a> b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Monoid.html#t:Last">Last</a> b) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * 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</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Sequence.html#t:Seq">Seq</a> a') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Sequence.html#t:Seq">Seq</a> a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-IntMap-Strict.html#t:IntMap">IntMap</a> a') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-IntMap-Strict.html#t:IntMap">IntMap</a> a) t</td><td class="doc"><p>Use <code><code>wrapping</code> <code><a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-IntMap-Lazy.html#v:fromList">fromList</a></code></code>. unwrapping returns a <em>sorted</em> list.
</p></td></tr><tr><td class="src">(~ * t (<a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Set.html#t:Set">Set</a> a'), <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Ord.html#t:Ord">Ord</a> a) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Set.html#t:Set">Set</a> a) t</td><td class="doc"><p>Use <code><code>wrapping</code> <code><a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Set.html#v:fromList">fromList</a></code></code>. unwrapping returns a <em>sorted</em> list.
</p></td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant.html#t:Predicate">Predicate</a> a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant.html#t:Comparison">Comparison</a> a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant.html#t:Equivalence">Equivalence</a> a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Min">Min</a> a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Max">Max</a> a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:First">First</a> a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Last">Last</a> a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:WrappedMonoid">WrappedMonoid</a> a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Option">Option</a> a) t</td><td class="doc empty"> </td></tr><tr><td class="src">(~ * t (<a href="/usr/share/doc/libghc-unordered-containers-doc/html/Data-HashSet.html#t:HashSet">HashSet</a> a'), <a href="/usr/share/doc/libghc-hashable-doc/html/Data-Hashable.html#t:Hashable">Hashable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Eq.html#t:Eq">Eq</a> a) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="/usr/share/doc/libghc-unordered-containers-doc/html/Data-HashSet.html#t:HashSet">HashSet</a> a) t</td><td class="doc"><p>Use <code><code>wrapping</code> <code><a href="/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">(~ * t (<a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Map-Lazy.html#t:Map">Map</a> k' a'), <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Ord.html#t:Ord">Ord</a> k) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Map-Lazy.html#t:Map">Map</a> k a) t</td><td class="doc"><p>Use <code><code>wrapping</code> <code><a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Map-Lazy.html#v:fromList">fromList</a></code></code>. unwrapping returns a <em>sorted</em> list.
</p></td></tr><tr><td class="src">~ * 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</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Applicative.html#t:WrappedMonad">WrappedMonad</a> m' a') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Applicative.html#t:WrappedMonad">WrappedMonad</a> m a) t</td><td class="doc empty"> </td></tr><tr><td class="src">(~ * t (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Arrow.html#t:ArrowMonad">ArrowMonad</a> m' a'), <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Arrow.html#t:ArrowApply">ArrowApply</a> m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Arrow.html#t:ArrowApply">ArrowApply</a> m') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Arrow.html#t:ArrowMonad">ArrowMonad</a> m a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> m a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant.html#t:Op">Op</a> a b) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-List.html#t:ListT">ListT</a> m a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/usr/share/doc/libghc-transformers-doc/html/Data-Functor-Reverse.html#t:Reverse">Reverse</a> g b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="/usr/share/doc/libghc-transformers-doc/html/Data-Functor-Reverse.html#t:Reverse">Reverse</a> f a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/usr/share/doc/libghc-transformers-doc/html/Control-Applicative-Backwards.html#t:Backwards">Backwards</a> g b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="/usr/share/doc/libghc-transformers-doc/html/Control-Applicative-Backwards.html#t:Backwards">Backwards</a> f a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/usr/share/doc/libghc-transformers-doc/html/Data-Functor-Constant.html#t:Constant">Constant</a> a' b') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="/usr/share/doc/libghc-transformers-doc/html/Data-Functor-Constant.html#t:Constant">Constant</a> a b) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/usr/share/doc/libghc-transformers-doc/html/Control-Monad-Trans-Maybe.html#t:MaybeT">MaybeT</a> n b) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="/usr/share/doc/libghc-transformers-doc/html/Control-Monad-Trans-Maybe.html#t:MaybeT">MaybeT</a> m a) t</td><td class="doc empty"> </td></tr><tr><td class="src">(~ * t (<a href="/usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Strict.html#t:HashMap">HashMap</a> k' a'), <a href="/usr/share/doc/libghc-hashable-doc/html/Data-Hashable.html#t:Hashable">Hashable</a> k, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Eq.html#t:Eq">Eq</a> k) => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="/usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Strict.html#t:HashMap">HashMap</a> k a) t</td><td class="doc"><p>Use <code><code>wrapping</code> <code><a href="/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">~ * t (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Applicative.html#t:WrappedArrow">WrappedArrow</a> a' b' c') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Applicative.html#t:WrappedArrow">WrappedArrow</a> a b c) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Arrow.html#t:Kleisli">Kleisli</a> m' a' b') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Arrow.html#t:Kleisli">Kleisli</a> m a b) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-comonad-doc/html/Data-Functor-Coproduct.html#t:Coproduct">Coproduct</a> f g a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Traced.html#t:TracedT">TracedT</a> m w a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant-Compose.html#t:Compose">Compose</a> f g a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant-Compose.html#t:ComposeFC">ComposeFC</a> f g a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-contravariant-doc/html/Data-Functor-Contravariant-Compose.html#t:ComposeCF">ComposeCF</a> f g a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Cont.html#t:ContT">ContT</a> r m a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error.html#t:ErrorT">ErrorT</a> e m a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader.html#t:ReaderT">ReaderT</a> r m a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Lazy.html#t:StateT">StateT</a> s m a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Strict.html#t:StateT">StateT</a> s m a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Writer-Lazy.html#t:WriterT">WriterT</a> w m a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-Writer-Strict.html#t:WriterT">WriterT</a> w m a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/usr/share/doc/libghc-transformers-doc/html/Data-Functor-Compose.html#t:Compose">Compose</a> f' g' a') => <a href="Control-Lens-Wrapped.html#t:Rewrapped">Rewrapped</a> (<a href="/usr/share/doc/libghc-transformers-doc/html/Data-Functor-Compose.html#t:Compose">Compose</a> f g a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-tagged-doc/html/Data-Tagged.html#t:Tagged">Tagged</a> k1 s a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Lazy.html#t:RWST">RWST</a> r w s m a) t</td><td class="doc empty"> </td></tr><tr><td class="src">~ * t (<a href="/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="/usr/share/doc/libghc-mtl-doc/html/Control-Monad-RWS-Strict.html#t:RWST">RWST</a> r w s m a) t</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">(<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</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 %~ 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="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#v:.">.</a></code> f ≡ <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#v:id">id</a></code>
f <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#v:.">.</a></code> <code><a href="Control-Lens-Wrapped.html#v:op">op</a></code> f ≡ <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.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="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) -> e -> s) -> e -> <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></div></div><div class="top"><p class="src"><a name="v:alaf" class="def">alaf</a> :: (<a href="Control-Lens-Iso.html#t:Profunctor">Profunctor</a> p, <a href="Control-Lens-Wrapped.html#t:Rewrapping">Rewrapping</a> s t) => (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> s -> s) -> (p r t -> e -> s) -> p r (<a href="Control-Lens-Wrapped.html#t:Unwrapped">Unwrapped</a> t) -> e -> <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 class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>alaf Sum foldMap length ["hello","world"]
</code></strong>10
</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>
|