/usr/share/doc/libghc-lens-doc/html/Control-Lens-Tuple.html is in libghc-lens-doc 4.14-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 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 | <!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.Tuple</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-Tuple.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Tuple.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.14: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Copyright</th><td>(C) 2012-16 Edward Kmett</td></tr><tr><th>License</th><td>BSD-style (see the file LICENSE)</td></tr><tr><th>Maintainer</th><td>Edward Kmett <ekmett@gmail.com></td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell98</td></tr></table><p class="caption">Control.Lens.Tuple</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Tuples</a></li><li><a href="#g:2">Strict variations</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="#t:Field1">Field1</a> s t a b | s -> a, t -> b, s b -> t, t a -> s <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><span class="keyword">class</span> <a href="#t:Field2">Field2</a> s t a b | s -> a, t -> b, s b -> t, t a -> s <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><span class="keyword">class</span> <a href="#t:Field3">Field3</a> s t a b | s -> a, t -> b, s b -> t, t a -> s <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><span class="keyword">class</span> <a href="#t:Field4">Field4</a> s t a b | s -> a, t -> b, s b -> t, t a -> s <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><span class="keyword">class</span> <a href="#t:Field5">Field5</a> s t a b | s -> a, t -> b, s b -> t, t a -> s <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><span class="keyword">class</span> <a href="#t:Field6">Field6</a> s t a b | s -> a, t -> b, s b -> t, t a -> s <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><span class="keyword">class</span> <a href="#t:Field7">Field7</a> s t a b | s -> a, t -> b, s b -> t, t a -> s <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><span class="keyword">class</span> <a href="#t:Field8">Field8</a> s t a b | s -> a, t -> b, s b -> t, t a -> s <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><span class="keyword">class</span> <a href="#t:Field9">Field9</a> s t a b | s -> a, t -> b, s b -> t, t a -> s <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><a href="#v:_1-39-">_1'</a> :: <a href="Control-Lens-Tuple.html#t:Field1">Field1</a> s t a b => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b</li><li class="src short"><a href="#v:_2-39-">_2'</a> :: <a href="Control-Lens-Tuple.html#t:Field2">Field2</a> s t a b => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b</li><li class="src short"><a href="#v:_3-39-">_3'</a> :: <a href="Control-Lens-Tuple.html#t:Field3">Field3</a> s t a b => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b</li><li class="src short"><a href="#v:_4-39-">_4'</a> :: <a href="Control-Lens-Tuple.html#t:Field4">Field4</a> s t a b => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b</li><li class="src short"><a href="#v:_5-39-">_5'</a> :: <a href="Control-Lens-Tuple.html#t:Field5">Field5</a> s t a b => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b</li><li class="src short"><a href="#v:_6-39-">_6'</a> :: <a href="Control-Lens-Tuple.html#t:Field6">Field6</a> s t a b => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b</li><li class="src short"><a href="#v:_7-39-">_7'</a> :: <a href="Control-Lens-Tuple.html#t:Field7">Field7</a> s t a b => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b</li><li class="src short"><a href="#v:_8-39-">_8'</a> :: <a href="Control-Lens-Tuple.html#t:Field8">Field8</a> s t a b => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b</li><li class="src short"><a href="#v:_9-39-">_9'</a> :: <a href="Control-Lens-Tuple.html#t:Field9">Field9</a> s t a b => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b</li></ul></div><div id="interface"><h1 id="g:1">Tuples</h1><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:Field1" class="def">Field1</a> s t a b | s -> a, t -> b, s b -> t, t a -> s <span class="keyword">where</span> <a href="src/Control-Lens-Tuple.html#Field1" class="link">Source</a> <a href="#t:Field1" class="selflink">#</a></p><div class="doc"><p>Provides access to 1st field of a tuple.</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:_1" class="def">_1</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_1" class="link">Source</a> <a href="#v:_1" class="selflink">#</a></p><div class="doc"><p>Access the 1st field of a tuple (and possibly change its type).</p><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>(1,2)^._1
</code></strong>1
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>_1 .~ "hello" $ (1,2)
</code></strong>("hello",2)
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>(1,2) & _1 .~ "hello"
</code></strong>("hello",2)
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>_1 putStrLn ("hello","world")
</code></strong>hello
((),"world")
</pre><p>This can also be used on larger tuples as well:</p><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>(1,2,3,4,5) & _1 +~ 41
</code></strong>(42,2,3,4,5)
</pre><pre><code><a href="Control-Lens-Tuple.html#v:_1">_1</a></code> :: <code><a href="Control-Lens-Type.html#t:Lens">Lens</a></code> (a,b) (a',b) a a'
<code><a href="Control-Lens-Tuple.html#v:_1">_1</a></code> :: <code><a href="Control-Lens-Type.html#t:Lens">Lens</a></code> (a,b,c) (a',b,c) a a'
<code><a href="Control-Lens-Tuple.html#v:_1">_1</a></code> :: <code><a href="Control-Lens-Type.html#t:Lens">Lens</a></code> (a,b,c,d) (a',b,c,d) a a'
...
<code><a href="Control-Lens-Tuple.html#v:_1">_1</a></code> :: <code><a href="Control-Lens-Type.html#t:Lens">Lens</a></code> (a,b,c,d,e,f,g,h,i) (a',b,c,d,e,f,g,h,i) a a'
</pre></div><p class="src"><a id="v:_1" class="def">_1</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Generic">Generic</a> s, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Generic">Generic</a> t, GIxed N0 (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep">Rep</a> s) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep">Rep</a> t) a b) => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_1" class="link">Source</a> <a href="#v:_1" class="selflink">#</a></p><div class="doc"><p>Access the 1st field of a tuple (and possibly change its type).</p><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>(1,2)^._1
</code></strong>1
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>_1 .~ "hello" $ (1,2)
</code></strong>("hello",2)
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>(1,2) & _1 .~ "hello"
</code></strong>("hello",2)
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>_1 putStrLn ("hello","world")
</code></strong>hello
((),"world")
</pre><p>This can also be used on larger tuples as well:</p><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>(1,2,3,4,5) & _1 +~ 41
</code></strong>(42,2,3,4,5)
</pre><pre><code><a href="Control-Lens-Tuple.html#v:_1">_1</a></code> :: <code><a href="Control-Lens-Type.html#t:Lens">Lens</a></code> (a,b) (a',b) a a'
<code><a href="Control-Lens-Tuple.html#v:_1">_1</a></code> :: <code><a href="Control-Lens-Type.html#t:Lens">Lens</a></code> (a,b,c) (a',b,c) a a'
<code><a href="Control-Lens-Tuple.html#v:_1">_1</a></code> :: <code><a href="Control-Lens-Type.html#t:Lens">Lens</a></code> (a,b,c,d) (a',b,c,d) a a'
...
<code><a href="Control-Lens-Tuple.html#v:_1">_1</a></code> :: <code><a href="Control-Lens-Type.html#t:Lens">Lens</a></code> (a,b,c,d,e,f,g,h,i) (a',b,c,d,e,f,g,h,i) a a'
</pre></div></div><div class="subs instances"><p id="control.i:Field1" class="caption collapser" onclick="toggleSection('i:Field1')">Instances</p><div id="section.i:Field1" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field1:Field1:1" class="instance expander" onclick="toggleSection('i:ic:Field1:Field1:1')"></span> <a href="Control-Lens-Tuple.html#t:Field1">Field1</a> (<a href="Control-Lens-Setter.html#t:Identity">Identity</a> a) (<a href="Control-Lens-Setter.html#t:Identity">Identity</a> b) a b</span> <a href="src/Control-Lens-Tuple.html#line-95" class="link">Source</a> <a href="#t:Field1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field1:Field1:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_1">_1</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (<a href="Control-Lens-Setter.html#t:Identity">Identity</a> a) (<a href="Control-Lens-Setter.html#t:Identity">Identity</a> b) a b <a href="src/Control-Lens-Tuple.html#_1" class="link">Source</a> <a href="#v:_1" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field1:Field1:2" class="instance expander" onclick="toggleSection('i:ic:Field1:Field1:2')"></span> <a href="Control-Lens-Tuple.html#t:Field1">Field1</a> (a, b) (a', b) a a'</span> <a href="src/Control-Lens-Tuple.html#line-107" class="link">Source</a> <a href="#t:Field1" class="selflink">#</a></td><td class="doc"><pre><code><a href="Control-Lens-Tuple.html#v:_1">_1</a></code> k ~(a,b) = (\a' -> (a',b)) <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor.html#v:-60--36--62-"><$></a></code> k a
</pre></td></tr><tr><td colspan="2"><div id="section.i:ic:Field1:Field1:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_1">_1</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b) (a', b) a a' <a href="src/Control-Lens-Tuple.html#_1" class="link">Source</a> <a href="#v:_1" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field1:Field1:3" class="instance expander" onclick="toggleSection('i:ic:Field1:Field1:3')"></span> <a href="Control-Lens-Tuple.html#t:Field1">Field1</a> (a, b, c) (a', b, c) a a'</span> <a href="src/Control-Lens-Tuple.html#line-111" class="link">Source</a> <a href="#t:Field1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field1:Field1:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_1">_1</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c) (a', b, c) a a' <a href="src/Control-Lens-Tuple.html#_1" class="link">Source</a> <a href="#v:_1" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field1:Field1:4" class="instance expander" onclick="toggleSection('i:ic:Field1:Field1:4')"></span> <a href="Control-Lens-Tuple.html#t:Field1">Field1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t::-42-:">(:*:)</a> f g p) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t::-42-:">(:*:)</a> f' g p) (f p) (f' p)</span> <a href="src/Control-Lens-Tuple.html#line-101" class="link">Source</a> <a href="#t:Field1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field1:Field1:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_1">_1</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> ((f <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t::-42-:">:*:</a> g) p) ((f' <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t::-42-:">:*:</a> g) p) (f p) (f' p) <a href="src/Control-Lens-Tuple.html#_1" class="link">Source</a> <a href="#v:_1" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field1:Field1:5" class="instance expander" onclick="toggleSection('i:ic:Field1:Field1:5')"></span> <a href="Control-Lens-Tuple.html#t:Field1">Field1</a> (a, b, c, d) (a', b, c, d) a a'</span> <a href="src/Control-Lens-Tuple.html#line-115" class="link">Source</a> <a href="#t:Field1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field1:Field1:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_1">_1</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d) (a', b, c, d) a a' <a href="src/Control-Lens-Tuple.html#_1" class="link">Source</a> <a href="#v:_1" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field1:Field1:6" class="instance expander" onclick="toggleSection('i:ic:Field1:Field1:6')"></span> <a href="Control-Lens-Tuple.html#t:Field1">Field1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> f g a) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> f' g a) (f a) (f' a)</span> <a href="src/Control-Lens-Tuple.html#line-98" class="link">Source</a> <a href="#t:Field1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field1:Field1:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_1">_1</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> f g a) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> f' g a) (f a) (f' a) <a href="src/Control-Lens-Tuple.html#_1" class="link">Source</a> <a href="#v:_1" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field1:Field1:7" class="instance expander" onclick="toggleSection('i:ic:Field1:Field1:7')"></span> <a href="Control-Lens-Tuple.html#t:Field1">Field1</a> (a, b, c, d, e) (a', b, c, d, e) a a'</span> <a href="src/Control-Lens-Tuple.html#line-119" class="link">Source</a> <a href="#t:Field1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field1:Field1:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_1">_1</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e) (a', b, c, d, e) a a' <a href="src/Control-Lens-Tuple.html#_1" class="link">Source</a> <a href="#v:_1" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field1:Field1:8" class="instance expander" onclick="toggleSection('i:ic:Field1:Field1:8')"></span> <a href="Control-Lens-Tuple.html#t:Field1">Field1</a> (a, b, c, d, e, f) (a', b, c, d, e, f) a a'</span> <a href="src/Control-Lens-Tuple.html#line-123" class="link">Source</a> <a href="#t:Field1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field1:Field1:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_1">_1</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f) (a', b, c, d, e, f) a a' <a href="src/Control-Lens-Tuple.html#_1" class="link">Source</a> <a href="#v:_1" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field1:Field1:9" class="instance expander" onclick="toggleSection('i:ic:Field1:Field1:9')"></span> <a href="Control-Lens-Tuple.html#t:Field1">Field1</a> (a, b, c, d, e, f, g) (a', b, c, d, e, f, g) a a'</span> <a href="src/Control-Lens-Tuple.html#line-127" class="link">Source</a> <a href="#t:Field1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field1:Field1:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_1">_1</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f, g) (a', b, c, d, e, f, g) a a' <a href="src/Control-Lens-Tuple.html#_1" class="link">Source</a> <a href="#v:_1" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field1:Field1:10" class="instance expander" onclick="toggleSection('i:ic:Field1:Field1:10')"></span> <a href="Control-Lens-Tuple.html#t:Field1">Field1</a> (a, b, c, d, e, f, g, h) (a', b, c, d, e, f, g, h) a a'</span> <a href="src/Control-Lens-Tuple.html#line-131" class="link">Source</a> <a href="#t:Field1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field1:Field1:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_1">_1</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f, g, h) (a', b, c, d, e, f, g, h) a a' <a href="src/Control-Lens-Tuple.html#_1" class="link">Source</a> <a href="#v:_1" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field1:Field1:11" class="instance expander" onclick="toggleSection('i:ic:Field1:Field1:11')"></span> <a href="Control-Lens-Tuple.html#t:Field1">Field1</a> (a, b, c, d, e, f, g, h, i) (a', b, c, d, e, f, g, h, i) a a'</span> <a href="src/Control-Lens-Tuple.html#line-135" class="link">Source</a> <a href="#t:Field1" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field1:Field1:11" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_1">_1</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f, g, h, i) (a', b, c, d, e, f, g, h, i) a a' <a href="src/Control-Lens-Tuple.html#_1" class="link">Source</a> <a href="#v:_1" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:Field2" class="def">Field2</a> s t a b | s -> a, t -> b, s b -> t, t a -> s <span class="keyword">where</span> <a href="src/Control-Lens-Tuple.html#Field2" class="link">Source</a> <a href="#t:Field2" class="selflink">#</a></p><div class="doc"><p>Provides access to the 2nd field of a tuple.</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:_2" class="def">_2</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_2" class="link">Source</a> <a href="#v:_2" class="selflink">#</a></p><div class="doc"><p>Access the 2nd field of a tuple.</p><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>_2 .~ "hello" $ (1,(),3,4)
</code></strong>(1,"hello",3,4)
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>(1,2,3,4) & _2 *~ 3
</code></strong>(1,6,3,4)
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>_2 print (1,2)
</code></strong>2
(1,())
</pre><pre><code><a href="Control-Lens-Fold.html#v:anyOf">anyOf</a></code> <code><a href="Control-Lens-Tuple.html#v:_2">_2</a></code> :: (s -> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a></code>) -> (a, s) -> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a></code>
<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Traversable.html#v:traverse">traverse</a></code> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Function.html#v:.">.</a></code> <code><a href="Control-Lens-Tuple.html#v:_2">_2</a></code> :: (<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Applicative.html#v:Applicative">Applicative</a></code> f, <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Traversable.html#v:Traversable">Traversable</a></code> t) => (a -> f b) -> t (s, a) -> f (t (s, b))
<code><a href="Control-Lens-Fold.html#v:foldMapOf">foldMapOf</a></code> (<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Traversable.html#v:traverse">traverse</a></code> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Function.html#v:.">.</a></code> <code><a href="Control-Lens-Tuple.html#v:_2">_2</a></code>) :: (<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Traversable.html#v:Traversable">Traversable</a></code> t, <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Monoid.html#v:Monoid">Monoid</a></code> m) => (s -> m) -> t (b, s) -> m
</pre></div><p class="src"><a id="v:_2" class="def">_2</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Generic">Generic</a> s, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Generic">Generic</a> t, GIxed N1 (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep">Rep</a> s) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep">Rep</a> t) a b) => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_2" class="link">Source</a> <a href="#v:_2" class="selflink">#</a></p><div class="doc"><p>Access the 2nd field of a tuple.</p><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>_2 .~ "hello" $ (1,(),3,4)
</code></strong>(1,"hello",3,4)
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>(1,2,3,4) & _2 *~ 3
</code></strong>(1,6,3,4)
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>_2 print (1,2)
</code></strong>2
(1,())
</pre><pre><code><a href="Control-Lens-Fold.html#v:anyOf">anyOf</a></code> <code><a href="Control-Lens-Tuple.html#v:_2">_2</a></code> :: (s -> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a></code>) -> (a, s) -> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a></code>
<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Traversable.html#v:traverse">traverse</a></code> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Function.html#v:.">.</a></code> <code><a href="Control-Lens-Tuple.html#v:_2">_2</a></code> :: (<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Applicative.html#v:Applicative">Applicative</a></code> f, <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Traversable.html#v:Traversable">Traversable</a></code> t) => (a -> f b) -> t (s, a) -> f (t (s, b))
<code><a href="Control-Lens-Fold.html#v:foldMapOf">foldMapOf</a></code> (<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Traversable.html#v:traverse">traverse</a></code> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Function.html#v:.">.</a></code> <code><a href="Control-Lens-Tuple.html#v:_2">_2</a></code>) :: (<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Traversable.html#v:Traversable">Traversable</a></code> t, <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Monoid.html#v:Monoid">Monoid</a></code> m) => (s -> m) -> t (b, s) -> m
</pre></div></div><div class="subs instances"><p id="control.i:Field2" class="caption collapser" onclick="toggleSection('i:Field2')">Instances</p><div id="section.i:Field2" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field2:Field2:1" class="instance expander" onclick="toggleSection('i:ic:Field2:Field2:1')"></span> <a href="Control-Lens-Tuple.html#t:Field2">Field2</a> (a, b) (a, b') b b'</span> <a href="src/Control-Lens-Tuple.html#line-173" class="link">Source</a> <a href="#t:Field2" class="selflink">#</a></td><td class="doc"><pre><code><a href="Control-Lens-Tuple.html#v:_2">_2</a></code> k ~(a,b) = (\b' -> (a,b')) <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor.html#v:-60--36--62-"><$></a></code> k b
</pre></td></tr><tr><td colspan="2"><div id="section.i:ic:Field2:Field2:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_2">_2</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b) (a, b') b b' <a href="src/Control-Lens-Tuple.html#_2" class="link">Source</a> <a href="#v:_2" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field2:Field2:2" class="instance expander" onclick="toggleSection('i:ic:Field2:Field2:2')"></span> <a href="Control-Lens-Tuple.html#t:Field2">Field2</a> (a, b, c) (a, b', c) b b'</span> <a href="src/Control-Lens-Tuple.html#line-177" class="link">Source</a> <a href="#t:Field2" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field2:Field2:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_2">_2</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c) (a, b', c) b b' <a href="src/Control-Lens-Tuple.html#_2" class="link">Source</a> <a href="#v:_2" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field2:Field2:3" class="instance expander" onclick="toggleSection('i:ic:Field2:Field2:3')"></span> <a href="Control-Lens-Tuple.html#t:Field2">Field2</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t::-42-:">(:*:)</a> f g p) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t::-42-:">(:*:)</a> f g' p) (g p) (g' p)</span> <a href="src/Control-Lens-Tuple.html#line-167" class="link">Source</a> <a href="#t:Field2" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field2:Field2:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_2">_2</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> ((f <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t::-42-:">:*:</a> g) p) ((f <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t::-42-:">:*:</a> g') p) (g p) (g' p) <a href="src/Control-Lens-Tuple.html#_2" class="link">Source</a> <a href="#v:_2" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field2:Field2:4" class="instance expander" onclick="toggleSection('i:ic:Field2:Field2:4')"></span> <a href="Control-Lens-Tuple.html#t:Field2">Field2</a> (a, b, c, d) (a, b', c, d) b b'</span> <a href="src/Control-Lens-Tuple.html#line-181" class="link">Source</a> <a href="#t:Field2" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field2:Field2:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_2">_2</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d) (a, b', c, d) b b' <a href="src/Control-Lens-Tuple.html#_2" class="link">Source</a> <a href="#v:_2" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field2:Field2:5" class="instance expander" onclick="toggleSection('i:ic:Field2:Field2:5')"></span> <a href="Control-Lens-Tuple.html#t:Field2">Field2</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> f g a) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> f g' a) (g a) (g' a)</span> <a href="src/Control-Lens-Tuple.html#line-164" class="link">Source</a> <a href="#t:Field2" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field2:Field2:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_2">_2</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> f g a) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> f g' a) (g a) (g' a) <a href="src/Control-Lens-Tuple.html#_2" class="link">Source</a> <a href="#v:_2" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field2:Field2:6" class="instance expander" onclick="toggleSection('i:ic:Field2:Field2:6')"></span> <a href="Control-Lens-Tuple.html#t:Field2">Field2</a> (a, b, c, d, e) (a, b', c, d, e) b b'</span> <a href="src/Control-Lens-Tuple.html#line-185" class="link">Source</a> <a href="#t:Field2" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field2:Field2:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_2">_2</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e) (a, b', c, d, e) b b' <a href="src/Control-Lens-Tuple.html#_2" class="link">Source</a> <a href="#v:_2" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field2:Field2:7" class="instance expander" onclick="toggleSection('i:ic:Field2:Field2:7')"></span> <a href="Control-Lens-Tuple.html#t:Field2">Field2</a> (a, b, c, d, e, f) (a, b', c, d, e, f) b b'</span> <a href="src/Control-Lens-Tuple.html#line-189" class="link">Source</a> <a href="#t:Field2" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field2:Field2:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_2">_2</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f) (a, b', c, d, e, f) b b' <a href="src/Control-Lens-Tuple.html#_2" class="link">Source</a> <a href="#v:_2" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field2:Field2:8" class="instance expander" onclick="toggleSection('i:ic:Field2:Field2:8')"></span> <a href="Control-Lens-Tuple.html#t:Field2">Field2</a> (a, b, c, d, e, f, g) (a, b', c, d, e, f, g) b b'</span> <a href="src/Control-Lens-Tuple.html#line-193" class="link">Source</a> <a href="#t:Field2" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field2:Field2:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_2">_2</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f, g) (a, b', c, d, e, f, g) b b' <a href="src/Control-Lens-Tuple.html#_2" class="link">Source</a> <a href="#v:_2" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field2:Field2:9" class="instance expander" onclick="toggleSection('i:ic:Field2:Field2:9')"></span> <a href="Control-Lens-Tuple.html#t:Field2">Field2</a> (a, b, c, d, e, f, g, h) (a, b', c, d, e, f, g, h) b b'</span> <a href="src/Control-Lens-Tuple.html#line-197" class="link">Source</a> <a href="#t:Field2" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field2:Field2:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_2">_2</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f, g, h) (a, b', c, d, e, f, g, h) b b' <a href="src/Control-Lens-Tuple.html#_2" class="link">Source</a> <a href="#v:_2" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field2:Field2:10" class="instance expander" onclick="toggleSection('i:ic:Field2:Field2:10')"></span> <a href="Control-Lens-Tuple.html#t:Field2">Field2</a> (a, b, c, d, e, f, g, h, i) (a, b', c, d, e, f, g, h, i) b b'</span> <a href="src/Control-Lens-Tuple.html#line-201" class="link">Source</a> <a href="#t:Field2" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field2:Field2:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_2">_2</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f, g, h, i) (a, b', c, d, e, f, g, h, i) b b' <a href="src/Control-Lens-Tuple.html#_2" class="link">Source</a> <a href="#v:_2" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:Field3" class="def">Field3</a> s t a b | s -> a, t -> b, s b -> t, t a -> s <span class="keyword">where</span> <a href="src/Control-Lens-Tuple.html#Field3" class="link">Source</a> <a href="#t:Field3" class="selflink">#</a></p><div class="doc"><p>Provides access to the 3rd field of a tuple.</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:_3" class="def">_3</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_3" class="link">Source</a> <a href="#v:_3" class="selflink">#</a></p><div class="doc"><p>Access the 3rd field of a tuple.</p></div><p class="src"><a id="v:_3" class="def">_3</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Generic">Generic</a> s, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Generic">Generic</a> t, GIxed N2 (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep">Rep</a> s) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep">Rep</a> t) a b) => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_3" class="link">Source</a> <a href="#v:_3" class="selflink">#</a></p><div class="doc"><p>Access the 3rd field of a tuple.</p></div></div><div class="subs instances"><p id="control.i:Field3" class="caption collapser" onclick="toggleSection('i:Field3')">Instances</p><div id="section.i:Field3" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field3:Field3:1" class="instance expander" onclick="toggleSection('i:ic:Field3:Field3:1')"></span> <a href="Control-Lens-Tuple.html#t:Field3">Field3</a> (a, b, c) (a, b, c') c c'</span> <a href="src/Control-Lens-Tuple.html#line-214" class="link">Source</a> <a href="#t:Field3" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field3:Field3:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_3">_3</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c) (a, b, c') c c' <a href="src/Control-Lens-Tuple.html#_3" class="link">Source</a> <a href="#v:_3" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field3:Field3:2" class="instance expander" onclick="toggleSection('i:ic:Field3:Field3:2')"></span> <a href="Control-Lens-Tuple.html#t:Field3">Field3</a> (a, b, c, d) (a, b, c', d) c c'</span> <a href="src/Control-Lens-Tuple.html#line-218" class="link">Source</a> <a href="#t:Field3" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field3:Field3:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_3">_3</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d) (a, b, c', d) c c' <a href="src/Control-Lens-Tuple.html#_3" class="link">Source</a> <a href="#v:_3" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field3:Field3:3" class="instance expander" onclick="toggleSection('i:ic:Field3:Field3:3')"></span> <a href="Control-Lens-Tuple.html#t:Field3">Field3</a> (a, b, c, d, e) (a, b, c', d, e) c c'</span> <a href="src/Control-Lens-Tuple.html#line-222" class="link">Source</a> <a href="#t:Field3" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field3:Field3:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_3">_3</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e) (a, b, c', d, e) c c' <a href="src/Control-Lens-Tuple.html#_3" class="link">Source</a> <a href="#v:_3" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field3:Field3:4" class="instance expander" onclick="toggleSection('i:ic:Field3:Field3:4')"></span> <a href="Control-Lens-Tuple.html#t:Field3">Field3</a> (a, b, c, d, e, f) (a, b, c', d, e, f) c c'</span> <a href="src/Control-Lens-Tuple.html#line-226" class="link">Source</a> <a href="#t:Field3" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field3:Field3:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_3">_3</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f) (a, b, c', d, e, f) c c' <a href="src/Control-Lens-Tuple.html#_3" class="link">Source</a> <a href="#v:_3" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field3:Field3:5" class="instance expander" onclick="toggleSection('i:ic:Field3:Field3:5')"></span> <a href="Control-Lens-Tuple.html#t:Field3">Field3</a> (a, b, c, d, e, f, g) (a, b, c', d, e, f, g) c c'</span> <a href="src/Control-Lens-Tuple.html#line-230" class="link">Source</a> <a href="#t:Field3" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field3:Field3:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_3">_3</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f, g) (a, b, c', d, e, f, g) c c' <a href="src/Control-Lens-Tuple.html#_3" class="link">Source</a> <a href="#v:_3" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field3:Field3:6" class="instance expander" onclick="toggleSection('i:ic:Field3:Field3:6')"></span> <a href="Control-Lens-Tuple.html#t:Field3">Field3</a> (a, b, c, d, e, f, g, h) (a, b, c', d, e, f, g, h) c c'</span> <a href="src/Control-Lens-Tuple.html#line-234" class="link">Source</a> <a href="#t:Field3" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field3:Field3:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_3">_3</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f, g, h) (a, b, c', d, e, f, g, h) c c' <a href="src/Control-Lens-Tuple.html#_3" class="link">Source</a> <a href="#v:_3" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field3:Field3:7" class="instance expander" onclick="toggleSection('i:ic:Field3:Field3:7')"></span> <a href="Control-Lens-Tuple.html#t:Field3">Field3</a> (a, b, c, d, e, f, g, h, i) (a, b, c', d, e, f, g, h, i) c c'</span> <a href="src/Control-Lens-Tuple.html#line-238" class="link">Source</a> <a href="#t:Field3" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field3:Field3:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_3">_3</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f, g, h, i) (a, b, c', d, e, f, g, h, i) c c' <a href="src/Control-Lens-Tuple.html#_3" class="link">Source</a> <a href="#v:_3" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:Field4" class="def">Field4</a> s t a b | s -> a, t -> b, s b -> t, t a -> s <span class="keyword">where</span> <a href="src/Control-Lens-Tuple.html#Field4" class="link">Source</a> <a href="#t:Field4" class="selflink">#</a></p><div class="doc"><p>Provide access to the 4th field of a tuple.</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:_4" class="def">_4</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_4" class="link">Source</a> <a href="#v:_4" class="selflink">#</a></p><div class="doc"><p>Access the 4th field of a tuple.</p></div><p class="src"><a id="v:_4" class="def">_4</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Generic">Generic</a> s, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Generic">Generic</a> t, GIxed N3 (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep">Rep</a> s) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep">Rep</a> t) a b) => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_4" class="link">Source</a> <a href="#v:_4" class="selflink">#</a></p><div class="doc"><p>Access the 4th field of a tuple.</p></div></div><div class="subs instances"><p id="control.i:Field4" class="caption collapser" onclick="toggleSection('i:Field4')">Instances</p><div id="section.i:Field4" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field4:Field4:1" class="instance expander" onclick="toggleSection('i:ic:Field4:Field4:1')"></span> <a href="Control-Lens-Tuple.html#t:Field4">Field4</a> (a, b, c, d) (a, b, c, d') d d'</span> <a href="src/Control-Lens-Tuple.html#line-251" class="link">Source</a> <a href="#t:Field4" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field4:Field4:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_4">_4</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d) (a, b, c, d') d d' <a href="src/Control-Lens-Tuple.html#_4" class="link">Source</a> <a href="#v:_4" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field4:Field4:2" class="instance expander" onclick="toggleSection('i:ic:Field4:Field4:2')"></span> <a href="Control-Lens-Tuple.html#t:Field4">Field4</a> (a, b, c, d, e) (a, b, c, d', e) d d'</span> <a href="src/Control-Lens-Tuple.html#line-255" class="link">Source</a> <a href="#t:Field4" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field4:Field4:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_4">_4</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e) (a, b, c, d', e) d d' <a href="src/Control-Lens-Tuple.html#_4" class="link">Source</a> <a href="#v:_4" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field4:Field4:3" class="instance expander" onclick="toggleSection('i:ic:Field4:Field4:3')"></span> <a href="Control-Lens-Tuple.html#t:Field4">Field4</a> (a, b, c, d, e, f) (a, b, c, d', e, f) d d'</span> <a href="src/Control-Lens-Tuple.html#line-259" class="link">Source</a> <a href="#t:Field4" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field4:Field4:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_4">_4</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f) (a, b, c, d', e, f) d d' <a href="src/Control-Lens-Tuple.html#_4" class="link">Source</a> <a href="#v:_4" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field4:Field4:4" class="instance expander" onclick="toggleSection('i:ic:Field4:Field4:4')"></span> <a href="Control-Lens-Tuple.html#t:Field4">Field4</a> (a, b, c, d, e, f, g) (a, b, c, d', e, f, g) d d'</span> <a href="src/Control-Lens-Tuple.html#line-263" class="link">Source</a> <a href="#t:Field4" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field4:Field4:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_4">_4</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f, g) (a, b, c, d', e, f, g) d d' <a href="src/Control-Lens-Tuple.html#_4" class="link">Source</a> <a href="#v:_4" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field4:Field4:5" class="instance expander" onclick="toggleSection('i:ic:Field4:Field4:5')"></span> <a href="Control-Lens-Tuple.html#t:Field4">Field4</a> (a, b, c, d, e, f, g, h) (a, b, c, d', e, f, g, h) d d'</span> <a href="src/Control-Lens-Tuple.html#line-267" class="link">Source</a> <a href="#t:Field4" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field4:Field4:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_4">_4</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f, g, h) (a, b, c, d', e, f, g, h) d d' <a href="src/Control-Lens-Tuple.html#_4" class="link">Source</a> <a href="#v:_4" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field4:Field4:6" class="instance expander" onclick="toggleSection('i:ic:Field4:Field4:6')"></span> <a href="Control-Lens-Tuple.html#t:Field4">Field4</a> (a, b, c, d, e, f, g, h, i) (a, b, c, d', e, f, g, h, i) d d'</span> <a href="src/Control-Lens-Tuple.html#line-271" class="link">Source</a> <a href="#t:Field4" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field4:Field4:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_4">_4</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f, g, h, i) (a, b, c, d', e, f, g, h, i) d d' <a href="src/Control-Lens-Tuple.html#_4" class="link">Source</a> <a href="#v:_4" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:Field5" class="def">Field5</a> s t a b | s -> a, t -> b, s b -> t, t a -> s <span class="keyword">where</span> <a href="src/Control-Lens-Tuple.html#Field5" class="link">Source</a> <a href="#t:Field5" class="selflink">#</a></p><div class="doc"><p>Provides access to the 5th field of a tuple.</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:_5" class="def">_5</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_5" class="link">Source</a> <a href="#v:_5" class="selflink">#</a></p><div class="doc"><p>Access the 5th field of a tuple.</p></div><p class="src"><a id="v:_5" class="def">_5</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Generic">Generic</a> s, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Generic">Generic</a> t, GIxed N4 (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep">Rep</a> s) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep">Rep</a> t) a b) => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_5" class="link">Source</a> <a href="#v:_5" class="selflink">#</a></p><div class="doc"><p>Access the 5th field of a tuple.</p></div></div><div class="subs instances"><p id="control.i:Field5" class="caption collapser" onclick="toggleSection('i:Field5')">Instances</p><div id="section.i:Field5" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field5:Field5:1" class="instance expander" onclick="toggleSection('i:ic:Field5:Field5:1')"></span> <a href="Control-Lens-Tuple.html#t:Field5">Field5</a> (a, b, c, d, e) (a, b, c, d, e') e e'</span> <a href="src/Control-Lens-Tuple.html#line-284" class="link">Source</a> <a href="#t:Field5" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field5:Field5:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_5">_5</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e) (a, b, c, d, e') e e' <a href="src/Control-Lens-Tuple.html#_5" class="link">Source</a> <a href="#v:_5" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field5:Field5:2" class="instance expander" onclick="toggleSection('i:ic:Field5:Field5:2')"></span> <a href="Control-Lens-Tuple.html#t:Field5">Field5</a> (a, b, c, d, e, f) (a, b, c, d, e', f) e e'</span> <a href="src/Control-Lens-Tuple.html#line-288" class="link">Source</a> <a href="#t:Field5" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field5:Field5:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_5">_5</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f) (a, b, c, d, e', f) e e' <a href="src/Control-Lens-Tuple.html#_5" class="link">Source</a> <a href="#v:_5" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field5:Field5:3" class="instance expander" onclick="toggleSection('i:ic:Field5:Field5:3')"></span> <a href="Control-Lens-Tuple.html#t:Field5">Field5</a> (a, b, c, d, e, f, g) (a, b, c, d, e', f, g) e e'</span> <a href="src/Control-Lens-Tuple.html#line-292" class="link">Source</a> <a href="#t:Field5" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field5:Field5:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_5">_5</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f, g) (a, b, c, d, e', f, g) e e' <a href="src/Control-Lens-Tuple.html#_5" class="link">Source</a> <a href="#v:_5" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field5:Field5:4" class="instance expander" onclick="toggleSection('i:ic:Field5:Field5:4')"></span> <a href="Control-Lens-Tuple.html#t:Field5">Field5</a> (a, b, c, d, e, f, g, h) (a, b, c, d, e', f, g, h) e e'</span> <a href="src/Control-Lens-Tuple.html#line-296" class="link">Source</a> <a href="#t:Field5" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field5:Field5:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_5">_5</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f, g, h) (a, b, c, d, e', f, g, h) e e' <a href="src/Control-Lens-Tuple.html#_5" class="link">Source</a> <a href="#v:_5" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field5:Field5:5" class="instance expander" onclick="toggleSection('i:ic:Field5:Field5:5')"></span> <a href="Control-Lens-Tuple.html#t:Field5">Field5</a> (a, b, c, d, e, f, g, h, i) (a, b, c, d, e', f, g, h, i) e e'</span> <a href="src/Control-Lens-Tuple.html#line-300" class="link">Source</a> <a href="#t:Field5" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field5:Field5:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_5">_5</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f, g, h, i) (a, b, c, d, e', f, g, h, i) e e' <a href="src/Control-Lens-Tuple.html#_5" class="link">Source</a> <a href="#v:_5" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:Field6" class="def">Field6</a> s t a b | s -> a, t -> b, s b -> t, t a -> s <span class="keyword">where</span> <a href="src/Control-Lens-Tuple.html#Field6" class="link">Source</a> <a href="#t:Field6" class="selflink">#</a></p><div class="doc"><p>Provides access to the 6th element of a tuple.</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:_6" class="def">_6</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_6" class="link">Source</a> <a href="#v:_6" class="selflink">#</a></p><div class="doc"><p>Access the 6th field of a tuple.</p></div><p class="src"><a id="v:_6" class="def">_6</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Generic">Generic</a> s, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Generic">Generic</a> t, GIxed N5 (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep">Rep</a> s) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep">Rep</a> t) a b) => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_6" class="link">Source</a> <a href="#v:_6" class="selflink">#</a></p><div class="doc"><p>Access the 6th field of a tuple.</p></div></div><div class="subs instances"><p id="control.i:Field6" class="caption collapser" onclick="toggleSection('i:Field6')">Instances</p><div id="section.i:Field6" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field6:Field6:1" class="instance expander" onclick="toggleSection('i:ic:Field6:Field6:1')"></span> <a href="Control-Lens-Tuple.html#t:Field6">Field6</a> (a, b, c, d, e, f) (a, b, c, d, e, f') f f'</span> <a href="src/Control-Lens-Tuple.html#line-313" class="link">Source</a> <a href="#t:Field6" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field6:Field6:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_6">_6</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f) (a, b, c, d, e, f') f f' <a href="src/Control-Lens-Tuple.html#_6" class="link">Source</a> <a href="#v:_6" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field6:Field6:2" class="instance expander" onclick="toggleSection('i:ic:Field6:Field6:2')"></span> <a href="Control-Lens-Tuple.html#t:Field6">Field6</a> (a, b, c, d, e, f, g) (a, b, c, d, e, f', g) f f'</span> <a href="src/Control-Lens-Tuple.html#line-317" class="link">Source</a> <a href="#t:Field6" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field6:Field6:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_6">_6</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f, g) (a, b, c, d, e, f', g) f f' <a href="src/Control-Lens-Tuple.html#_6" class="link">Source</a> <a href="#v:_6" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field6:Field6:3" class="instance expander" onclick="toggleSection('i:ic:Field6:Field6:3')"></span> <a href="Control-Lens-Tuple.html#t:Field6">Field6</a> (a, b, c, d, e, f, g, h) (a, b, c, d, e, f', g, h) f f'</span> <a href="src/Control-Lens-Tuple.html#line-321" class="link">Source</a> <a href="#t:Field6" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field6:Field6:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_6">_6</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f, g, h) (a, b, c, d, e, f', g, h) f f' <a href="src/Control-Lens-Tuple.html#_6" class="link">Source</a> <a href="#v:_6" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field6:Field6:4" class="instance expander" onclick="toggleSection('i:ic:Field6:Field6:4')"></span> <a href="Control-Lens-Tuple.html#t:Field6">Field6</a> (a, b, c, d, e, f, g, h, i) (a, b, c, d, e, f', g, h, i) f f'</span> <a href="src/Control-Lens-Tuple.html#line-325" class="link">Source</a> <a href="#t:Field6" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field6:Field6:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_6">_6</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f, g, h, i) (a, b, c, d, e, f', g, h, i) f f' <a href="src/Control-Lens-Tuple.html#_6" class="link">Source</a> <a href="#v:_6" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:Field7" class="def">Field7</a> s t a b | s -> a, t -> b, s b -> t, t a -> s <span class="keyword">where</span> <a href="src/Control-Lens-Tuple.html#Field7" class="link">Source</a> <a href="#t:Field7" class="selflink">#</a></p><div class="doc"><p>Provide access to the 7th field of a tuple.</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:_7" class="def">_7</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_7" class="link">Source</a> <a href="#v:_7" class="selflink">#</a></p><div class="doc"><p>Access the 7th field of a tuple.</p></div><p class="src"><a id="v:_7" class="def">_7</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Generic">Generic</a> s, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Generic">Generic</a> t, GIxed N6 (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep">Rep</a> s) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep">Rep</a> t) a b) => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_7" class="link">Source</a> <a href="#v:_7" class="selflink">#</a></p><div class="doc"><p>Access the 7th field of a tuple.</p></div></div><div class="subs instances"><p id="control.i:Field7" class="caption collapser" onclick="toggleSection('i:Field7')">Instances</p><div id="section.i:Field7" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field7:Field7:1" class="instance expander" onclick="toggleSection('i:ic:Field7:Field7:1')"></span> <a href="Control-Lens-Tuple.html#t:Field7">Field7</a> (a, b, c, d, e, f, g) (a, b, c, d, e, f, g') g g'</span> <a href="src/Control-Lens-Tuple.html#line-338" class="link">Source</a> <a href="#t:Field7" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field7:Field7:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_7">_7</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f, g) (a, b, c, d, e, f, g') g g' <a href="src/Control-Lens-Tuple.html#_7" class="link">Source</a> <a href="#v:_7" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field7:Field7:2" class="instance expander" onclick="toggleSection('i:ic:Field7:Field7:2')"></span> <a href="Control-Lens-Tuple.html#t:Field7">Field7</a> (a, b, c, d, e, f, g, h) (a, b, c, d, e, f, g', h) g g'</span> <a href="src/Control-Lens-Tuple.html#line-342" class="link">Source</a> <a href="#t:Field7" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field7:Field7:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_7">_7</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f, g, h) (a, b, c, d, e, f, g', h) g g' <a href="src/Control-Lens-Tuple.html#_7" class="link">Source</a> <a href="#v:_7" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field7:Field7:3" class="instance expander" onclick="toggleSection('i:ic:Field7:Field7:3')"></span> <a href="Control-Lens-Tuple.html#t:Field7">Field7</a> (a, b, c, d, e, f, g, h, i) (a, b, c, d, e, f, g', h, i) g g'</span> <a href="src/Control-Lens-Tuple.html#line-346" class="link">Source</a> <a href="#t:Field7" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field7:Field7:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_7">_7</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f, g, h, i) (a, b, c, d, e, f, g', h, i) g g' <a href="src/Control-Lens-Tuple.html#_7" class="link">Source</a> <a href="#v:_7" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:Field8" class="def">Field8</a> s t a b | s -> a, t -> b, s b -> t, t a -> s <span class="keyword">where</span> <a href="src/Control-Lens-Tuple.html#Field8" class="link">Source</a> <a href="#t:Field8" class="selflink">#</a></p><div class="doc"><p>Provide access to the 8th field of a tuple.</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:_8" class="def">_8</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_8" class="link">Source</a> <a href="#v:_8" class="selflink">#</a></p><div class="doc"><p>Access the 8th field of a tuple.</p></div><p class="src"><a id="v:_8" class="def">_8</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Generic">Generic</a> s, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Generic">Generic</a> t, GIxed N7 (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep">Rep</a> s) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep">Rep</a> t) a b) => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_8" class="link">Source</a> <a href="#v:_8" class="selflink">#</a></p><div class="doc"><p>Access the 8th field of a tuple.</p></div></div><div class="subs instances"><p id="control.i:Field8" class="caption collapser" onclick="toggleSection('i:Field8')">Instances</p><div id="section.i:Field8" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field8:Field8:1" class="instance expander" onclick="toggleSection('i:ic:Field8:Field8:1')"></span> <a href="Control-Lens-Tuple.html#t:Field8">Field8</a> (a, b, c, d, e, f, g, h) (a, b, c, d, e, f, g, h') h h'</span> <a href="src/Control-Lens-Tuple.html#line-359" class="link">Source</a> <a href="#t:Field8" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field8:Field8:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_8">_8</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f, g, h) (a, b, c, d, e, f, g, h') h h' <a href="src/Control-Lens-Tuple.html#_8" class="link">Source</a> <a href="#v:_8" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field8:Field8:2" class="instance expander" onclick="toggleSection('i:ic:Field8:Field8:2')"></span> <a href="Control-Lens-Tuple.html#t:Field8">Field8</a> (a, b, c, d, e, f, g, h, i) (a, b, c, d, e, f, g, h', i) h h'</span> <a href="src/Control-Lens-Tuple.html#line-363" class="link">Source</a> <a href="#t:Field8" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field8:Field8:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_8">_8</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f, g, h, i) (a, b, c, d, e, f, g, h', i) h h' <a href="src/Control-Lens-Tuple.html#_8" class="link">Source</a> <a href="#v:_8" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:Field9" class="def">Field9</a> s t a b | s -> a, t -> b, s b -> t, t a -> s <span class="keyword">where</span> <a href="src/Control-Lens-Tuple.html#Field9" class="link">Source</a> <a href="#t:Field9" class="selflink">#</a></p><div class="doc"><p>Provides access to the 9th field of a tuple.</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:_9" class="def">_9</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_9" class="link">Source</a> <a href="#v:_9" class="selflink">#</a></p><div class="doc"><p>Access the 9th field of a tuple.</p></div><p class="src"><a id="v:_9" class="def">_9</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Generic">Generic</a> s, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Generic">Generic</a> t, GIxed N8 (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep">Rep</a> s) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep">Rep</a> t) a b) => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_9" class="link">Source</a> <a href="#v:_9" class="selflink">#</a></p><div class="doc"><p>Access the 9th field of a tuple.</p></div></div><div class="subs instances"><p id="control.i:Field9" class="caption collapser" onclick="toggleSection('i:Field9')">Instances</p><div id="section.i:Field9" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Field9:Field9:1" class="instance expander" onclick="toggleSection('i:ic:Field9:Field9:1')"></span> <a href="Control-Lens-Tuple.html#t:Field9">Field9</a> (a, b, c, d, e, f, g, h, i) (a, b, c, d, e, f, g, h, i') i i'</span> <a href="src/Control-Lens-Tuple.html#line-376" class="link">Source</a> <a href="#t:Field9" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Field9:Field9:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_9">_9</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a, b, c, d, e, f, g, h, i) (a, b, c, d, e, f, g, h, i') i i' <a href="src/Control-Lens-Tuple.html#_9" class="link">Source</a> <a href="#v:_9" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><h1 id="g:2">Strict variations</h1><div class="top"><p class="src"><a id="v:_1-39-" class="def">_1'</a> :: <a href="Control-Lens-Tuple.html#t:Field1">Field1</a> s t a b => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_1%27" class="link">Source</a> <a href="#v:_1-39-" class="selflink">#</a></p><div class="doc"><p>Strict version of <code><a href="Control-Lens-Tuple.html#v:_1">_1</a></code></p></div></div><div class="top"><p class="src"><a id="v:_2-39-" class="def">_2'</a> :: <a href="Control-Lens-Tuple.html#t:Field2">Field2</a> s t a b => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_2%27" class="link">Source</a> <a href="#v:_2-39-" class="selflink">#</a></p><div class="doc"><p>Strict version of <code><a href="Control-Lens-Tuple.html#v:_2">_2</a></code></p></div></div><div class="top"><p class="src"><a id="v:_3-39-" class="def">_3'</a> :: <a href="Control-Lens-Tuple.html#t:Field3">Field3</a> s t a b => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_3%27" class="link">Source</a> <a href="#v:_3-39-" class="selflink">#</a></p><div class="doc"><p>Strict version of <code><a href="Control-Lens-Tuple.html#v:_3">_3</a></code></p></div></div><div class="top"><p class="src"><a id="v:_4-39-" class="def">_4'</a> :: <a href="Control-Lens-Tuple.html#t:Field4">Field4</a> s t a b => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_4%27" class="link">Source</a> <a href="#v:_4-39-" class="selflink">#</a></p><div class="doc"><p>Strict version of <code><a href="Control-Lens-Tuple.html#v:_4">_4</a></code></p></div></div><div class="top"><p class="src"><a id="v:_5-39-" class="def">_5'</a> :: <a href="Control-Lens-Tuple.html#t:Field5">Field5</a> s t a b => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_5%27" class="link">Source</a> <a href="#v:_5-39-" class="selflink">#</a></p><div class="doc"><p>Strict version of <code><a href="Control-Lens-Tuple.html#v:_5">_5</a></code></p></div></div><div class="top"><p class="src"><a id="v:_6-39-" class="def">_6'</a> :: <a href="Control-Lens-Tuple.html#t:Field6">Field6</a> s t a b => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_6%27" class="link">Source</a> <a href="#v:_6-39-" class="selflink">#</a></p><div class="doc"><p>Strict version of <code><a href="Control-Lens-Tuple.html#v:_6">_6</a></code></p></div></div><div class="top"><p class="src"><a id="v:_7-39-" class="def">_7'</a> :: <a href="Control-Lens-Tuple.html#t:Field7">Field7</a> s t a b => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_7%27" class="link">Source</a> <a href="#v:_7-39-" class="selflink">#</a></p><div class="doc"><p>Strict version of <code><a href="Control-Lens-Tuple.html#v:_7">_7</a></code></p></div></div><div class="top"><p class="src"><a id="v:_8-39-" class="def">_8'</a> :: <a href="Control-Lens-Tuple.html#t:Field8">Field8</a> s t a b => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_8%27" class="link">Source</a> <a href="#v:_8-39-" class="selflink">#</a></p><div class="doc"><p>Strict version of <code><a href="Control-Lens-Tuple.html#v:_8">_8</a></code></p></div></div><div class="top"><p class="src"><a id="v:_9-39-" class="def">_9'</a> :: <a href="Control-Lens-Tuple.html#t:Field9">Field9</a> s t a b => <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b <a href="src/Control-Lens-Tuple.html#_9%27" class="link">Source</a> <a href="#v:_9-39-" class="selflink">#</a></p><div class="doc"><p>Strict version of <code><a href="Control-Lens-Tuple.html#v:_9">_9</a></code></p></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.2</p></div></body></html>
|