/usr/share/doc/libghc-lens-doc/html/Control-Lens-Tuple.html is in libghc-lens-doc 4.13-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 | <!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 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.13: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Copyright</th><td>(C) 2012-15 Edward Kmett</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>Safe</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"><li><a href="#v:_1">_1</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b</li></ul></li><li class="src short"><span class="keyword">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"><li><a href="#v:_2">_2</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b</li></ul></li><li class="src short"><span class="keyword">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"><li><a href="#v:_3">_3</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b</li></ul></li><li class="src short"><span class="keyword">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"><li><a href="#v:_4">_4</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b</li></ul></li><li class="src short"><span class="keyword">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"><li><a href="#v:_5">_5</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b</li></ul></li><li class="src short"><span class="keyword">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"><li><a href="#v:_6">_6</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b</li></ul></li><li class="src short"><span class="keyword">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"><li><a href="#v:_7">_7</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b</li></ul></li><li class="src short"><span class="keyword">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"><li><a href="#v:_8">_8</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b</li></ul></li><li class="src short"><span class="keyword">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"><li><a href="#v:_9">_9</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> s t a b</li></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 name="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></p><div class="doc"><p>Provides access to 1st field of a tuple.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src">Nothing</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="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></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"><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-97" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-109" class="link">Source</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.8.2.0/Data-Functor.html#v:-60--36--62-"><$></a></code> k a
</pre></td></tr><tr><td class="src clearfix"><span class="inst-left"><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-113" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Tuple.html#t:Field1">Field1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t::-42-:">(:*:)</a> f g p) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t::-42-:">(:*:)</a> f' g p) (f p) (f' p)</span> <a href="src/Control-Lens-Tuple.html#line-103" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Tuple.html#t:Field1">Field1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Product.html#t:Product">Product</a> f g a) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Product.html#t:Product">Product</a> f' g a) (f a) (f' a)</span> <a href="src/Control-Lens-Tuple.html#line-100" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-117" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-121" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-125" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-129" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-133" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-137" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="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></p><div class="doc"><p>Provides access to the 2nd field of a tuple.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src">Nothing</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="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></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.8.2.0/Data-Bool.html#t:Bool">Bool</a></code>) -> (a, s) -> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a></code>
<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Traversable.html#v:traverse">traverse</a></code> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Function.html#v:.">.</a></code> <code><a href="Control-Lens-Tuple.html#v:_2">_2</a></code> :: (<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#v:Applicative">Applicative</a></code> f, <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.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.8.2.0/Data-Traversable.html#v:traverse">traverse</a></code> <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Function.html#v:.">.</a></code> <code><a href="Control-Lens-Tuple.html#v:_2">_2</a></code>) :: (<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Traversable.html#v:Traversable">Traversable</a></code> t, <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.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"><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-177" class="link">Source</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.8.2.0/Data-Functor.html#v:-60--36--62-"><$></a></code> k b
</pre></td></tr><tr><td class="src clearfix"><span class="inst-left"><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-181" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Tuple.html#t:Field2">Field2</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t::-42-:">(:*:)</a> f g p) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t::-42-:">(:*:)</a> f g' p) (g p) (g' p)</span> <a href="src/Control-Lens-Tuple.html#line-171" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Tuple.html#t:Field2">Field2</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Product.html#t:Product">Product</a> f g a) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Product.html#t:Product">Product</a> f g' a) (g a) (g' a)</span> <a href="src/Control-Lens-Tuple.html#line-168" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-185" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-189" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-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-193" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-197" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-201" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-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-205" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="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></p><div class="doc"><p>Provides access to the 3rd field of a tuple.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src">Nothing</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="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></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"><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-220" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-224" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-228" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-232" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-236" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-240" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-244" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="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></p><div class="doc"><p>Provide access to the 4th field of a tuple.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src">Nothing</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="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></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"><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-259" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-263" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-267" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-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-271" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-275" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-279" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="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></p><div class="doc"><p>Provides access to the 5th field of a tuple.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src">Nothing</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="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></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"><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-294" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-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-298" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-302" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-306" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-310" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="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></p><div class="doc"><p>Provides access to the 6th element of a tuple.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src">Nothing</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="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></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"><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-325" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-329" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-333" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-337" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="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></p><div class="doc"><p>Provide access to the 7th field of a tuple.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src">Nothing</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="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></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"><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-352" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-356" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-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-360" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="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></p><div class="doc"><p>Provide access to the 8th field of a tuple.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src">Nothing</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="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></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"><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-375" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><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-379" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="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></p><div class="doc"><p>Provides access to the 9th field of a tuple.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src">Nothing</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="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></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"><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-394" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><h1 id="g:2">Strict variations</h1><div class="top"><p class="src"><a name="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></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 name="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></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 name="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></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 name="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></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 name="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></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 name="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></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 name="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></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 name="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></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 name="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></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.16.1</p></div></body></html>
|