/usr/share/doc/libghc-lens-doc/html/Control-Lens-At.html is in libghc-lens-doc 4.15.4-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 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 | <!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.At</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="file:///usr/share/javascript/mathjax/MathJax.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Control-Lens-At.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-At.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">lens-4.15.4: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th valign="top">Copyright</th><td>(C) 2012-16 Edward Kmett</td></tr><tr><th>License</th><td>BSD-style (see the file LICENSE)</td></tr><tr><th>Maintainer</th><td>Edward Kmett <ekmett@gmail.com></td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Portability</th><td>non-portable</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.At</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">At</a></li><li><a href="#g:2">Ixed</a></li><li><a href="#g:3">Contains</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc empty"> </div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">class</span> <a href="Control-Lens-At.html#t:Ixed">Ixed</a> m => <a href="#t:At">At</a> m <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><a href="#v:sans">sans</a> :: <a href="Control-Lens-At.html#t:At">At</a> m => <a href="Control-Lens-At.html#t:Index">Index</a> m -> m -> m</li><li class="src short"><a href="#v:iat">iat</a> :: <a href="Control-Lens-At.html#t:At">At</a> m => <a href="Control-Lens-At.html#t:Index">Index</a> m -> <a href="Control-Lens-Type.html#t:IndexedLens-39-">IndexedLens'</a> (<a href="Control-Lens-At.html#t:Index">Index</a> m) m (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> m))</li><li class="src short"><span class="keyword">type family</span> <a href="#t:Index">Index</a> (s :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a></li><li class="src short"><span class="keyword">type family</span> <a href="#t:IxValue">IxValue</a> (m :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a></li><li class="src short"><span class="keyword">class</span> <a href="#t:Ixed">Ixed</a> m <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><a href="#v:ixAt">ixAt</a> :: <a href="Control-Lens-At.html#t:At">At</a> m => <a href="Control-Lens-At.html#t:Index">Index</a> m -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> m (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> m)</li><li class="src short"><a href="#v:iix">iix</a> :: <a href="Control-Lens-At.html#t:Ixed">Ixed</a> m => <a href="Control-Lens-At.html#t:Index">Index</a> m -> <a href="Control-Lens-Type.html#t:IndexedTraversal-39-">IndexedTraversal'</a> (<a href="Control-Lens-At.html#t:Index">Index</a> m) m (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> m)</li><li class="src short"><span class="keyword">class</span> <a href="#t:Contains">Contains</a> m <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><a href="#v:icontains">icontains</a> :: <a href="Control-Lens-At.html#t:Contains">Contains</a> m => <a href="Control-Lens-At.html#t:Index">Index</a> m -> <a href="Control-Lens-Type.html#t:IndexedLens-39-">IndexedLens'</a> (<a href="Control-Lens-At.html#t:Index">Index</a> m) m <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a></li></ul></div><div id="interface"><h1 id="g:1">At</h1><div class="top"><p class="src"><span class="keyword">class</span> <a href="Control-Lens-At.html#t:Ixed">Ixed</a> m => <a id="t:At" class="def">At</a> m <span class="keyword">where</span> <a href="src/Control-Lens-At.html#At" class="link">Source</a> <a href="#t:At" class="selflink">#</a></p><div class="doc"><p><code><a href="Control-Lens-At.html#t:At">At</a></code> provides a <code><a href="Control-Lens-Type.html#t:Lens">Lens</a></code> that can be used to read,
write or delete the value associated with a key in a <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a></code>-like
container on an ad hoc basis.</p><p>An instance of <code><a href="Control-Lens-At.html#t:At">At</a></code> should satisfy:</p><pre><code><a href="Control-Lens-At.html#v:ix">ix</a></code> k ≡ <code><a href="Control-Lens-At.html#v:at">at</a></code> k <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Function.html#v:.">.</a></code> <code><a href="Control-Lens-Traversal.html#v:traverse">traverse</a></code>
</pre></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Control-Lens-At.html#v:at">at</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:at" class="def">at</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> m -> <a href="Control-Lens-Type.html#t:Lens-39-">Lens'</a> m (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> m)) <a href="src/Control-Lens-At.html#at" class="link">Source</a> <a href="#v:at" class="selflink">#</a></p><div class="doc"><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>Map.fromList [(1,"world")] ^.at 1
</code></strong>Just "world"
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>at 1 ?~ "hello" $ Map.empty
</code></strong>fromList [(1,"hello")]
</pre><p><em>Note:</em> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a></code>-like containers form a reasonable instance, but not <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/array-0.5.1.1/Data-Array.html#t:Array">Array</a></code>-like ones, where
you cannot satisfy the <code><a href="Control-Lens-Type.html#t:Lens">Lens</a></code> laws.</p></div></div><div class="subs instances"><p id="control.i:At" class="caption collapser" onclick="toggleSection('i:At')">Instances</p><div id="section.i:At" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:At:At:1" class="instance expander" onclick="toggleSection('i:ic:At:At:1')"></span> <a href="Control-Lens-At.html#t:At">At</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntSet.html#t:IntSet">IntSet</a></span> <a href="src/Control-Lens-At.html#line-487" class="link">Source</a> <a href="#t:At" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:At:At:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:at">at</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntSet.html#t:IntSet">IntSet</a> -> <a href="Control-Lens-Type.html#t:Lens-39-">Lens'</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntSet.html#t:IntSet">IntSet</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntSet.html#t:IntSet">IntSet</a>)) <a href="src/Control-Lens-At.html#at" class="link">Source</a> <a href="#v:at" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:At:At:2" class="instance expander" onclick="toggleSection('i:ic:At:At:2')"></span> <a href="Control-Lens-At.html#t:At">At</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</span> <a href="src/Control-Lens-At.html#line-454" class="link">Source</a> <a href="#t:At" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:At:At:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:at">at</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> <a href="Control-Lens-Type.html#t:Lens-39-">Lens'</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a))) <a href="src/Control-Lens-At.html#at" class="link">Source</a> <a href="#v:at" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:At:At:3" class="instance expander" onclick="toggleSection('i:ic:At:At:3')"></span> <a href="Control-Lens-At.html#t:At">At</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntMap-Lazy.html#t:IntMap">IntMap</a> a)</span> <a href="src/Control-Lens-At.html#line-458" class="link">Source</a> <a href="#t:At" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:At:At:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:at">at</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntMap-Lazy.html#t:IntMap">IntMap</a> a) -> <a href="Control-Lens-Type.html#t:Lens-39-">Lens'</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntMap-Lazy.html#t:IntMap">IntMap</a> a) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntMap-Lazy.html#t:IntMap">IntMap</a> a))) <a href="src/Control-Lens-At.html#at" class="link">Source</a> <a href="#v:at" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:At:At:4" class="instance expander" onclick="toggleSection('i:ic:At:At:4')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> k => <a href="Control-Lens-At.html#t:At">At</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> k)</span> <a href="src/Control-Lens-At.html#line-494" class="link">Source</a> <a href="#t:At" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:At:At:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:at">at</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> k) -> <a href="Control-Lens-Type.html#t:Lens-39-">Lens'</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> k) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> k))) <a href="src/Control-Lens-At.html#at" class="link">Source</a> <a href="#v:at" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:At:At:5" class="instance expander" onclick="toggleSection('i:ic:At:At:5')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> k, <a href="file:///usr/share/doc/libghc-hashable-doc/html/Data-Hashable.html#t:Hashable">Hashable</a> k) => <a href="Control-Lens-At.html#t:At">At</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashSet.html#t:HashSet">HashSet</a> k)</span> <a href="src/Control-Lens-At.html#line-501" class="link">Source</a> <a href="#t:At" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:At:At:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:at">at</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashSet.html#t:HashSet">HashSet</a> k) -> <a href="Control-Lens-Type.html#t:Lens-39-">Lens'</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashSet.html#t:HashSet">HashSet</a> k) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashSet.html#t:HashSet">HashSet</a> k))) <a href="src/Control-Lens-At.html#at" class="link">Source</a> <a href="#v:at" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:At:At:6" class="instance expander" onclick="toggleSection('i:ic:At:At:6')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> k => <a href="Control-Lens-At.html#t:At">At</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a> k a)</span> <a href="src/Control-Lens-At.html#line-469" class="link">Source</a> <a href="#t:At" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:At:At:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:at">at</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a> k a) -> <a href="Control-Lens-Type.html#t:Lens-39-">Lens'</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a> k a) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a> k a))) <a href="src/Control-Lens-At.html#at" class="link">Source</a> <a href="#v:at" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:At:At:7" class="instance expander" onclick="toggleSection('i:ic:At:At:7')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> k, <a href="file:///usr/share/doc/libghc-hashable-doc/html/Data-Hashable.html#t:Hashable">Hashable</a> k) => <a href="Control-Lens-At.html#t:At">At</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Lazy.html#t:HashMap">HashMap</a> k a)</span> <a href="src/Control-Lens-At.html#line-480" class="link">Source</a> <a href="#t:At" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:At:At:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:at">at</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Lazy.html#t:HashMap">HashMap</a> k a) -> <a href="Control-Lens-Type.html#t:Lens-39-">Lens'</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Lazy.html#t:HashMap">HashMap</a> k a) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Lazy.html#t:HashMap">HashMap</a> k a))) <a href="src/Control-Lens-At.html#at" class="link">Source</a> <a href="#v:at" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:sans" class="def">sans</a> :: <a href="Control-Lens-At.html#t:At">At</a> m => <a href="Control-Lens-At.html#t:Index">Index</a> m -> m -> m <a href="src/Control-Lens-At.html#sans" class="link">Source</a> <a href="#v:sans" class="selflink">#</a></p><div class="doc"><p>Delete the value associated with a key in a <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a></code>-like container</p><pre><code><a href="Control-Lens-At.html#v:sans">sans</a></code> k = <code><a href="Control-Lens-At.html#v:at">at</a></code> k .~ Nothing
</pre></div></div><div class="top"><p class="src"><a id="v:iat" class="def">iat</a> :: <a href="Control-Lens-At.html#t:At">At</a> m => <a href="Control-Lens-At.html#t:Index">Index</a> m -> <a href="Control-Lens-Type.html#t:IndexedLens-39-">IndexedLens'</a> (<a href="Control-Lens-At.html#t:Index">Index</a> m) m (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> m)) <a href="src/Control-Lens-At.html#iat" class="link">Source</a> <a href="#v:iat" class="selflink">#</a></p><div class="doc"><p>An indexed version of <code><a href="Control-Lens-At.html#v:at">at</a></code>.</p><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>Map.fromList [(1,"world")] ^@. iat 1
</code></strong>(1,Just "world")
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>iat 1 %@~ (\i x -> if odd i then Just "hello" else Nothing) $ Map.empty
</code></strong>fromList [(1,"hello")]
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>iat 2 %@~ (\i x -> if odd i then Just "hello" else Nothing) $ Map.empty
</code></strong>fromList []
</pre></div></div><h1 id="g:2">Ixed</h1><div class="top"><p class="src"><span class="keyword">type family</span> <a id="t:Index" class="def">Index</a> (s :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="src/Control-Lens-At.html#Index" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></p><div class="subs instances"><p id="control.i:Index" class="caption collapser" onclick="toggleSection('i:Index')">Instances</p><div id="section.i:Index" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:1" class="instance expander" onclick="toggleSection('i:if:Index:Index:1')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.8.1/Data-ByteString-Lazy.html#t:ByteString">ByteString</a></span> <a href="src/Control-Lens-At.html#line-121" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:1" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.8.1/Data-ByteString-Lazy.html#t:ByteString">ByteString</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int64">Int64</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:2" class="instance expander" onclick="toggleSection('i:if:Index:Index:2')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.8.1/Data-ByteString.html#t:ByteString">ByteString</a></span> <a href="src/Control-Lens-At.html#line-120" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:2" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.8.1/Data-ByteString.html#t:ByteString">ByteString</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:3" class="instance expander" onclick="toggleSection('i:if:Index:Index:3')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntSet.html#t:IntSet">IntSet</a></span> <a href="src/Control-Lens-At.html#line-91" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:3" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntSet.html#t:IntSet">IntSet</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:4" class="instance expander" onclick="toggleSection('i:if:Index:Index:4')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text-Lazy.html#t:Text">Text</a></span> <a href="src/Control-Lens-At.html#line-119" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:4" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text-Lazy.html#t:Text">Text</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int64">Int64</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:5" class="instance expander" onclick="toggleSection('i:if:Index:Index:5')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text.html#t:Text">Text</a></span> <a href="src/Control-Lens-At.html#line-118" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:5" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text.html#t:Text">Text</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:6" class="instance expander" onclick="toggleSection('i:if:Index:Index:6')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> [a]</span> <a href="src/Control-Lens-At.html#line-94" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:6" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> [a] = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:7" class="instance expander" onclick="toggleSection('i:if:Index:Index:7')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</span> <a href="src/Control-Lens-At.html#line-116" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:7" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) = ()</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:8" class="instance expander" onclick="toggleSection('i:if:Index:Index:8')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="Control-Lens-Setter.html#t:Identity">Identity</a> a)</span> <a href="src/Control-Lens-At.html#line-115" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:8" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="Control-Lens-Setter.html#t:Identity">Identity</a> a) = ()</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:9" class="instance expander" onclick="toggleSection('i:if:Index:Index:9')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a)</span> <a href="src/Control-Lens-At.html#line-95" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:9" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:10" class="instance expander" onclick="toggleSection('i:if:Index:Index:10')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Complex.html#t:Complex">Complex</a> a)</span> <a href="src/Control-Lens-At.html#line-114" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:10" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Complex.html#t:Complex">Complex</a> a) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:11" class="instance expander" onclick="toggleSection('i:if:Index:Index:11')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntMap-Lazy.html#t:IntMap">IntMap</a> a)</span> <a href="src/Control-Lens-At.html#line-105" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:11" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntMap-Lazy.html#t:IntMap">IntMap</a> a) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:12" class="instance expander" onclick="toggleSection('i:if:Index:Index:12')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Tree.html#t:Tree">Tree</a> a)</span> <a href="src/Control-Lens-At.html#line-117" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:12" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Tree.html#t:Tree">Tree</a> a) = [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a>]</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:13" class="instance expander" onclick="toggleSection('i:if:Index:Index:13')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Sequence.html#t:Seq">Seq</a> a)</span> <a href="src/Control-Lens-At.html#line-96" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:13" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Sequence.html#t:Seq">Seq</a> a) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:14" class="instance expander" onclick="toggleSection('i:if:Index:Index:14')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a)</span> <a href="src/Control-Lens-At.html#line-92" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:14" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) = a</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:15" class="instance expander" onclick="toggleSection('i:if:Index:Index:15')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</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-At.html#line-93" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:15" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashSet.html#t:HashSet">HashSet</a> a) = a</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:16" class="instance expander" onclick="toggleSection('i:if:Index:Index:16')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</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-At.html#line-110" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:16" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:17" class="instance expander" onclick="toggleSection('i:if:Index:Index:17')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</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-At.html#line-112" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:17" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Storable.html#t:Vector">Vector</a> a) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:18" class="instance expander" onclick="toggleSection('i:if:Index:Index:18')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</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-At.html#line-113" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:18" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> a) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:19" class="instance expander" onclick="toggleSection('i:if:Index:Index:19')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</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-At.html#line-111" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:19" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Primitive.html#t:Vector">Vector</a> a) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:20" class="instance expander" onclick="toggleSection('i:if:Index:Index:20')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (e -> a)</span> <a href="src/Control-Lens-At.html#line-90" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:20" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (e -> a) = e</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:21" class="instance expander" onclick="toggleSection('i:if:Index:Index:21')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (a, b)</span> <a href="src/Control-Lens-At.html#line-97" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:21" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (a, b) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:22" class="instance expander" onclick="toggleSection('i:if:Index:Index:22')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/array-0.5.1.1/Data-Array-Unboxed.html#t:UArray">UArray</a> i e)</span> <a href="src/Control-Lens-At.html#line-109" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:22" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/array-0.5.1.1/Data-Array-Unboxed.html#t:UArray">UArray</a> i e) = i</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:23" class="instance expander" onclick="toggleSection('i:if:Index:Index:23')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/array-0.5.1.1/Data-Array.html#t:Array">Array</a> i e)</span> <a href="src/Control-Lens-At.html#line-108" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:23" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/array-0.5.1.1/Data-Array.html#t:Array">Array</a> i e) = i</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:24" class="instance expander" onclick="toggleSection('i:if:Index:Index:24')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a> k a)</span> <a href="src/Control-Lens-At.html#line-106" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:24" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a> k a) = k</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:25" class="instance expander" onclick="toggleSection('i:if:Index:Index:25')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Lazy.html#t:HashMap">HashMap</a> k a)</span> <a href="src/Control-Lens-At.html#line-107" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:25" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Lazy.html#t:HashMap">HashMap</a> k a) = k</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:26" class="instance expander" onclick="toggleSection('i:if:Index:Index:26')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (a, b, c)</span> <a href="src/Control-Lens-At.html#line-98" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:26" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (a, b, c) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:27" class="instance expander" onclick="toggleSection('i:if:Index:Index:27')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (a, b, c, d)</span> <a href="src/Control-Lens-At.html#line-99" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:27" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (a, b, c, d) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:28" class="instance expander" onclick="toggleSection('i:if:Index:Index:28')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (a, b, c, d, e)</span> <a href="src/Control-Lens-At.html#line-100" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:28" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (a, b, c, d, e) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:29" class="instance expander" onclick="toggleSection('i:if:Index:Index:29')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (a, b, c, d, e, f)</span> <a href="src/Control-Lens-At.html#line-101" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:29" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (a, b, c, d, e, f) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:30" class="instance expander" onclick="toggleSection('i:if:Index:Index:30')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (a, b, c, d, e, f, g)</span> <a href="src/Control-Lens-At.html#line-102" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:30" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (a, b, c, d, e, f, g) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:31" class="instance expander" onclick="toggleSection('i:if:Index:Index:31')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (a, b, c, d, e, f, g, h)</span> <a href="src/Control-Lens-At.html#line-103" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:31" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (a, b, c, d, e, f, g, h) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Index:Index:32" class="instance expander" onclick="toggleSection('i:if:Index:Index:32')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (a, b, c, d, e, f, g, h, i)</span> <a href="src/Control-Lens-At.html#line-104" class="link">Source</a> <a href="#t:Index" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Index:Index:32" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:Index">Index</a> (a, b, c, d, e, f, g, h, i) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type family</span> <a id="t:IxValue" class="def">IxValue</a> (m :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="src/Control-Lens-At.html#IxValue" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></p><div class="doc"><p>This provides a common notion of a value at an index that is shared by both <code><a href="Control-Lens-At.html#t:Ixed">Ixed</a></code> and <code><a href="Control-Lens-At.html#t:At">At</a></code>.</p></div><div class="subs instances"><p id="control.i:IxValue" class="caption collapser" onclick="toggleSection('i:IxValue')">Instances</p><div id="section.i:IxValue" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:1" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:1')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.8.1/Data-ByteString-Lazy.html#t:ByteString">ByteString</a></span> <a href="src/Control-Lens-At.html#line-398" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:1" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.8.1/Data-ByteString-Lazy.html#t:ByteString">ByteString</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word8">Word8</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:2" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:2')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.8.1/Data-ByteString.html#t:ByteString">ByteString</a></span> <a href="src/Control-Lens-At.html#line-390" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:2" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.8.1/Data-ByteString.html#t:ByteString">ByteString</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word8">Word8</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:3" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:3')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntSet.html#t:IntSet">IntSet</a></span> <a href="src/Control-Lens-At.html#line-308" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:3" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntSet.html#t:IntSet">IntSet</a> = ()</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:4" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:4')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text-Lazy.html#t:Text">Text</a></span> <a href="src/Control-Lens-At.html#line-382" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:4" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text-Lazy.html#t:Text">Text</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Char.html#t:Char">Char</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:5" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:5')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text.html#t:Text">Text</a></span> <a href="src/Control-Lens-At.html#line-374" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:5" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text.html#t:Text">Text</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Char.html#t:Char">Char</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:6" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:6')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> [a]</span> <a href="src/Control-Lens-At.html#line-242" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:6" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> [a] = a</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:7" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:7')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</span> <a href="src/Control-Lens-At.html#line-236" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:7" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) = a</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:8" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:8')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="Control-Lens-Setter.html#t:Identity">Identity</a> a)</span> <a href="src/Control-Lens-At.html#line-259" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:8" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="Control-Lens-Setter.html#t:Identity">Identity</a> a) = a</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:9" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:9')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a)</span> <a href="src/Control-Lens-At.html#line-251" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:9" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a) = a</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:10" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:10')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntMap-Lazy.html#t:IntMap">IntMap</a> a)</span> <a href="src/Control-Lens-At.html#line-280" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:10" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntMap-Lazy.html#t:IntMap">IntMap</a> a) = a</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:11" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:11')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Tree.html#t:Tree">Tree</a> a)</span> <a href="src/Control-Lens-At.html#line-264" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:11" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Tree.html#t:Tree">Tree</a> a) = a</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:12" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:12')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Sequence.html#t:Seq">Seq</a> a)</span> <a href="src/Control-Lens-At.html#line-273" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:12" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Sequence.html#t:Seq">Seq</a> a) = a</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:13" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:13')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> k)</span> <a href="src/Control-Lens-At.html#line-301" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:13" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> k) = ()</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:14" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:14')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashSet.html#t:HashSet">HashSet</a> k)</span> <a href="src/Control-Lens-At.html#line-315" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:14" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashSet.html#t:HashSet">HashSet</a> k) = ()</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:15" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:15')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</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-At.html#line-346" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:15" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a) = a</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:16" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:16')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</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-At.html#line-360" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:16" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Storable.html#t:Vector">Vector</a> a) = a</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:17" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:17')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</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-At.html#line-367" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:17" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> a) = a</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:18" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:18')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</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-At.html#line-353" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:18" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Primitive.html#t:Vector">Vector</a> a) = a</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:19" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:19')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (e -> a)</span> <a href="src/Control-Lens-At.html#line-231" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:19" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (e -> a) = a</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:20" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:20')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (a, a2)</span> <a href="src/Control-Lens-At.html#line-510" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:20" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (a, a2) = a</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:21" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:21')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/array-0.5.1.1/Data-Array-Unboxed.html#t:UArray">UArray</a> i e)</span> <a href="src/Control-Lens-At.html#line-334" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:21" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/array-0.5.1.1/Data-Array-Unboxed.html#t:UArray">UArray</a> i e) = e</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:22" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:22')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/array-0.5.1.1/Data-Array.html#t:Array">Array</a> i e)</span> <a href="src/Control-Lens-At.html#line-322" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:22" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/array-0.5.1.1/Data-Array.html#t:Array">Array</a> i e) = e</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:23" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:23')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a> k a)</span> <a href="src/Control-Lens-At.html#line-287" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:23" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a> k a) = a</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:24" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:24')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Lazy.html#t:HashMap">HashMap</a> k a)</span> <a href="src/Control-Lens-At.html#line-294" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:24" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Lazy.html#t:HashMap">HashMap</a> k a) = a</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:25" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:25')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (a, a2, a3)</span> <a href="src/Control-Lens-At.html#line-515" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:25" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (a, a2, a3) = a</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:26" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:26')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (a, a2, a3, a4)</span> <a href="src/Control-Lens-At.html#line-520" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:26" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (a, a2, a3, a4) = a</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:27" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:27')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (a, a2, a3, a4, a5)</span> <a href="src/Control-Lens-At.html#line-525" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:27" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (a, a2, a3, a4, a5) = a</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:28" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:28')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (a, a2, a3, a4, a5, a6)</span> <a href="src/Control-Lens-At.html#line-530" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:28" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (a, a2, a3, a4, a5, a6) = a</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:29" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:29')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (a, a2, a3, a4, a5, a6, a7)</span> <a href="src/Control-Lens-At.html#line-535" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:29" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (a, a2, a3, a4, a5, a6, a7) = a</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:30" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:30')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (a, a2, a3, a4, a5, a6, a7, a8)</span> <a href="src/Control-Lens-At.html#line-540" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:30" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (a, a2, a3, a4, a5, a6, a7, a8) = a</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:IxValue:IxValue:31" class="instance expander" onclick="toggleSection('i:if:IxValue:IxValue:31')"></span> <span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (a, a2, a3, a4, a5, a6, a7, a8, a9)</span> <a href="src/Control-Lens-At.html#line-545" class="link">Source</a> <a href="#t:IxValue" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:IxValue:IxValue:31" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Control-Lens-At.html#t:IxValue">IxValue</a> (a, a2, a3, a4, a5, a6, a7, a8, a9) = a</div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:Ixed" class="def">Ixed</a> m <span class="keyword">where</span> <a href="src/Control-Lens-At.html#Ixed" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></p><div class="doc"><p>Provides a simple <code><a href="Control-Lens-Type.html#t:Traversal">Traversal</a></code> lets you <code><a href="Control-Lens-Traversal.html#v:traverse">traverse</a></code> the value at a given
key in a <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a></code> or element at an ordinal position in a list or <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Sequence.html#t:Seq">Seq</a></code>.</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:ix" class="def">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> m -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> m (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> m) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p><div class="doc"><p><em>NB:</em> Setting the value of this <code><a href="Control-Lens-Type.html#t:Traversal">Traversal</a></code> will only set the value in
<code><a href="Control-Lens-At.html#v:at">at</a></code> if it is already present.</p><p>If you want to be able to insert <em>missing</em> values, you want <code><a href="Control-Lens-At.html#v:at">at</a></code>.</p><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>Seq.fromList [a,b,c,d] & ix 2 %~ f
</code></strong>fromList [a,b,f c,d]
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>Seq.fromList [a,b,c,d] & ix 2 .~ e
</code></strong>fromList [a,b,e,d]
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>Seq.fromList [a,b,c,d] ^? ix 2
</code></strong>Just c
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>Seq.fromList [] ^? ix 2
</code></strong>Nothing
</pre></div><p class="src"><a id="v:ix" class="def">ix</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f, <a href="Control-Lens-At.html#t:At">At</a> m) => <a href="Control-Lens-At.html#t:Index">Index</a> m -> <a href="Control-Lens-Type.html#t:LensLike-39-">LensLike'</a> f m (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> m) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p><div class="doc"><p><em>NB:</em> Setting the value of this <code><a href="Control-Lens-Type.html#t:Traversal">Traversal</a></code> will only set the value in
<code><a href="Control-Lens-At.html#v:at">at</a></code> if it is already present.</p><p>If you want to be able to insert <em>missing</em> values, you want <code><a href="Control-Lens-At.html#v:at">at</a></code>.</p><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>Seq.fromList [a,b,c,d] & ix 2 %~ f
</code></strong>fromList [a,b,f c,d]
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>Seq.fromList [a,b,c,d] & ix 2 .~ e
</code></strong>fromList [a,b,e,d]
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>Seq.fromList [a,b,c,d] ^? ix 2
</code></strong>Just c
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>Seq.fromList [] ^? ix 2
</code></strong>Nothing
</pre></div></div><div class="subs instances"><p id="control.i:Ixed" class="caption collapser" onclick="toggleSection('i:Ixed')">Instances</p><div id="section.i:Ixed" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:1" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:1')"></span> <a href="Control-Lens-At.html#t:Ixed">Ixed</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.8.1/Data-ByteString-Lazy.html#t:ByteString">ByteString</a></span> <a href="src/Control-Lens-At.html#line-399" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.8.1/Data-ByteString-Lazy.html#t:ByteString">ByteString</a> -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.8.1/Data-ByteString-Lazy.html#t:ByteString">ByteString</a> (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.8.1/Data-ByteString-Lazy.html#t:ByteString">ByteString</a>) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:2" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:2')"></span> <a href="Control-Lens-At.html#t:Ixed">Ixed</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.8.1/Data-ByteString.html#t:ByteString">ByteString</a></span> <a href="src/Control-Lens-At.html#line-391" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.8.1/Data-ByteString.html#t:ByteString">ByteString</a> -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.8.1/Data-ByteString.html#t:ByteString">ByteString</a> (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.8.1/Data-ByteString.html#t:ByteString">ByteString</a>) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:3" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:3')"></span> <a href="Control-Lens-At.html#t:Ixed">Ixed</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntSet.html#t:IntSet">IntSet</a></span> <a href="src/Control-Lens-At.html#line-309" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntSet.html#t:IntSet">IntSet</a> -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntSet.html#t:IntSet">IntSet</a> (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntSet.html#t:IntSet">IntSet</a>) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:4" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:4')"></span> <a href="Control-Lens-At.html#t:Ixed">Ixed</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text-Lazy.html#t:Text">Text</a></span> <a href="src/Control-Lens-At.html#line-383" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text-Lazy.html#t:Text">Text</a> -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text-Lazy.html#t:Text">Text</a> (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text-Lazy.html#t:Text">Text</a>) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:5" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:5')"></span> <a href="Control-Lens-At.html#t:Ixed">Ixed</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text.html#t:Text">Text</a></span> <a href="src/Control-Lens-At.html#line-375" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text.html#t:Text">Text</a> -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text.html#t:Text">Text</a> (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text.html#t:Text">Text</a>) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:6" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:6')"></span> <a href="Control-Lens-At.html#t:Ixed">Ixed</a> [a]</span> <a href="src/Control-Lens-At.html#line-243" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> [a] -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> [a] (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> [a]) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:7" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:7')"></span> <a href="Control-Lens-At.html#t:Ixed">Ixed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</span> <a href="src/Control-Lens-At.html#line-237" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:8" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:8')"></span> <a href="Control-Lens-At.html#t:Ixed">Ixed</a> (<a href="Control-Lens-Setter.html#t:Identity">Identity</a> a)</span> <a href="src/Control-Lens-At.html#line-260" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="Control-Lens-Setter.html#t:Identity">Identity</a> a) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (<a href="Control-Lens-Setter.html#t:Identity">Identity</a> a) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="Control-Lens-Setter.html#t:Identity">Identity</a> a)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:9" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:9')"></span> <a href="Control-Lens-At.html#t:Ixed">Ixed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a)</span> <a href="src/Control-Lens-At.html#line-252" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:10" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:10')"></span> <a href="Control-Lens-At.html#t:Ixed">Ixed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntMap-Lazy.html#t:IntMap">IntMap</a> a)</span> <a href="src/Control-Lens-At.html#line-281" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntMap-Lazy.html#t:IntMap">IntMap</a> a) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntMap-Lazy.html#t:IntMap">IntMap</a> a) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntMap-Lazy.html#t:IntMap">IntMap</a> a)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:11" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:11')"></span> <a href="Control-Lens-At.html#t:Ixed">Ixed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Tree.html#t:Tree">Tree</a> a)</span> <a href="src/Control-Lens-At.html#line-265" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:11" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Tree.html#t:Tree">Tree</a> a) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Tree.html#t:Tree">Tree</a> a) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Tree.html#t:Tree">Tree</a> a)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:12" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:12')"></span> <a href="Control-Lens-At.html#t:Ixed">Ixed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Sequence.html#t:Seq">Seq</a> a)</span> <a href="src/Control-Lens-At.html#line-274" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:12" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Sequence.html#t:Seq">Seq</a> a) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Sequence.html#t:Seq">Seq</a> a) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Sequence.html#t:Seq">Seq</a> a)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:13" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:13')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> k => <a href="Control-Lens-At.html#t:Ixed">Ixed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> k)</span> <a href="src/Control-Lens-At.html#line-302" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:13" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> k) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> k) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> k)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:14" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:14')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> k, <a href="file:///usr/share/doc/libghc-hashable-doc/html/Data-Hashable.html#t:Hashable">Hashable</a> k) => <a href="Control-Lens-At.html#t:Ixed">Ixed</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashSet.html#t:HashSet">HashSet</a> k)</span> <a href="src/Control-Lens-At.html#line-316" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:14" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashSet.html#t:HashSet">HashSet</a> k) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashSet.html#t:HashSet">HashSet</a> k) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashSet.html#t:HashSet">HashSet</a> k)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:15" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:15')"></span> <a href="Control-Lens-At.html#t:Ixed">Ixed</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-At.html#line-347" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:15" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:16" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:16')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Foreign-Storable.html#t:Storable">Storable</a> a => <a href="Control-Lens-At.html#t:Ixed">Ixed</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-At.html#line-361" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:16" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Storable.html#t:Vector">Vector</a> a) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Storable.html#t:Vector">Vector</a> a) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Storable.html#t:Vector">Vector</a> a)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:17" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:17')"></span> <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed-Mutable.html#t:Unbox">Unbox</a> a => <a href="Control-Lens-At.html#t:Ixed">Ixed</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-At.html#line-368" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:17" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> a) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> a) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> a)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:18" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:18')"></span> <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Primitive-Mutable.html#t:Prim">Prim</a> a => <a href="Control-Lens-At.html#t:Ixed">Ixed</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-At.html#line-354" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:18" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Primitive.html#t:Vector">Vector</a> a) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Primitive.html#t:Vector">Vector</a> a) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Primitive.html#t:Vector">Vector</a> a)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:19" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:19')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> e => <a href="Control-Lens-At.html#t:Ixed">Ixed</a> (e -> a)</span> <a href="src/Control-Lens-At.html#line-232" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:19" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (e -> a) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (e -> a) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (e -> a)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:20" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:20')"></span> (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a2 => <a href="Control-Lens-At.html#t:Ixed">Ixed</a> (a, a2)</span> <a href="src/Control-Lens-At.html#line-511" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:20" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (a, a2) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (a, a2) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (a, a2)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:21" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:21')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/array-0.5.1.1/Data-Array-IArray.html#t:IArray">IArray</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/array-0.5.1.1/Data-Array-Unboxed.html#t:UArray">UArray</a> e, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ix.html#t:Ix">Ix</a> i) => <a href="Control-Lens-At.html#t:Ixed">Ixed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/array-0.5.1.1/Data-Array-Unboxed.html#t:UArray">UArray</a> i e)</span> <a href="src/Control-Lens-At.html#line-340" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc"><pre>arr <code><a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Lazy.html#v:-33-">!</a></code> i ≡ arr <code><a href="Control-Lens-Getter.html#v:-94-.">^.</a></code> <code><a href="Control-Lens-At.html#v:ix">ix</a></code> i
arr <code><a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#v:-47--47-">//</a></code> [(i,e)] ≡ <code><a href="Control-Lens-At.html#v:ix">ix</a></code> i <code><a href="Control-Lens-Setter.html#v:.-126-">.~</a></code> e <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Function.html#v:-36-">$</a></code> arr
</pre></td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:21" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/array-0.5.1.1/Data-Array-Unboxed.html#t:UArray">UArray</a> i e) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/array-0.5.1.1/Data-Array-Unboxed.html#t:UArray">UArray</a> i e) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/array-0.5.1.1/Data-Array-Unboxed.html#t:UArray">UArray</a> i e)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:22" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:22')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ix.html#t:Ix">Ix</a> i => <a href="Control-Lens-At.html#t:Ixed">Ixed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/array-0.5.1.1/Data-Array.html#t:Array">Array</a> i e)</span> <a href="src/Control-Lens-At.html#line-328" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc"><pre>arr <code><a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Lazy.html#v:-33-">!</a></code> i ≡ arr <code><a href="Control-Lens-Getter.html#v:-94-.">^.</a></code> <code><a href="Control-Lens-At.html#v:ix">ix</a></code> i
arr <code><a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#v:-47--47-">//</a></code> [(i,e)] ≡ <code><a href="Control-Lens-At.html#v:ix">ix</a></code> i <code><a href="Control-Lens-Setter.html#v:.-126-">.~</a></code> e <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Function.html#v:-36-">$</a></code> arr
</pre></td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:22" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/array-0.5.1.1/Data-Array.html#t:Array">Array</a> i e) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/array-0.5.1.1/Data-Array.html#t:Array">Array</a> i e) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/array-0.5.1.1/Data-Array.html#t:Array">Array</a> i e)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:23" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:23')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> k => <a href="Control-Lens-At.html#t:Ixed">Ixed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a> k a)</span> <a href="src/Control-Lens-At.html#line-288" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:23" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a> k a) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a> k a) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a> k a)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:24" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:24')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> k, <a href="file:///usr/share/doc/libghc-hashable-doc/html/Data-Hashable.html#t:Hashable">Hashable</a> k) => <a href="Control-Lens-At.html#t:Ixed">Ixed</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Lazy.html#t:HashMap">HashMap</a> k a)</span> <a href="src/Control-Lens-At.html#line-295" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:24" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Lazy.html#t:HashMap">HashMap</a> k a) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Lazy.html#t:HashMap">HashMap</a> k a) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Lazy.html#t:HashMap">HashMap</a> k a)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:25" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:25')"></span> ((~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a2, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a3) => <a href="Control-Lens-At.html#t:Ixed">Ixed</a> (a, a2, a3)</span> <a href="src/Control-Lens-At.html#line-516" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:25" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (a, a2, a3) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (a, a2, a3) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (a, a2, a3)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:26" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:26')"></span> ((~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a2, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a3, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a4) => <a href="Control-Lens-At.html#t:Ixed">Ixed</a> (a, a2, a3, a4)</span> <a href="src/Control-Lens-At.html#line-521" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:26" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (a, a2, a3, a4) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (a, a2, a3, a4) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (a, a2, a3, a4)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:27" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:27')"></span> ((~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a2, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a3, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a4, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a5) => <a href="Control-Lens-At.html#t:Ixed">Ixed</a> (a, a2, a3, a4, a5)</span> <a href="src/Control-Lens-At.html#line-526" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:27" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (a, a2, a3, a4, a5) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (a, a2, a3, a4, a5) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (a, a2, a3, a4, a5)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:28" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:28')"></span> ((~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a2, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a3, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a4, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a5, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a6) => <a href="Control-Lens-At.html#t:Ixed">Ixed</a> (a, a2, a3, a4, a5, a6)</span> <a href="src/Control-Lens-At.html#line-531" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:28" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (a, a2, a3, a4, a5, a6) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (a, a2, a3, a4, a5, a6) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (a, a2, a3, a4, a5, a6)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:29" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:29')"></span> ((~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a2, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a3, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a4, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a5, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a6, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a7) => <a href="Control-Lens-At.html#t:Ixed">Ixed</a> (a, a2, a3, a4, a5, a6, a7)</span> <a href="src/Control-Lens-At.html#line-536" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:29" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (a, a2, a3, a4, a5, a6, a7) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (a, a2, a3, a4, a5, a6, a7) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (a, a2, a3, a4, a5, a6, a7)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:30" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:30')"></span> ((~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a2, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a3, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a4, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a5, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a6, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a7, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a8) => <a href="Control-Lens-At.html#t:Ixed">Ixed</a> (a, a2, a3, a4, a5, a6, a7, a8)</span> <a href="src/Control-Lens-At.html#line-541" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:30" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (a, a2, a3, a4, a5, a6, a7, a8) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (a, a2, a3, a4, a5, a6, a7, a8) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (a, a2, a3, a4, a5, a6, a7, a8)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Ixed:Ixed:31" class="instance expander" onclick="toggleSection('i:ic:Ixed:Ixed:31')"></span> ((~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a2, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a3, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a4, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a5, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a6, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a7, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a8, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a a9) => <a href="Control-Lens-At.html#t:Ixed">Ixed</a> (a, a2, a3, a4, a5, a6, a7, a8, a9)</span> <a href="src/Control-Lens-At.html#line-546" class="link">Source</a> <a href="#t:Ixed" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Ixed:Ixed:31" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (a, a2, a3, a4, a5, a6, a7, a8, a9) -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (a, a2, a3, a4, a5, a6, a7, a8, a9) (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> (a, a2, a3, a4, a5, a6, a7, a8, a9)) <a href="src/Control-Lens-At.html#ix" class="link">Source</a> <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:ixAt" class="def">ixAt</a> :: <a href="Control-Lens-At.html#t:At">At</a> m => <a href="Control-Lens-At.html#t:Index">Index</a> m -> <a href="Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> m (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> m) <a href="src/Control-Lens-At.html#ixAt" class="link">Source</a> <a href="#v:ixAt" class="selflink">#</a></p><div class="doc"><p>A definition of <code><a href="Control-Lens-At.html#v:ix">ix</a></code> for types with an <code><a href="Control-Lens-At.html#t:At">At</a></code> instance. This is the default
if you don't specify a definition for <code><a href="Control-Lens-At.html#v:ix">ix</a></code>.</p></div></div><div class="top"><p class="src"><a id="v:iix" class="def">iix</a> :: <a href="Control-Lens-At.html#t:Ixed">Ixed</a> m => <a href="Control-Lens-At.html#t:Index">Index</a> m -> <a href="Control-Lens-Type.html#t:IndexedTraversal-39-">IndexedTraversal'</a> (<a href="Control-Lens-At.html#t:Index">Index</a> m) m (<a href="Control-Lens-At.html#t:IxValue">IxValue</a> m) <a href="src/Control-Lens-At.html#iix" class="link">Source</a> <a href="#v:iix" class="selflink">#</a></p><div class="doc"><p>An indexed version of <code><a href="Control-Lens-At.html#v:ix">ix</a></code>.</p><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>Seq.fromList [a,b,c,d] & iix 2 %@~ f'
</code></strong>fromList [a,b,f' 2 c,d]
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>Seq.fromList [a,b,c,d] & iix 2 .@~ h
</code></strong>fromList [a,b,h 2,d]
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>Seq.fromList [a,b,c,d] ^@? iix 2
</code></strong>Just (2,c)
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>Seq.fromList [] ^@? iix 2
</code></strong>Nothing
</pre></div></div><h1 id="g:3">Contains</h1><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:Contains" class="def">Contains</a> m <span class="keyword">where</span> <a href="src/Control-Lens-At.html#Contains" class="link">Source</a> <a href="#t:Contains" class="selflink">#</a></p><div class="doc"><p>This class provides a simple <code><a href="Control-Lens-Type.html#t:Lens">Lens</a></code> that lets you view (and modify)
information about whether or not a container contains a given <code><a href="Control-Lens-At.html#t:Index">Index</a></code>.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Control-Lens-At.html#v:contains">contains</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:contains" class="def">contains</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> m -> <a href="Control-Lens-Type.html#t:Lens-39-">Lens'</a> m <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Control-Lens-At.html#contains" class="link">Source</a> <a href="#v:contains" class="selflink">#</a></p><div class="doc"><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>IntSet.fromList [1,2,3,4] ^. contains 3
</code></strong>True
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>IntSet.fromList [1,2,3,4] ^. contains 5
</code></strong>False
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>IntSet.fromList [1,2,3,4] & contains 3 .~ False
</code></strong>fromList [1,2,4]
</pre></div></div><div class="subs instances"><p id="control.i:Contains" class="caption collapser" onclick="toggleSection('i:Contains')">Instances</p><div id="section.i:Contains" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Contains:Contains:1" class="instance expander" onclick="toggleSection('i:ic:Contains:Contains:1')"></span> <a href="Control-Lens-At.html#t:Contains">Contains</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntSet.html#t:IntSet">IntSet</a></span> <a href="src/Control-Lens-At.html#line-165" class="link">Source</a> <a href="#t:Contains" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Contains:Contains:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:contains">contains</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntSet.html#t:IntSet">IntSet</a> -> <a href="Control-Lens-Type.html#t:Lens-39-">Lens'</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntSet.html#t:IntSet">IntSet</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Control-Lens-At.html#contains" class="link">Source</a> <a href="#v:contains" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Contains:Contains:2" class="instance expander" onclick="toggleSection('i:ic:Contains:Contains:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Control-Lens-At.html#t:Contains">Contains</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a)</span> <a href="src/Control-Lens-At.html#line-170" class="link">Source</a> <a href="#t:Contains" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Contains:Contains:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:contains">contains</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) -> <a href="Control-Lens-Type.html#t:Lens-39-">Lens'</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Control-Lens-At.html#contains" class="link">Source</a> <a href="#v:contains" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Contains:Contains:3" class="instance expander" onclick="toggleSection('i:ic:Contains:Contains:3')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> a, <a href="file:///usr/share/doc/libghc-hashable-doc/html/Data-Hashable.html#t:Hashable">Hashable</a> a) => <a href="Control-Lens-At.html#t:Contains">Contains</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-At.html#line-175" class="link">Source</a> <a href="#t:Contains" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Contains:Contains:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:contains">contains</a> :: <a href="Control-Lens-At.html#t:Index">Index</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashSet.html#t:HashSet">HashSet</a> a) -> <a href="Control-Lens-Type.html#t:Lens-39-">Lens'</a> (<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/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Control-Lens-At.html#contains" class="link">Source</a> <a href="#v:contains" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:icontains" class="def">icontains</a> :: <a href="Control-Lens-At.html#t:Contains">Contains</a> m => <a href="Control-Lens-At.html#t:Index">Index</a> m -> <a href="Control-Lens-Type.html#t:IndexedLens-39-">IndexedLens'</a> (<a href="Control-Lens-At.html#t:Index">Index</a> m) m <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Control-Lens-At.html#icontains" class="link">Source</a> <a href="#v:icontains" class="selflink">#</a></p><div class="doc"><p>An indexed version of <code><a href="Control-Lens-At.html#v:contains">contains</a></code>.</p><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>IntSet.fromList [1,2,3,4] ^@. icontains 3
</code></strong>(3,True)
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>IntSet.fromList [1,2,3,4] ^@. icontains 5
</code></strong>(5,False)
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>IntSet.fromList [1,2,3,4] & icontains 3 %@~ \i x -> if odd i then not x else x
</code></strong>fromList [1,2,4]
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>IntSet.fromList [1,2,3,4] & icontains 3 %@~ \i x -> if even i then not x else x
</code></strong>fromList [1,2,3,4]
</pre></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.3</p></div></body></html>
|