Skip to content
Browse files

Trustworthiness

  • Loading branch information...
1 parent 06ceb5f commit b9b1e9c50bc2a5e83a7e8aa961854ce167254284 @ekmett committed Nov 22, 2012
Showing with 837 additions and 799 deletions.
  1. +1 −1 Control-Exception-Lens.html
  2. +1 −1 Control-Lens-Action.html
  3. +1 −1 Control-Lens-Classes.html
  4. +1 −1 Control-Lens-Combinators.html
  5. +1 −1 Control-Lens-Fold.html
  6. +1 −1 Control-Lens-Getter.html
  7. +1 −1 Control-Lens-Indexed.html
  8. +1 −1 Control-Lens-IndexedFold.html
  9. +1 −1 Control-Lens-IndexedGetter.html
  10. +1 −1 Control-Lens-IndexedLens.html
  11. +1 −1 Control-Lens-IndexedSetter.html
  12. +1 −1 Control-Lens-IndexedTraversal.html
  13. +1 −1 Control-Lens-Internal.html
  14. +1 −1 Control-Lens-Iso.html
  15. +1 −1 Control-Lens-Isomorphic.html
  16. +1 −1 Control-Lens-Loupe.html
  17. +1 −1 Control-Lens-Plated.html
  18. +1 −1 Control-Lens-Projection.html
  19. +1 −1 Control-Lens-Representable.html
  20. +1 −1 Control-Lens-Setter.html
  21. +1 −1 Control-Lens-Simple.html
  22. +1 −1 Control-Lens-TH.html
  23. +1 −1 Control-Lens-Traversal.html
  24. +1 −1 Control-Lens-Tuple.html
  25. +1 −1 Control-Lens-Type.html
  26. +3 −3 Control-Lens-Unsafe.html
  27. +1 −1 Control-Lens-WithIndex.html
  28. +1 −1 Control-Lens-Zipper.html
  29. +1 −1 Control-Lens-Zoom.html
  30. +1 −1 Control-Lens.html
  31. +1 −1 Control-Parallel-Strategies-Lens.html
  32. +1 −1 Control-Seq-Lens.html
  33. +1 −1 Data-Array-Lens.html
  34. +1 −1 Data-Bits-Lens.html
  35. +1 −1 Data-ByteString-Lazy-Lens.html
  36. +1 −1 Data-ByteString-Lens.html
  37. +1 −1 Data-ByteString-Strict-Lens.html
  38. +1 −1 Data-Complex-Lens.html
  39. +1 −1 Data-Data-Lens.html
  40. +1 −1 Data-Dynamic-Lens.html
  41. +1 −1 Data-HashSet-Lens.html
  42. +1 −1 Data-IntSet-Lens.html
  43. +1 −1 Data-List-Lens.html
  44. +1 −1 Data-List-Split-Lens.html
  45. +1 −1 Data-Monoid-Lens.html
  46. +1 −1 Data-Sequence-Lens.html
  47. +1 −1 Data-Set-Lens.html
  48. +1 −1 Data-Text-Lazy-Lens.html
  49. +1 −1 Data-Text-Lens.html
  50. +1 −1 Data-Text-Strict-Lens.html
  51. +1 −1 Data-Tree-Lens.html
  52. +1 −1 Data-Typeable-Lens.html
  53. +1 −1 Data-Vector-Generic-Lens.html
  54. +1 −1 Data-Vector-Lens.html
  55. +1 −1 GHC-Generics-Lens.html
  56. +1 −1 Language-Haskell-TH-Lens.html
  57. +1 −1 System-FilePath-Lens.html
  58. +2 −2 doc-index-124.html
  59. +2 −2 doc-index-35.html
  60. +2 −2 doc-index-37.html
  61. +2 −2 doc-index-38.html
  62. +2 −2 doc-index-42.html
  63. +2 −2 doc-index-43.html
  64. +2 −2 doc-index-45.html
  65. +2 −2 doc-index-46.html
  66. +2 −2 doc-index-47.html
  67. +2 −2 doc-index-58.html
  68. +2 −2 doc-index-60.html
  69. +2 −2 doc-index-63.html
  70. +2 −2 doc-index-94.html
  71. +2 −2 doc-index-95.html
  72. +2 −2 doc-index-A.html
  73. +2 −2 doc-index-All.html
  74. +2 −2 doc-index-B.html
  75. +2 −2 doc-index-C.html
  76. +2 −2 doc-index-D.html
  77. +2 −2 doc-index-E.html
  78. +2 −2 doc-index-F.html
  79. +2 −2 doc-index-G.html
  80. +2 −2 doc-index-H.html
  81. +2 −2 doc-index-I.html
  82. +2 −2 doc-index-K.html
  83. +2 −2 doc-index-L.html
  84. +2 −2 doc-index-M.html
  85. +2 −2 doc-index-N.html
  86. +2 −2 doc-index-O.html
  87. +2 −2 doc-index-P.html
  88. +2 −2 doc-index-R.html
  89. +2 −2 doc-index-S.html
  90. +2 −2 doc-index-T.html
  91. +2 −2 doc-index-U.html
  92. +2 −2 doc-index-V.html
  93. +2 −2 doc-index-W.html
  94. +2 −2 doc-index-Z.html
  95. +2 −2 doc-index.html
  96. +1 −1 index-frames.html
  97. +2 −2 index.html
  98. BIN lens.haddock
  99. +16 −13 src/Control-Lens-Internal-BazaarT.html
  100. +2 −2 src/Control-Lens-Unsafe.html
  101. +95 −92 src/Control-Lens.html
  102. +75 −71 src/Control-Parallel-Strategies-Lens.html
  103. +55 −51 src/Data-HashSet-Lens.html
  104. +40 −36 src/Data-Text-Lazy-Lens.html
  105. +51 −47 src/Data-Text-Lens.html
  106. +40 −36 src/Data-Text-Strict-Lens.html
  107. +38 −34 src/Data-Typeable-Lens.html
  108. +155 −151 src/Data-Vector-Generic-Lens.html
  109. +132 −128 src/Data-Vector-Lens.html
View
2 Control-Exception-Lens.html
@@ -1,7 +1,7 @@
<!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.Exception.Lens</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-Exception-Lens.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Exception-Lens.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Control.Exception</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Control.Exception.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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"><a href="#v:exception">exception</a> :: (Exception a, Exception b) =&gt; <a href="Control-Lens-Projection.html#t:Projection">Projection</a> SomeException SomeException a b</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:exception" class="def">exception</a> :: (Exception a, Exception b) =&gt; <a href="Control-Lens-Projection.html#t:Projection">Projection</a> SomeException SomeException a b<a href="src/Control-Exception-Lens.html#exception" class="link">Source</a></p><div class="doc"><p>Traverse the strongly typed <code>Exception</code> contained in <code>SomeException</code> where the type of your function matches
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Exception-Lens.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Control.Exception</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Exception.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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"><a href="#v:exception">exception</a> :: (Exception a, Exception b) =&gt; <a href="Control-Lens-Projection.html#t:Projection">Projection</a> SomeException SomeException a b</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:exception" class="def">exception</a> :: (Exception a, Exception b) =&gt; <a href="Control-Lens-Projection.html#t:Projection">Projection</a> SomeException SomeException a b<a href="src/Control-Exception-Lens.html#exception" class="link">Source</a></p><div class="doc"><p>Traverse the strongly typed <code>Exception</code> contained in <code>SomeException</code> where the type of your function matches
the desired <code>Exception</code>.
</p><pre>
exception :: (<code>Applicative</code> f, <code>Exception</code> a, <code>Exception</code> b)
View
2 Control-Lens-Action.html
@@ -1,7 +1,7 @@
<!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.Action</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-Action.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Action.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>MTPCs, FDs, Rank2</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Action</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Composable Actions
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Action.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>MTPCs, FDs, Rank2</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Action</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Composable Actions
</a></li><li><a href="#g:2">Folds with Effecs
</a></li><li><a href="#g:3">Implementation Details
</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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">type</span> <a href="#t:Action">Action</a> m s a = <span class="keyword">forall</span> f r. <a href="Control-Lens-Classes.html#t:Effective">Effective</a> m r f =&gt; (a -&gt; f a) -&gt; s -&gt; f s</li><li class="src short"><a href="#v:act">act</a> :: Monad m =&gt; (s -&gt; m a) -&gt; <a href="Control-Lens-Action.html#t:Action">Action</a> m s a</li><li class="src short"><a href="#v:acts">acts</a> :: <a href="Control-Lens-Action.html#t:Action">Action</a> m (m a) a</li><li class="src short"><a href="#v:perform">perform</a> :: Monad m =&gt; <a href="Control-Lens-Action.html#t:Acting">Acting</a> m a s t a b -&gt; s -&gt; m a</li><li class="src short"><a href="#v:performs">performs</a> :: Monad m =&gt; <a href="Control-Lens-Action.html#t:Acting">Acting</a> m e s t a b -&gt; (a -&gt; e) -&gt; s -&gt; m e</li><li class="src short"><a href="#v:liftAct">liftAct</a> :: (MonadTrans trans, Monad m) =&gt; <a href="Control-Lens-Action.html#t:Acting">Acting</a> m a s t a b -&gt; <a href="Control-Lens-Action.html#t:Action">Action</a> (trans m) s a</li><li class="src short"><a href="#v:-94--33-">(^!)</a> :: Monad m =&gt; s -&gt; <a href="Control-Lens-Action.html#t:Acting">Acting</a> m a s t a b -&gt; m a</li><li class="src short"><span class="keyword">type</span> <a href="#t:MonadicFold">MonadicFold</a> m s a = <span class="keyword">forall</span> f r. (<a href="Control-Lens-Classes.html#t:Effective">Effective</a> m r f, Applicative f) =&gt; (a -&gt; f a) -&gt; s -&gt; f s</li><li class="src short"><span class="keyword">type</span> <a href="#t:Acting">Acting</a> m r s t a b = (a -&gt; <a href="Control-Lens-Internal.html#t:Effect">Effect</a> m r b) -&gt; s -&gt; <a href="Control-Lens-Internal.html#t:Effect">Effect</a> m r t</li></ul></div><div id="interface"><h1 id="g:1">Composable Actions
View
2 Control-Lens-Classes.html
@@ -1,7 +1,7 @@
<!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.Classes</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-Classes.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Classes.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Control.Lens.Classes</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Getters
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Classes.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Control.Lens.Classes</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Getters
</a></li><li><a href="#g:2">Actions
</a></li><li><a href="#g:3">Setters
</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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> (Functor f, <a href="Control-Lens-Unsafe.html#t:Trustworthy">Trustworthy</a> f) =&gt; <a href="#t:Gettable">Gettable</a> f <span class="keyword">where</span><ul class="subs"><li><a href="#v:coerce">coerce</a> :: f a -&gt; f b</li></ul></li><li class="src short"><a href="#v:noEffect">noEffect</a> :: (Applicative f, <a href="Control-Lens-Classes.html#t:Gettable">Gettable</a> f) =&gt; f a</li><li class="src short"><span class="keyword">class</span> (Monad m, <a href="Control-Lens-Classes.html#t:Gettable">Gettable</a> f) =&gt; <a href="#t:Effective">Effective</a> m r f | f -&gt; m r <span class="keyword">where</span><ul class="subs"><li><a href="#v:effective">effective</a> :: <a href="Control-Lens-Isomorphic.html#t:Isomorphic">Isomorphic</a> k =&gt; k (m r) (f a)</li></ul></li><li class="src short"><a href="#v:ineffective">ineffective</a> :: <a href="Control-Lens-Classes.html#t:Effective">Effective</a> m r f =&gt; <a href="Control-Lens-Isomorphic.html#t:Isomorphic">Isomorphic</a> k =&gt; k (f a) (m r)</li><li class="src short"><span class="keyword">class</span> Applicative f =&gt; <a href="#t:Settable">Settable</a> f <span class="keyword">where</span><ul class="subs"><li><a href="#v:untainted">untainted</a> :: f a -&gt; a</li><li><a href="#v:untainted-35-">untainted#</a> :: (a -&gt; f b) -&gt; a -&gt; b</li><li><a href="#v:tainted-35-">tainted#</a> :: (a -&gt; b) -&gt; a -&gt; f b</li></ul></li></ul></div><div id="interface"><h1 id="g:1">Getters
View
2 Control-Lens-Combinators.html
@@ -1,7 +1,7 @@
<!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.Combinators</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-Combinators.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Combinators.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>portable</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Combinators</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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"><a href="#v:-60--36--33--62-">(&lt;$!&gt;)</a> :: Monad m =&gt; (a -&gt; b) -&gt; m a -&gt; m b</li><li class="src short"><a href="#v:-60--36--33-">(&lt;$!)</a> :: Monad m =&gt; b -&gt; m a -&gt; m b</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:-60--36--33--62-" class="def">(&lt;$!&gt;)</a> :: Monad m =&gt; (a -&gt; b) -&gt; m a -&gt; m b<a href="src/Control-Lens-Combinators.html#%3C%24%21%3E" class="link">Source</a></p><div class="doc"><p>A strict version of (<code><a href="Data-Functor.html#t:-60--36--62-">&lt;$&gt;</a></code>) for monads.
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Combinators.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>portable</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Combinators</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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"><a href="#v:-60--36--33--62-">(&lt;$!&gt;)</a> :: Monad m =&gt; (a -&gt; b) -&gt; m a -&gt; m b</li><li class="src short"><a href="#v:-60--36--33-">(&lt;$!)</a> :: Monad m =&gt; b -&gt; m a -&gt; m b</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:-60--36--33--62-" class="def">(&lt;$!&gt;)</a> :: Monad m =&gt; (a -&gt; b) -&gt; m a -&gt; m b<a href="src/Control-Lens-Combinators.html#%3C%24%21%3E" class="link">Source</a></p><div class="doc"><p>A strict version of (<code><a href="Data-Functor.html#t:-60--36--62-">&lt;$&gt;</a></code>) for monads.
</p><pre class="screen"><code class="prompt">&gt;&gt;&gt; </code><strong class="userinput"><code>(+1) &lt;$!&gt; [1,2,3,4]
</code></strong>[2,3,4,5]
</pre></div></div><div class="top"><p class="src"><a name="v:-60--36--33-" class="def">(&lt;$!)</a> :: Monad m =&gt; b -&gt; m a -&gt; m b<a href="src/Control-Lens-Combinators.html#%3C%24%21" class="link">Source</a></p><div class="doc"><p>A strict version of (<code><a href="Data-Functor.html#t:-60--36-">&lt;$</a></code>) for monads.
View
2 Control-Lens-Fold.html
@@ -1,7 +1,7 @@
<!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.Fold</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-Fold.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Fold.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Fold</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Folds
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Fold.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Fold</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Folds
</a><ul><li><a href="#g:2">Building Folds
</a></li><li><a href="#g:3">Folding
</a></li></ul></li><li><a href="#g:4">Storing Folds
View
2 Control-Lens-Getter.html
@@ -1,7 +1,7 @@
<!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.Getter</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-Getter.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Getter.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Control.Lens.Getter</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Getters
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Getter.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Control.Lens.Getter</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Getters
</a></li><li><a href="#g:2">Building Getters
</a></li><li><a href="#g:3">Combinators for Getters and Folds
</a></li><li><a href="#g:4">Storing Getters
View
2 Control-Lens-Indexed.html
@@ -1,7 +1,7 @@
<!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.Indexed</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-Indexed.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Indexed.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>rank 2 types, MPTCs, TFs, flexible</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Indexed</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Indexed Functions
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Indexed.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>rank 2 types, MPTCs, TFs, flexible</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Indexed</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Indexed Functions
</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Combinators for working with <code><a href="Control-Lens-Indexed.html#t:Indexed">Indexed</a></code> functions.
</p></div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">class</span> <a href="#t:Indexed">Indexed</a> i k <span class="keyword">where</span><ul class="subs"><li><a href="#v:index">index</a> :: ((i -&gt; a) -&gt; b) -&gt; k a b</li></ul></li><li class="src short"><span class="keyword">type</span> <a href="#t:Indexable">Indexable</a> i a b = <span class="keyword">forall</span> k. <a href="Control-Lens-Indexed.html#t:Indexed">Indexed</a> i k =&gt; k a b</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:Index">Index</a> i a b = <a href="#v:Index">Index</a> {<ul class="subs"><li><a href="#v:withIndex">withIndex</a> :: (i -&gt; a) -&gt; b</li></ul>}</li><li class="src short"><a href="#v:-60-.-62-">(&lt;.&gt;)</a> :: <a href="Control-Lens-Indexed.html#t:Indexed">Indexed</a> (i, j) k =&gt; <a href="Control-Lens-Indexed.html#t:Index">Index</a> i b c -&gt; <a href="Control-Lens-Indexed.html#t:Index">Index</a> j a b -&gt; k a c</li><li class="src short"><a href="#v:-60-.">(&lt;.)</a> :: <a href="Control-Lens-Indexed.html#t:Indexed">Indexed</a> i k =&gt; <a href="Control-Lens-Indexed.html#t:Index">Index</a> i b c -&gt; (a -&gt; b) -&gt; k a c</li><li class="src short"><a href="#v:.-62-">(.&gt;)</a> :: <a href="Control-Lens-Indexed.html#t:Indexed">Indexed</a> i k =&gt; (b -&gt; c) -&gt; <a href="Control-Lens-Indexed.html#t:Index">Index</a> i a b -&gt; k a c</li><li class="src short"><a href="#v:icompose">icompose</a> :: <a href="Control-Lens-Indexed.html#t:Indexed">Indexed</a> k r =&gt; (i -&gt; j -&gt; k) -&gt; <a href="Control-Lens-Indexed.html#t:Index">Index</a> i b c -&gt; <a href="Control-Lens-Indexed.html#t:Index">Index</a> j a b -&gt; r a c</li><li class="src short"><a href="#v:reindex">reindex</a> :: <a href="Control-Lens-Indexed.html#t:Indexed">Indexed</a> j k =&gt; (i -&gt; j) -&gt; <a href="Control-Lens-Indexed.html#t:Index">Index</a> i a b -&gt; k a b</li><li class="src short"><a href="#v:indexed">indexed</a> :: <a href="Control-Lens-Indexed.html#t:Indexed">Indexed</a> Int k =&gt; ((a -&gt; <a href="Control-Lens-Internal.html#t:Indexing">Indexing</a> f b) -&gt; s -&gt; <a href="Control-Lens-Internal.html#t:Indexing">Indexing</a> f t) -&gt; k (a -&gt; f b) (s -&gt; f t)</li></ul></div><div id="interface"><h1 id="g:1">Indexed Functions
</h1><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:Indexed" class="def">Indexed</a> i k <span class="keyword">where</span><a href="src/Control-Lens-Indexed.html#Indexed" class="link">Source</a></p><div class="doc"><p>Permit overloading of function application for things that also admit a notion of a key or index.
View
2 Control-Lens-IndexedFold.html
@@ -1,7 +1,7 @@
<!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.IndexedFold</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-IndexedFold.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-IndexedFold.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>rank 2 types, MPTCs, TFs, flexible</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.IndexedFold</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Indexed Folds
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-IndexedFold.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>rank 2 types, MPTCs, TFs, flexible</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.IndexedFold</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Indexed Folds
</a></li><li><a href="#g:2">Consuming Indexed Folds
</a></li><li><a href="#g:3">Converting to Folds
</a></li><li><a href="#g:4">Building Indexed Folds
View
2 Control-Lens-IndexedGetter.html
@@ -1,7 +1,7 @@
<!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.IndexedGetter</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-IndexedGetter.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-IndexedGetter.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>rank 2 types, MPTCs</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.IndexedGetter</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Indexed Folds
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-IndexedGetter.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>rank 2 types, MPTCs</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.IndexedGetter</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Indexed Folds
</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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">type</span> <a href="#t:IndexedGetter">IndexedGetter</a> i s a = <span class="keyword">forall</span> k f. (<a href="Control-Lens-Indexed.html#t:Indexed">Indexed</a> i k, <a href="Control-Lens-Classes.html#t:Gettable">Gettable</a> f) =&gt; k (a -&gt; f a) (s -&gt; f s)</li><li class="src short"><span class="keyword">type</span> <a href="#t:IndexedGetting">IndexedGetting</a> i m s t a b = <a href="Control-Lens-Indexed.html#t:Index">Index</a> i (a -&gt; <a href="Control-Lens-Internal.html#t:Accessor">Accessor</a> m b) (s -&gt; <a href="Control-Lens-Internal.html#t:Accessor">Accessor</a> m t)</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:ReifiedIndexedGetter">ReifiedIndexedGetter</a> i s a = <a href="#v:ReifyIndexedGetter">ReifyIndexedGetter</a> {<ul class="subs"><li><a href="#v:reflectIndexedGetter">reflectIndexedGetter</a> :: <a href="Control-Lens-IndexedGetter.html#t:IndexedGetter">IndexedGetter</a> i s a</li></ul>}</li></ul></div><div id="interface"><h1 id="g:1">Indexed Folds
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:IndexedGetter" class="def">IndexedGetter</a> i s a = <span class="keyword">forall</span> k f. (<a href="Control-Lens-Indexed.html#t:Indexed">Indexed</a> i k, <a href="Control-Lens-Classes.html#t:Gettable">Gettable</a> f) =&gt; k (a -&gt; f a) (s -&gt; f s)<a href="src/Control-Lens-IndexedGetter.html#IndexedGetter" class="link">Source</a></p><div class="doc"><p>Every <code><a href="Control-Lens-IndexedGetter.html#t:IndexedGetter">IndexedGetter</a></code> is a valid <code><a href="Control-Lens-IndexedFold.html#t:IndexedFold">IndexedFold</a></code> and <code>Getter</code>.
</p></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:IndexedGetting" class="def">IndexedGetting</a> i m s t a b = <a href="Control-Lens-Indexed.html#t:Index">Index</a> i (a -&gt; <a href="Control-Lens-Internal.html#t:Accessor">Accessor</a> m b) (s -&gt; <a href="Control-Lens-Internal.html#t:Accessor">Accessor</a> m t)<a href="src/Control-Lens-IndexedGetter.html#IndexedGetting" class="link">Source</a></p><div class="doc"><p>Used to consume an <code><a href="Control-Lens-IndexedFold.html#t:IndexedFold">IndexedFold</a></code>.
View
2 Control-Lens-IndexedLens.html
@@ -1,7 +1,7 @@
<!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.IndexedLens</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-IndexedLens.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-IndexedLens.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>rank 2 types, MPTCs, TFs, flexible</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Control.Lens.IndexedLens</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Indexed Lenses
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-IndexedLens.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>rank 2 types, MPTCs, TFs, flexible</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Control.Lens.IndexedLens</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Indexed Lenses
</a></li><li><a href="#g:2">Common Indexed Lenses
</a></li><li><a href="#g:3">Indexed Lens Combinators
</a></li><li><a href="#g:4">Storing Indexed Lenses
View
2 Control-Lens-IndexedSetter.html
@@ -1,7 +1,7 @@
<!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.IndexedSetter</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-IndexedSetter.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-IndexedSetter.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>rank 2 types, MPTCs, TFs, flexible</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.IndexedSetter</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Indexed Setter
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-IndexedSetter.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>rank 2 types, MPTCs, TFs, flexible</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.IndexedSetter</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Indexed Setter
</a></li><li><a href="#g:2">Storing Indexed Setters
</a></li><li><a href="#g:3">Simple
</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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">type</span> <a href="#t:IndexedSetter">IndexedSetter</a> i s t a b = <span class="keyword">forall</span> f k. (<a href="Control-Lens-Indexed.html#t:Indexed">Indexed</a> i k, <a href="Control-Lens-Classes.html#t:Settable">Settable</a> f) =&gt; k (a -&gt; f b) (s -&gt; f t)</li><li class="src short"><a href="#v:imapOf">imapOf</a> :: <a href="Control-Lens-Type.html#t:Overloaded">Overloaded</a> (<a href="Control-Lens-Indexed.html#t:Index">Index</a> i) <a href="Control-Lens-Internal.html#t:Mutator">Mutator</a> s t a b -&gt; (i -&gt; a -&gt; b) -&gt; s -&gt; t</li><li class="src short"><a href="#v:iover">iover</a> :: <a href="Control-Lens-Type.html#t:Overloaded">Overloaded</a> (<a href="Control-Lens-Indexed.html#t:Index">Index</a> i) <a href="Control-Lens-Internal.html#t:Mutator">Mutator</a> s t a b -&gt; (i -&gt; a -&gt; b) -&gt; s -&gt; t</li><li class="src short"><a href="#v:isets">isets</a> :: ((i -&gt; a -&gt; b) -&gt; s -&gt; t) -&gt; <a href="Control-Lens-IndexedSetter.html#t:IndexedSetter">IndexedSetter</a> i s t a b</li><li class="src short"><a href="#v:-37--64--126-">(%@~)</a> :: <a href="Control-Lens-Type.html#t:Overloaded">Overloaded</a> (<a href="Control-Lens-Indexed.html#t:Index">Index</a> i) <a href="Control-Lens-Internal.html#t:Mutator">Mutator</a> s t a b -&gt; (i -&gt; a -&gt; b) -&gt; s -&gt; t</li><li class="src short"><a href="#v:-37--64--61-">(%@=)</a> :: MonadState s m =&gt; <a href="Control-Lens-Type.html#t:Overloaded">Overloaded</a> (<a href="Control-Lens-Indexed.html#t:Index">Index</a> i) <a href="Control-Lens-Internal.html#t:Mutator">Mutator</a> s s a b -&gt; (i -&gt; a -&gt; b) -&gt; m ()</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:ReifiedIndexedSetter">ReifiedIndexedSetter</a> i s t a b = <a href="#v:ReifyIndexedSetter">ReifyIndexedSetter</a> {<ul class="subs"><li><a href="#v:reflectIndexedSetter">reflectIndexedSetter</a> :: <a href="Control-Lens-IndexedSetter.html#t:IndexedSetter">IndexedSetter</a> i s t a b</li></ul>}</li><li class="src short"><span class="keyword">type</span> <a href="#t:SimpleIndexedSetter">SimpleIndexedSetter</a> i s a = <a href="Control-Lens-IndexedSetter.html#t:IndexedSetter">IndexedSetter</a> i s s a a</li><li class="src short"><span class="keyword">type</span> <a href="#t:SimpleReifiedIndexedSetter">SimpleReifiedIndexedSetter</a> i s a = <a href="Control-Lens-IndexedSetter.html#t:ReifiedIndexedSetter">ReifiedIndexedSetter</a> i s s a a</li></ul></div><div id="interface"><h1 id="g:1">Indexed Setter
View
2 Control-Lens-IndexedTraversal.html
@@ -1,7 +1,7 @@
<!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.IndexedTraversal</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-IndexedTraversal.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-IndexedTraversal.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>rank 2 types, MPTCs, TFs, flexible</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Control.Lens.IndexedTraversal</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Indexed Traversals
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-IndexedTraversal.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>rank 2 types, MPTCs, TFs, flexible</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Control.Lens.IndexedTraversal</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Indexed Traversals
</a></li><li><a href="#g:2">Common Indexed Traversals
</a></li><li><a href="#g:3">Indexed Traversal Combinators
</a></li><li><a href="#g:4">Storing Indexed Traversals
View
2 Control-Lens-Internal.html
@@ -1,7 +1,7 @@
<!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.Internal</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-Internal.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Internal.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Control.Lens.Internal</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Internal Types
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Internal.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Control.Lens.Internal</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Internal Types
</a></li><li><a href="#g:2">Hidden implementations
</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>These are some of the explicit Functor instances that leak into the
type signatures of Control.Lens. You shouldn't need to import this
View
2 Control-Lens-Iso.html
@@ -1,7 +1,7 @@
<!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.Iso</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-Iso.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Iso.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Iso</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Isomorphism Lenses
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Iso.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Iso</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Isomorphism Lenses
</a></li><li><a href="#g:2">Working with isomorphisms
</a></li><li><a href="#g:3">Primitive isomorphisms
</a><ul><li><a href="#g:4">Common Isomorphisms
View
2 Control-Lens-Isomorphic.html
@@ -1,7 +1,7 @@
<!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.Isomorphic</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-Isomorphic.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Isomorphic.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Isomorphic</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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> Category k =&gt; <a href="#t:Isomorphic">Isomorphic</a> k <span class="keyword">where</span><ul class="subs"><li><a href="#v:isomorphic">isomorphic</a> :: (a -&gt; b) -&gt; (b -&gt; a) -&gt; k a b</li><li><a href="#v:isomap">isomap</a> :: ((a -&gt; b) -&gt; c -&gt; d) -&gt; ((b -&gt; a) -&gt; d -&gt; c) -&gt; k a b -&gt; k c d</li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:Isomorphism">Isomorphism</a> a b = <a href="#v:Isomorphism">Isomorphism</a> (a -&gt; b) (b -&gt; a)</li><li class="src short"><a href="#v:from">from</a> :: <a href="Control-Lens-Isomorphic.html#t:Isomorphic">Isomorphic</a> k =&gt; <a href="Control-Lens-Isomorphic.html#t:Isomorphism">Isomorphism</a> a b -&gt; k b a</li><li class="src short"><a href="#v:via">via</a> :: <a href="Control-Lens-Isomorphic.html#t:Isomorphic">Isomorphic</a> k =&gt; <a href="Control-Lens-Isomorphic.html#t:Isomorphism">Isomorphism</a> a b -&gt; k a b</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> Category k =&gt; <a name="t:Isomorphic" class="def">Isomorphic</a> k <span class="keyword">where</span><a href="src/Control-Lens-Isomorphic.html#Isomorphic" class="link">Source</a></p><div class="doc"><p>Used to provide overloading of isomorphism application
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Isomorphic.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Isomorphic</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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> Category k =&gt; <a href="#t:Isomorphic">Isomorphic</a> k <span class="keyword">where</span><ul class="subs"><li><a href="#v:isomorphic">isomorphic</a> :: (a -&gt; b) -&gt; (b -&gt; a) -&gt; k a b</li><li><a href="#v:isomap">isomap</a> :: ((a -&gt; b) -&gt; c -&gt; d) -&gt; ((b -&gt; a) -&gt; d -&gt; c) -&gt; k a b -&gt; k c d</li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:Isomorphism">Isomorphism</a> a b = <a href="#v:Isomorphism">Isomorphism</a> (a -&gt; b) (b -&gt; a)</li><li class="src short"><a href="#v:from">from</a> :: <a href="Control-Lens-Isomorphic.html#t:Isomorphic">Isomorphic</a> k =&gt; <a href="Control-Lens-Isomorphic.html#t:Isomorphism">Isomorphism</a> a b -&gt; k b a</li><li class="src short"><a href="#v:via">via</a> :: <a href="Control-Lens-Isomorphic.html#t:Isomorphic">Isomorphic</a> k =&gt; <a href="Control-Lens-Isomorphic.html#t:Isomorphism">Isomorphism</a> a b -&gt; k a b</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> Category k =&gt; <a name="t:Isomorphic" class="def">Isomorphic</a> k <span class="keyword">where</span><a href="src/Control-Lens-Isomorphic.html#Isomorphic" class="link">Source</a></p><div class="doc"><p>Used to provide overloading of isomorphism application
</p><p>This is a <code>Category</code> with a canonical mapping to it from the
category of isomorphisms over Haskell types.
</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:isomorphic" class="def">isomorphic</a> :: (a -&gt; b) -&gt; (b -&gt; a) -&gt; k a b<a href="src/Control-Lens-Isomorphic.html#isomorphic" class="link">Source</a></p><div class="doc"><p>Build this morphism out of an isomorphism
View
2 Control-Lens-Loupe.html
@@ -1,7 +1,7 @@
<!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.Loupe</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-Loupe.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Loupe.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Loupe</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Lenses
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Loupe.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Loupe</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Lenses
</a></li><li><a href="#g:2">Simplified
</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>A <code><a href="Control-Lens-Loupe.html#t:Loupe">Loupe</a></code> is a minimalist <code><a href="Control-Lens-Type.html#t:Lens">Lens</a></code> suitable for storing in containers
or returning monadically that can still be composed with other lenses.
View
2 Control-Lens-Plated.html
@@ -1,7 +1,7 @@
<!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.Plated</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-Plated.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Plated.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Plated</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Uniplate
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Plated.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Plated</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Uniplate
</a></li><li><a href="#g:2">Uniplate Combinators
</a></li><li><a href="#g:3">Compos
</a></li><li><a href="#g:4">Parts
View
2 Control-Lens-Projection.html
@@ -1,7 +1,7 @@
<!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.Projection</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-Projection.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Projection.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>non-portable</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Projection</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Simple
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Projection.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>non-portable</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Projection</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Simple
</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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">type</span> <a href="#t:Projection">Projection</a> s t a b = <span class="keyword">forall</span> k f. (<a href="Control-Lens-Projection.html#t:Projective">Projective</a> k s b, Applicative f) =&gt; k (a -&gt; f b) (s -&gt; f s)</li><li class="src short"><span class="keyword">class</span> <a href="#t:Projective">Projective</a> k a d <span class="keyword">where</span><ul class="subs"><li><a href="#v:projective">projective</a> :: (d -&gt; a) -&gt; (x -&gt; y) -&gt; k x y</li></ul></li><li class="src short"><a href="#v:project">project</a> :: <a href="Control-Lens-Projection.html#t:Projective">Projective</a> k s b =&gt; <a href="Control-Lens-Type.html#t:Overloaded">Overloaded</a> (<a href="Control-Lens-Projection.html#t:Project">Project</a> s b) f s s a b -&gt; <a href="Control-Lens-Type.html#t:Overloaded">Overloaded</a> k f s s a b</li><li class="src short"><a href="#v:by">by</a> :: <a href="Control-Lens-Projection.html#t:Project">Project</a> s b (b -&gt; Identity b) (s -&gt; Identity s) -&gt; <a href="Control-Lens-Getter.html#t:Getter">Getter</a> b s</li><li class="src short"><span class="keyword">data</span> <a href="#t:Project">Project</a> s b x y = <a href="#v:Project">Project</a> (b -&gt; s) (x -&gt; y)</li><li class="src short"><a href="#v:projection">projection</a> :: (b -&gt; s) -&gt; (s -&gt; Maybe a) -&gt; <a href="Control-Lens-Projection.html#t:Projection">Projection</a> s t a b</li><li class="src short"><a href="#v:stereo">stereo</a> :: <a href="Control-Lens-Projection.html#t:Projective">Projective</a> k s a =&gt; <a href="Control-Lens-Projection.html#t:Project">Project</a> t a y z -&gt; <a href="Control-Lens-Projection.html#t:Project">Project</a> s t x y -&gt; k x z</li><li class="src short"><a href="#v:mirror">mirror</a> :: <a href="Control-Lens-Projection.html#t:Projective">Projective</a> k s a =&gt; <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Iso.html#t:Iso">Iso</a> s a -&gt; <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Projection.html#t:Projection">Projection</a> s a</li><li class="src short"><span class="keyword">type</span> <a href="#t:SimpleProjection">SimpleProjection</a> s a = <a href="Control-Lens-Projection.html#t:Projection">Projection</a> s s a a</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Projection" class="def">Projection</a> s t a b = <span class="keyword">forall</span> k f. (<a href="Control-Lens-Projection.html#t:Projective">Projective</a> k s b, Applicative f) =&gt; k (a -&gt; f b) (s -&gt; f s)<a href="src/Control-Lens-Projection.html#Projection" class="link">Source</a></p><div class="doc"><p>A <code><a href="Control-Lens-Projection.html#t:Projection">Projection</a></code> is a <code>Traversal</code> that can also be turned around with <code><a href="Control-Lens-Projection.html#v:by">by</a></code> to obtain a <code><a href="Control-Lens-Getter.html#t:Getter">Getter</a></code>
</p></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:Projective" class="def">Projective</a> k a d <span class="keyword">where</span><a href="src/Control-Lens-Projection.html#Projective" class="link">Source</a></p><div class="doc"><p>Used to provide overloading of projections.
</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:projective" class="def">projective</a> :: (d -&gt; a) -&gt; (x -&gt; y) -&gt; k x y<a href="src/Control-Lens-Projection.html#projective" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:Projective" class="caption collapser" onclick="toggleSection('i:Projective')">Instances</p><div id="section.i:Projective" class="show"><table><tr><td class="src"><a href="Control-Lens-Projection.html#t:Projective">Projective</a> (-&gt;) a d</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src">(~ * s s', ~ * b b') =&gt; <a href="Control-Lens-Projection.html#t:Projective">Projective</a> (<a href="Control-Lens-Projection.html#t:Project">Project</a> s b) s' b'</td><td class="doc empty">&nbsp;</td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:project" class="def">project</a> :: <a href="Control-Lens-Projection.html#t:Projective">Projective</a> k s b =&gt; <a href="Control-Lens-Type.html#t:Overloaded">Overloaded</a> (<a href="Control-Lens-Projection.html#t:Project">Project</a> s b) f s s a b -&gt; <a href="Control-Lens-Type.html#t:Overloaded">Overloaded</a> k f s s a b<a href="src/Control-Lens-Projection.html#project" class="link">Source</a></p><div class="doc"><p>Reflect a <code><a href="Control-Lens-Projection.html#t:Projection">Projection</a></code>.
View
2 Control-Lens-Representable.html
@@ -1,7 +1,7 @@
<!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.Representable</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-Representable.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Representable.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>RankNTypes</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Representable</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Representable Functors
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Representable.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>RankNTypes</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Representable</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Representable Functors
</a></li><li><a href="#g:2">Using Lenses as Representations
</a></li><li><a href="#g:3">Default definitions
</a></li><li><a href="#g:4">Wrapped Representations
View
2 Control-Lens-Setter.html
@@ -1,7 +1,7 @@
<!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.Setter</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-Setter.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Setter.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Setter</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Setters
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Setter.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Setter</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Setters
</a></li><li><a href="#g:2">Building Setters
</a></li><li><a href="#g:3">Common Setters
</a></li><li><a href="#g:4">Functional Combinators
View
2 Control-Lens-Simple.html
@@ -1,7 +1,7 @@
<!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.Simple</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-Simple.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Simple.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Simple</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Infix type operators for simple lenses and traversals.
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Simple.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Simple</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Infix type operators for simple lenses and traversals.
</p></div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">type</span> <a href="#t::-45--62-">:-&gt;</a> s a = <span class="keyword">forall</span> f. Functor f =&gt; (a -&gt; f a) -&gt; s -&gt; f s</li><li class="src short"><span class="keyword">type</span> <a href="#t::-61--62-">:=&gt;</a> s a = <span class="keyword">forall</span> f. Applicative f =&gt; (a -&gt; f a) -&gt; s -&gt; f s</li><li class="src short"><span class="keyword">type</span> <a href="#t::-60--45--62-">:&lt;-&gt;</a> s a = <a href="Control-Lens-Iso.html#t:Iso">Iso</a> s s a a</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">type</span> <a name="t::-45--62-" class="def">:-&gt;</a> s a = <span class="keyword">forall</span> f. Functor f =&gt; (a -&gt; f a) -&gt; s -&gt; f s<a href="src/Control-Lens-Simple.html#%3A-%3E" class="link">Source</a></p><div class="doc"><p>This is a commonly used infix alias for a <code><code><a href="Control-Lens-Type.html#t:Simple">Simple</a></code> <code><a href="Control-Lens-Type.html#t:Lens">Lens</a></code></code>.
</p></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t::-61--62-" class="def">:=&gt;</a> s a = <span class="keyword">forall</span> f. Applicative f =&gt; (a -&gt; f a) -&gt; s -&gt; f s<a href="src/Control-Lens-Simple.html#%3A%3D%3E" class="link">Source</a></p><div class="doc"><p>This is a commonly-used infix alias for a <code><code><a href="Control-Lens-Type.html#t:Simple">Simple</a></code> <code><a href="Control-Lens-Traversal.html#t:Traversal">Traversal</a></code></code>.
</p></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t::-60--45--62-" class="def">:&lt;-&gt;</a> s a = <a href="Control-Lens-Iso.html#t:Iso">Iso</a> s s a a<a href="src/Control-Lens-Simple.html#%3A%3C-%3E" class="link">Source</a></p><div class="doc"><p>This is a commonly-used infix alias for a <code><code><a href="Control-Lens-Type.html#t:Simple">Simple</a></code> <code><a href="Control-Lens-Iso.html#t:Iso">Iso</a></code></code>
View
2 Control-Lens-TH.html
@@ -1,7 +1,7 @@
<!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.TH</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-TH.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-TH.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>TemplateHaskell</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Control.Lens.TH</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Constructing Lenses Automatically
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-TH.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>TemplateHaskell</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Control.Lens.TH</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Constructing Lenses Automatically
</a></li><li><a href="#g:2">Configuring Lenses
</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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"><a href="#v:makeLenses">makeLenses</a> :: Name -&gt; Q [Dec]</li><li class="src short"><a href="#v:makeLensesFor">makeLensesFor</a> :: [(String, String)] -&gt; Name -&gt; Q [Dec]</li><li class="src short"><a href="#v:makeClassy">makeClassy</a> :: Name -&gt; Q [Dec]</li><li class="src short"><a href="#v:makeClassyFor">makeClassyFor</a> :: String -&gt; String -&gt; [(String, String)] -&gt; Name -&gt; Q [Dec]</li><li class="src short"><a href="#v:makeIso">makeIso</a> :: Name -&gt; Q [Dec]</li><li class="src short"><a href="#v:makeLensesWith">makeLensesWith</a> :: <a href="Control-Lens-TH.html#t:LensRules">LensRules</a> -&gt; Name -&gt; Q [Dec]</li><li class="src short"><a href="#v:defaultRules">defaultRules</a> :: <a href="Control-Lens-TH.html#t:LensRules">LensRules</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:LensRules">LensRules</a> = <a href="#v:LensRules">LensRules</a> (String -&gt; Maybe String) (String -&gt; Maybe String) (String -&gt; Maybe (String, String)) (Set <a href="Control-Lens-TH.html#t:LensFlag">LensFlag</a>)</li><li class="src short"><a href="#v:lensRules">lensRules</a> :: <a href="Control-Lens-TH.html#t:LensRules">LensRules</a></li><li class="src short"><a href="#v:classyRules">classyRules</a> :: <a href="Control-Lens-TH.html#t:LensRules">LensRules</a></li><li class="src short"><a href="#v:isoRules">isoRules</a> :: <a href="Control-Lens-TH.html#t:LensRules">LensRules</a></li><li class="src short"><a href="#v:lensIso">lensIso</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> <a href="Control-Lens-TH.html#t:LensRules">LensRules</a> (String -&gt; Maybe String)</li><li class="src short"><a href="#v:lensField">lensField</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> <a href="Control-Lens-TH.html#t:LensRules">LensRules</a> (String -&gt; Maybe String)</li><li class="src short"><a href="#v:lensClass">lensClass</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> <a href="Control-Lens-TH.html#t:LensRules">LensRules</a> (String -&gt; Maybe (String, String))</li><li class="src short"><a href="#v:lensFlags">lensFlags</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> <a href="Control-Lens-TH.html#t:LensRules">LensRules</a> (Set <a href="Control-Lens-TH.html#t:LensFlag">LensFlag</a>)</li><li class="src short"><span class="keyword">data</span> <a href="#t:LensFlag">LensFlag</a> <ul class="subs"><li>= <a href="#v:SimpleLenses">SimpleLenses</a> </li><li>| <a href="#v:PartialLenses">PartialLenses</a> </li><li>| <a href="#v:BuildTraversals">BuildTraversals</a> </li><li>| <a href="#v:SingletonAndField">SingletonAndField</a> </li><li>| <a href="#v:SingletonIso">SingletonIso</a> </li><li>| <a href="#v:HandleSingletons">HandleSingletons</a> </li><li>| <a href="#v:SingletonRequired">SingletonRequired</a> </li><li>| <a href="#v:CreateClass">CreateClass</a> </li><li>| <a href="#v:CreateInstance">CreateInstance</a> </li><li>| <a href="#v:ClassRequired">ClassRequired</a> </li><li>| <a href="#v:GenerateSignatures">GenerateSignatures</a> </li></ul></li><li class="src short"><a href="#v:simpleLenses">simpleLenses</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> <a href="Control-Lens-TH.html#t:LensRules">LensRules</a> Bool</li><li class="src short"><a href="#v:partialLenses">partialLenses</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> <a href="Control-Lens-TH.html#t:LensRules">LensRules</a> Bool</li><li class="src short"><a href="#v:buildTraversals">buildTraversals</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> <a href="Control-Lens-TH.html#t:LensRules">LensRules</a> Bool</li><li class="src short"><a href="#v:handleSingletons">handleSingletons</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> <a href="Control-Lens-TH.html#t:LensRules">LensRules</a> Bool</li><li class="src short"><a href="#v:singletonIso">singletonIso</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> <a href="Control-Lens-TH.html#t:LensRules">LensRules</a> Bool</li><li class="src short"><a href="#v:singletonRequired">singletonRequired</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> <a href="Control-Lens-TH.html#t:LensRules">LensRules</a> Bool</li><li class="src short"><a href="#v:createClass">createClass</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> <a href="Control-Lens-TH.html#t:LensRules">LensRules</a> Bool</li><li class="src short"><a href="#v:createInstance">createInstance</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> <a href="Control-Lens-TH.html#t:LensRules">LensRules</a> Bool</li><li class="src short"><a href="#v:classRequired">classRequired</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> <a href="Control-Lens-TH.html#t:LensRules">LensRules</a> Bool</li><li class="src short"><a href="#v:singletonAndField">singletonAndField</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> <a href="Control-Lens-TH.html#t:LensRules">LensRules</a> Bool</li><li class="src short"><a href="#v:generateSignatures">generateSignatures</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> <a href="Control-Lens-TH.html#t:LensRules">LensRules</a> Bool</li></ul></div><div id="interface"><h1 id="g:1">Constructing Lenses Automatically
</h1><div class="top"><p class="src"><a name="v:makeLenses" class="def">makeLenses</a> :: Name -&gt; Q [Dec]<a href="src/Control-Lens-TH.html#makeLenses" class="link">Source</a></p><div class="doc"><p>Build lenses (and traversals) with a sensible default configuration.
View
2 Control-Lens-Traversal.html
@@ -1,7 +1,7 @@
<!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.Traversal</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-Traversal.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Traversal.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Traversal</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Lenses
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Traversal.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Traversal</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Lenses
</a><ul><li><a href="#g:2">Lensing Traversals
</a></li></ul></li><li><a href="#g:3">Traversing and Lensing
</a></li><li><a href="#g:4">Parts and Holes
View
2 Control-Lens-Tuple.html
@@ -1,7 +1,7 @@
<!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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</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
+</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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</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></ul></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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 -&gt; a, t -&gt; b, s b -&gt; t, t a -&gt; 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 -&gt; a, t -&gt; b, s b -&gt; t, t a -&gt; 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 -&gt; a, t -&gt; b, s b -&gt; t, t a -&gt; 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 -&gt; a, t -&gt; b, s b -&gt; t, t a -&gt; 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 -&gt; a, t -&gt; b, s b -&gt; t, t a -&gt; 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 -&gt; a, t -&gt; b, s b -&gt; t, t a -&gt; 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 -&gt; a, t -&gt; b, s b -&gt; t, t a -&gt; 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 -&gt; a, t -&gt; b, s b -&gt; t, t a -&gt; 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 -&gt; a, t -&gt; b, s b -&gt; t, t a -&gt; 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></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 -&gt; a, t -&gt; b, s b -&gt; t, t a -&gt; 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 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).
View
2 Control-Lens-Type.html
@@ -1,7 +1,7 @@
<!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.Type</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-Type.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Type.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Type</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Lenses
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Type.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Lens.Type</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Lenses
</a></li><li><a href="#g:2">Lateral Composition
</a></li><li><a href="#g:3">Setting Functionally with Passthrough
</a></li><li><a href="#g:4">Setting State with Passthrough
View
6 Control-Lens-Unsafe.html
@@ -1,7 +1,7 @@
<!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.Unsafe</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-Unsafe.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Unsafe.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Unsafe</td></tr></table><p class="caption">Control.Lens.Unsafe</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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:Trustworthy">Trustworthy</a> f </li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:Trustworthy" class="def">Trustworthy</a> f <a href="src/Control-Lens-Unsafe.html#Trustworthy" class="link">Source</a></p><div class="doc"><p>This class is only exported by this untrustworthy module, but is a superclass of <code>Gettable</code>.
-</p><p>This is required because otherwise you could construct <code>unsafeCoerce</code> using <code>EvilBazaar</code> and
- an illegal <code>Gettable</code> instance that uses <code>undefined</code>.
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Unsafe.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Unsafe</td></tr></table><p class="caption">Control.Lens.Unsafe</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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:Trustworthy">Trustworthy</a> f </li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:Trustworthy" class="def">Trustworthy</a> f <a href="src/Control-Lens-Unsafe.html#Trustworthy" class="link">Source</a></p><div class="doc"><p>This class is only exported by this untrustworthy module, but is a superclass of <code>Gettable</code>.
+</p><p>This is required because otherwise you could construct <code><a href="Unsafe-Coerce.html#t:unsafeCoerce">unsafeCoerce</a></code> using <code><a href="Control-Lens-Internal-BazaarT.html#t:BazaarT">BazaarT</a></code> and
+ an illegal <code><a href="Control-Lens-Classes.html#t:Gettable">Gettable</a></code> instance that uses <code><code><a href="Control-Lens-Classes.html#t:coerce">coerce</a></code> = <code>undefined</code></code>.
</p></div><div class="subs instances"><p id="control.i:Trustworthy" class="caption collapser" onclick="toggleSection('i:Trustworthy')">Instances</p><div id="section.i:Trustworthy" class="show"><table><tr><td class="src"><a href="Control-Lens-Unsafe.html#t:Trustworthy">Trustworthy</a> Identity</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="Control-Lens-Unsafe.html#t:Trustworthy">Trustworthy</a> (Const a)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="Control-Lens-Unsafe.html#t:Trustworthy">Trustworthy</a> f =&gt; <a href="Control-Lens-Unsafe.html#t:Trustworthy">Trustworthy</a> (Backwards f)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="Control-Lens-Unsafe.html#t:Trustworthy">Trustworthy</a> f =&gt; <a href="Control-Lens-Unsafe.html#t:Trustworthy">Trustworthy</a> (<a href="Control-Lens-Internal.html#t:ElementOf">ElementOf</a> f)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="Control-Lens-Unsafe.html#t:Trustworthy">Trustworthy</a> (<a href="Control-Lens-Internal.html#t:Accessor">Accessor</a> r)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="Control-Lens-Unsafe.html#t:Trustworthy">Trustworthy</a> f =&gt; <a href="Control-Lens-Unsafe.html#t:Trustworthy">Trustworthy</a> (<a href="Control-Lens-Internal.html#t:Indexing">Indexing</a> f)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="Control-Lens-Unsafe.html#t:Trustworthy">Trustworthy</a> g =&gt; <a href="Control-Lens-Unsafe.html#t:Trustworthy">Trustworthy</a> (Compose f g)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="Control-Lens-Unsafe.html#t:Trustworthy">Trustworthy</a> (<a href="Control-Lens-Internal.html#t:Effect">Effect</a> m r)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="Control-Lens-Unsafe.html#t:Trustworthy">Trustworthy</a> g =&gt; <a href="Control-Lens-Unsafe.html#t:Trustworthy">Trustworthy</a> (<a href="Control-Lens-Internal.html#t:BazaarT">BazaarT</a> a b g)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="Control-Lens-Unsafe.html#t:Trustworthy">Trustworthy</a> (<a href="Control-Lens-Internal.html#t:EffectRWS">EffectRWS</a> w st m s)</td><td class="doc empty">&nbsp;</td></tr></table></div></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.13.1</p></div></body></html>
View
2 Control-Lens-WithIndex.html
@@ -1,7 +1,7 @@
<!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.WithIndex</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-WithIndex.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-WithIndex.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Control.Lens.WithIndex</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Indexed Functors
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-WithIndex.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Control.Lens.WithIndex</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Indexed Functors
</a></li><li><a href="#g:2">Indexed Foldables
</a><ul><li><a href="#g:3">Indexed Foldable Combinators
</a></li></ul></li><li><a href="#g:4">Converting to Folds
View
2 Control-Lens-Zipper.html
@@ -1,7 +1,7 @@
<!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.Zipper</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-Zipper.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Zipper.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>non-portable</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Control.Lens.Zipper</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Zippers
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Zipper.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>non-portable</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Control.Lens.Zipper</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Zippers
</a><ul><li><a href="#g:2">Focusing
</a></li><li><a href="#g:3">Horizontal movement
</a></li><li><a href="#g:4">Lateral movement
View
2 Control-Lens-Zoom.html
@@ -1,7 +1,7 @@
<!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.Zoom</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-Zoom.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Zoom.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Control.Lens.Zoom</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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> (MonadReader b m, MonadReader a n) =&gt; <a href="#t:Magnify">Magnify</a> m n k b a | m -&gt; b, n -&gt; a, m a -&gt; n, n b -&gt; m <span class="keyword">where</span><ul class="subs"><li><a href="#v:magnify">magnify</a> :: ((b -&gt; k c b) -&gt; a -&gt; k c a) -&gt; m c -&gt; n c</li></ul></li><li class="src short"><span class="keyword">class</span> (MonadState s m, MonadState t n) =&gt; <a href="#t:Zoom">Zoom</a> m n k s t | m -&gt; s k, n -&gt; t k, m t -&gt; n, n s -&gt; m <span class="keyword">where</span><ul class="subs"><li><a href="#v:zoom">zoom</a> :: Monad m =&gt; <a href="Control-Lens-Type.html#t:SimpleLensLike">SimpleLensLike</a> (k c) t s -&gt; m c -&gt; n c</li></ul></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> (MonadReader b m, MonadReader a n) =&gt; <a name="t:Magnify" class="def">Magnify</a> m n k b a | m -&gt; b, n -&gt; a, m a -&gt; n, n b -&gt; m <span class="keyword">where</span><a href="src/Control-Lens-Zoom.html#Magnify" class="link">Source</a></p><div class="doc"><p>This class allows us to use <code><a href="Control-Lens-Zoom.html#v:magnify">magnify</a></code> part of the environment, changing the environment supplied by
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Zoom.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Control.Lens.Zoom</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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> (MonadReader b m, MonadReader a n) =&gt; <a href="#t:Magnify">Magnify</a> m n k b a | m -&gt; b, n -&gt; a, m a -&gt; n, n b -&gt; m <span class="keyword">where</span><ul class="subs"><li><a href="#v:magnify">magnify</a> :: ((b -&gt; k c b) -&gt; a -&gt; k c a) -&gt; m c -&gt; n c</li></ul></li><li class="src short"><span class="keyword">class</span> (MonadState s m, MonadState t n) =&gt; <a href="#t:Zoom">Zoom</a> m n k s t | m -&gt; s k, n -&gt; t k, m t -&gt; n, n s -&gt; m <span class="keyword">where</span><ul class="subs"><li><a href="#v:zoom">zoom</a> :: Monad m =&gt; <a href="Control-Lens-Type.html#t:SimpleLensLike">SimpleLensLike</a> (k c) t s -&gt; m c -&gt; n c</li></ul></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> (MonadReader b m, MonadReader a n) =&gt; <a name="t:Magnify" class="def">Magnify</a> m n k b a | m -&gt; b, n -&gt; a, m a -&gt; n, n b -&gt; m <span class="keyword">where</span><a href="src/Control-Lens-Zoom.html#Magnify" class="link">Source</a></p><div class="doc"><p>This class allows us to use <code><a href="Control-Lens-Zoom.html#v:magnify">magnify</a></code> part of the environment, changing the environment supplied by
many different monad transformers. Unlike <code><a href="Control-Lens-Zoom.html#v:zoom">zoom</a></code> this can change the environment of a deeply nested monad transformer.
</p><p>Also, unlike <code><a href="Control-Lens-Zoom.html#v:zoom">zoom</a></code>, this can be used with any valid <code><a href="Control-Lens-Getter.html#t:Getter">Getter</a></code>, but cannot be used with a <code>Traversal</code> or <code>Fold</code>.
</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:magnify" class="def">magnify</a> :: ((b -&gt; k c b) -&gt; a -&gt; k c a) -&gt; m c -&gt; n c<a href="src/Control-Lens-Zoom.html#magnify" class="link">Source</a></p><div class="doc"><p>Run a monadic action in a larger environment than it was defined in, using a <code><a href="Control-Lens-Getter.html#t:Getter">Getter</a></code>.
View
2 Control-Lens.html
@@ -1,7 +1,7 @@
<!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</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.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Control.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Usage:
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Control.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Usage:
</p><p>You can derive lenses automatically for many data types:
</p><pre>
import Control.Lens
View
2 Control-Parallel-Strategies-Lens.html
@@ -1,7 +1,7 @@
<!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.Parallel.Strategies.Lens</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-Parallel-Strategies-Lens.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Parallel-Strategies-Lens.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>portable</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Control.Parallel.Strategies.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>A <code><a href="Control-Lens-Type.html#t:Lens">Lens</a></code> or <code><a href="Control-Lens-Traversal.html#t:Traversal">Traversal</a></code> can be used to take the role of <code><a href="Control-Lens-Traversal.html#t:Traversable">Traversable</a></code> in
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Parallel-Strategies-Lens.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>portable</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Control.Parallel.Strategies.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>A <code><a href="Control-Lens-Type.html#t:Lens">Lens</a></code> or <code><a href="Control-Lens-Traversal.html#t:Traversal">Traversal</a></code> can be used to take the role of <code><a href="Control-Lens-Traversal.html#t:Traversable">Traversable</a></code> in
<code>Control.Parallel.Strategies</code>, enabling those combinators to work with
monomorphic containers.
</p></div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><a href="#v:evalOf">evalOf</a> :: <a href="Control-Lens-Type.html#t:SimpleLensLike">SimpleLensLike</a> Eval s a -&gt; Strategy a -&gt; Strategy s</li><li class="src short"><a href="#v:parOf">parOf</a> :: <a href="Control-Lens-Type.html#t:SimpleLensLike">SimpleLensLike</a> Eval s a -&gt; Strategy a -&gt; Strategy s</li><li class="src short"><a href="#v:after">after</a> :: Strategy s -&gt; <a href="Control-Lens-Type.html#t:LensLike">LensLike</a> f s t a b -&gt; <a href="Control-Lens-Type.html#t:LensLike">LensLike</a> f s t a b</li><li class="src short"><a href="#v:throughout">throughout</a> :: Strategy s -&gt; <a href="Control-Lens-Type.html#t:LensLike">LensLike</a> f s t a b -&gt; <a href="Control-Lens-Type.html#t:LensLike">LensLike</a> f s t a b</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:evalOf" class="def">evalOf</a> :: <a href="Control-Lens-Type.html#t:SimpleLensLike">SimpleLensLike</a> Eval s a -&gt; Strategy a -&gt; Strategy s<a href="src/Control-Parallel-Strategies-Lens.html#evalOf" class="link">Source</a></p><div class="doc"><p>Evaluate the targets of a <code><a href="Control-Lens-Type.html#t:Lens">Lens</a></code> or <code><a href="Control-Lens-Traversal.html#t:Traversal">Traversal</a></code> into a data structure
View
2 Control-Seq-Lens.html
@@ -1,7 +1,7 @@
<!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.Seq.Lens</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-Seq-Lens.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Seq-Lens.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>portable</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Control.Seq.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>A <code><a href="Control-Lens-Fold.html#t:Fold">Fold</a></code> can be used to take the role of <code>Foldable</code> in <code>Control.Seq</code>
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Seq-Lens.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>portable</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Control.Seq.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>A <code><a href="Control-Lens-Fold.html#t:Fold">Fold</a></code> can be used to take the role of <code>Foldable</code> in <code>Control.Seq</code>
</p></div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><a href="#v:seqOf">seqOf</a> :: <a href="Control-Lens-Getter.html#t:Getting">Getting</a> (Endo [a]) s t a b -&gt; Strategy a -&gt; Strategy s</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:seqOf" class="def">seqOf</a> :: <a href="Control-Lens-Getter.html#t:Getting">Getting</a> (Endo [a]) s t a b -&gt; Strategy a -&gt; Strategy s<a href="src/Control-Seq-Lens.html#seqOf" class="link">Source</a></p><div class="doc"><p>Evaluate the elements targeted by a <code><a href="Control-Lens-Type.html#t:Lens">Lens</a></code>, <code><a href="Control-Lens-Traversal.html#t:Traversal">Traversal</a></code>, <code><a href="Control-Lens-Iso.html#t:Iso">Iso</a></code>,
<code><a href="Control-Lens-Getter.html#t:Getter">Getter</a></code> or <code><a href="Control-Lens-Fold.html#t:Fold">Fold</a></code> according to the given strategy.
</p><pre><code>seqFoldable</code> = <code><a href="Control-Seq-Lens.html#v:seqOf">seqOf</a></code> <code><a href="Control-Lens-Fold.html#v:folded">folded</a></code></pre></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.13.1</p></div></body></html>
View
2 Data-Array-Lens.html
@@ -1,7 +1,7 @@
<!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>Data.Array.Lens</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_Data-Array-Lens.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-Array-Lens.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>MPTCs, Rank2Types, LiberalTypeSynonyms</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Data.Array.Lens</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Indexing
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-Array-Lens.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>MPTCs, Rank2Types, LiberalTypeSynonyms</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Data.Array.Lens</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Indexing
</a></li><li><a href="#g:2">Setters
</a></li><li><a href="#g:3">Traversal
</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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"><a href="#v:ix">ix</a> :: (IArray a e, Ix i) =&gt; i -&gt; <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> (a i e) e</li><li class="src short"><a href="#v:ixmapped">ixmapped</a> :: (IArray a e, Ix i, Ix j) =&gt; (i, i) -&gt; <a href="Control-Lens-Setter.html#t:Setter">Setter</a> (a j e) (a i e) i j</li><li class="src short"><a href="#v:traverseArray">traverseArray</a> :: (IArray arr a, IArray arr b, Ix i) =&gt; <a href="Control-Lens-IndexedTraversal.html#t:IndexedTraversal">IndexedTraversal</a> i (arr i a) (arr i b) a b</li></ul></div><div id="interface"><h1 id="g:1">Indexing
View
2 Data-Bits-Lens.html
@@ -1,7 +1,7 @@
<!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>Data.Bits.Lens</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_Data-Bits-Lens.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-Bits-Lens.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>LiberalTypeSynonyms</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Data.Bits.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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"><a href="#v:-124--126-">(|~)</a> :: Bits a =&gt; <a href="Control-Lens-Setter.html#t:Setting">Setting</a> s t a a -&gt; a -&gt; s -&gt; t</li><li class="src short"><a href="#v:-38--126-">(&amp;~)</a> :: Bits a =&gt; <a href="Control-Lens-Setter.html#t:Setting">Setting</a> s t a a -&gt; a -&gt; s -&gt; t</li><li class="src short"><a href="#v:-60--124--126-">(&lt;|~)</a> :: Bits a =&gt; <a href="Control-Lens-Type.html#t:LensLike">LensLike</a> ((,) a) s t a a -&gt; a -&gt; s -&gt; (a, t)</li><li class="src short"><a href="#v:-60--38--126-">(&lt;&amp;~)</a> :: Bits a =&gt; <a href="Control-Lens-Type.html#t:LensLike">LensLike</a> ((,) a) s t a a -&gt; a -&gt; s -&gt; (a, t)</li><li class="src short"><a href="#v:-124--61-">(|=)</a> :: (MonadState s m, Bits a) =&gt; <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Setter.html#t:Setting">Setting</a> s a -&gt; a -&gt; m ()</li><li class="src short"><a href="#v:-38--61-">(&amp;=)</a> :: (MonadState s m, Bits a) =&gt; <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Setter.html#t:Setting">Setting</a> s a -&gt; a -&gt; m ()</li><li class="src short"><a href="#v:-60--124--61-">(&lt;|=)</a> :: (MonadState s m, Bits a) =&gt; <a href="Control-Lens-Type.html#t:SimpleLensLike">SimpleLensLike</a> ((,) a) s a -&gt; a -&gt; m a</li><li class="src short"><a href="#v:-60--38--61-">(&lt;&amp;=)</a> :: (MonadState s m, Bits a) =&gt; <a href="Control-Lens-Type.html#t:SimpleLensLike">SimpleLensLike</a> ((,) a) s a -&gt; a -&gt; m a</li><li class="src short"><a href="#v:bitAt">bitAt</a> :: Bits b =&gt; Int -&gt; <a href="Control-Lens-IndexedLens.html#t:SimpleIndexedLens">SimpleIndexedLens</a> Int b Bool</li><li class="src short"><a href="#v:traverseBits">traverseBits</a> :: (Num b, Bits b) =&gt; <a href="Control-Lens-IndexedTraversal.html#t:SimpleIndexedTraversal">SimpleIndexedTraversal</a> Int b Bool</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:-124--126-" class="def">(|~)</a> :: Bits a =&gt; <a href="Control-Lens-Setter.html#t:Setting">Setting</a> s t a a -&gt; a -&gt; s -&gt; t<a href="src/Data-Bits-Lens.html#%7C~" class="link">Source</a></p><div class="doc"><p>Bitwise <code>.|.</code> the target(s) of a <code><a href="Control-Lens-Type.html#t:Lens">Lens</a></code> or <code><a href="Control-Lens-Setter.html#t:Setter">Setter</a></code>
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-Bits-Lens.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>LiberalTypeSynonyms</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Data.Bits.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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"><a href="#v:-124--126-">(|~)</a> :: Bits a =&gt; <a href="Control-Lens-Setter.html#t:Setting">Setting</a> s t a a -&gt; a -&gt; s -&gt; t</li><li class="src short"><a href="#v:-38--126-">(&amp;~)</a> :: Bits a =&gt; <a href="Control-Lens-Setter.html#t:Setting">Setting</a> s t a a -&gt; a -&gt; s -&gt; t</li><li class="src short"><a href="#v:-60--124--126-">(&lt;|~)</a> :: Bits a =&gt; <a href="Control-Lens-Type.html#t:LensLike">LensLike</a> ((,) a) s t a a -&gt; a -&gt; s -&gt; (a, t)</li><li class="src short"><a href="#v:-60--38--126-">(&lt;&amp;~)</a> :: Bits a =&gt; <a href="Control-Lens-Type.html#t:LensLike">LensLike</a> ((,) a) s t a a -&gt; a -&gt; s -&gt; (a, t)</li><li class="src short"><a href="#v:-124--61-">(|=)</a> :: (MonadState s m, Bits a) =&gt; <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Setter.html#t:Setting">Setting</a> s a -&gt; a -&gt; m ()</li><li class="src short"><a href="#v:-38--61-">(&amp;=)</a> :: (MonadState s m, Bits a) =&gt; <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Setter.html#t:Setting">Setting</a> s a -&gt; a -&gt; m ()</li><li class="src short"><a href="#v:-60--124--61-">(&lt;|=)</a> :: (MonadState s m, Bits a) =&gt; <a href="Control-Lens-Type.html#t:SimpleLensLike">SimpleLensLike</a> ((,) a) s a -&gt; a -&gt; m a</li><li class="src short"><a href="#v:-60--38--61-">(&lt;&amp;=)</a> :: (MonadState s m, Bits a) =&gt; <a href="Control-Lens-Type.html#t:SimpleLensLike">SimpleLensLike</a> ((,) a) s a -&gt; a -&gt; m a</li><li class="src short"><a href="#v:bitAt">bitAt</a> :: Bits b =&gt; Int -&gt; <a href="Control-Lens-IndexedLens.html#t:SimpleIndexedLens">SimpleIndexedLens</a> Int b Bool</li><li class="src short"><a href="#v:traverseBits">traverseBits</a> :: (Num b, Bits b) =&gt; <a href="Control-Lens-IndexedTraversal.html#t:SimpleIndexedTraversal">SimpleIndexedTraversal</a> Int b Bool</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:-124--126-" class="def">(|~)</a> :: Bits a =&gt; <a href="Control-Lens-Setter.html#t:Setting">Setting</a> s t a a -&gt; a -&gt; s -&gt; t<a href="src/Data-Bits-Lens.html#%7C~" class="link">Source</a></p><div class="doc"><p>Bitwise <code>.|.</code> the target(s) of a <code><a href="Control-Lens-Type.html#t:Lens">Lens</a></code> or <code><a href="Control-Lens-Setter.html#t:Setter">Setter</a></code>
</p><pre class="screen"><code class="prompt">&gt;&gt;&gt; </code><strong class="userinput"><code>_2 |~ 6 $ (&quot;hello&quot;,3)
</code></strong>(&quot;hello&quot;,7)
</pre><pre>
View
2 Data-ByteString-Lazy-Lens.html
@@ -1,7 +1,7 @@
<!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>Data.ByteString.Lazy.Lens</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_Data-ByteString-Lazy-Lens.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-ByteString-Lazy-Lens.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>portable</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Data.ByteString.Lazy.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Lenses for lazy bytestrings
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-ByteString-Lazy-Lens.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>portable</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Data.ByteString.Lazy.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Lenses for lazy bytestrings
</p></div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><a href="#v:packedBytes">packedBytes</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Iso.html#t:Iso">Iso</a> [Word8] ByteString</li><li class="src short"><a href="#v:bytes">bytes</a> :: <a href="Control-Lens-IndexedTraversal.html#t:SimpleIndexedTraversal">SimpleIndexedTraversal</a> Int ByteString Word8</li><li class="src short"><a href="#v:packedChars">packedChars</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Iso.html#t:Iso">Iso</a> String ByteString</li><li class="src short"><a href="#v:chars">chars</a> :: <a href="Control-Lens-IndexedTraversal.html#t:SimpleIndexedTraversal">SimpleIndexedTraversal</a> Int ByteString Char</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:packedBytes" class="def">packedBytes</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Iso.html#t:Iso">Iso</a> [Word8] ByteString<a href="src/Data-ByteString-Lazy-Lens.html#packedBytes" class="link">Source</a></p><div class="doc"><p><code><a href="Data-ByteString-Lazy.html#t:pack">pack</a></code> (or <code><a href="Data-ByteString-Lazy.html#t:unpack">unpack</a></code>) a list of bytes into a <code>ByteString</code>
</p><pre><code><a href="Data-ByteString-Lazy.html#t:pack">pack</a></code> x = x <code><a href="Control-Lens-Getter.html#v:-94-.">^.</a></code> <code><a href="Data-ByteString-Lazy-Lens.html#v:packedBytes">packedBytes</a></code></pre><pre><code><a href="Data-ByteString-Lazy.html#t:unpack">unpack</a></code> x = x <code><a href="Control-Lens-Getter.html#v:-94-.">^.</a></code> <code><a href="Control-Lens-Isomorphic.html#v:from">from</a></code> <code><a href="Data-ByteString-Lazy-Lens.html#v:packedBytes">packedBytes</a></code></pre></div></div><div class="top"><p class="src"><a name="v:bytes" class="def">bytes</a> :: <a href="Control-Lens-IndexedTraversal.html#t:SimpleIndexedTraversal">SimpleIndexedTraversal</a> Int ByteString Word8<a href="src/Data-ByteString-Lazy-Lens.html#bytes" class="link">Source</a></p><div class="doc"><p>Traverse the individual bytes in a <code>ByteString</code>
</p><pre><code><a href="Data-ByteString-Lazy-Lens.html#v:bytes">bytes</a></code> = <code><a href="Control-Lens-Isomorphic.html#v:from">from</a></code> <code><a href="Data-ByteString-Lazy-Lens.html#v:packedBytes">packedBytes</a></code> . <code><a href="Control-Lens-WithIndex.html#v:itraversed">itraversed</a></code></pre><pre><code><a href="Control-Lens-Fold.html#v:anyOf">anyOf</a></code> <code><a href="Data-ByteString-Lazy-Lens.html#v:bytes">bytes</a></code> (<code>==</code> 0x80) :: <code>ByteString</code> -&gt; <code>Bool</code></pre></div></div><div class="top"><p class="src"><a name="v:packedChars" class="def">packedChars</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Iso.html#t:Iso">Iso</a> String ByteString<a href="src/Data-ByteString-Lazy-Lens.html#packedChars" class="link">Source</a></p><div class="doc"><p><code><a href="Data-ByteString-Lazy-Char8.html#t:pack">pack</a></code> (or <code><a href="Data-ByteString-Lazy-Char8.html#t:unpack">unpack</a></code>) a list of characters into a <code>ByteString</code>
View
2 Data-ByteString-Lens.html
@@ -1,7 +1,7 @@
<!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>Data.ByteString.Lens</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_Data-ByteString-Lens.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-ByteString-Lens.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>portable</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Data.ByteString.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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:IsByteString">IsByteString</a> t <span class="keyword">where</span><ul class="subs"><li><a href="#v:packedBytes">packedBytes</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Iso.html#t:Iso">Iso</a> [Word8] t</li><li><a href="#v:packedChars">packedChars</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Iso.html#t:Iso">Iso</a> String t</li><li><a href="#v:bytes">bytes</a> :: <a href="Control-Lens-IndexedTraversal.html#t:SimpleIndexedTraversal">SimpleIndexedTraversal</a> Int t Word8</li><li><a href="#v:chars">chars</a> :: <a href="Control-Lens-IndexedTraversal.html#t:SimpleIndexedTraversal">SimpleIndexedTraversal</a> Int t Char</li></ul></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:IsByteString" class="def">IsByteString</a> t <span class="keyword">where</span><a href="src/Data-ByteString-Lens.html#IsByteString" class="link">Source</a></p><div class="doc"><p>Traversals for ByteStrings.
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-ByteString-Lens.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>portable</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Data.ByteString.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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:IsByteString">IsByteString</a> t <span class="keyword">where</span><ul class="subs"><li><a href="#v:packedBytes">packedBytes</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Iso.html#t:Iso">Iso</a> [Word8] t</li><li><a href="#v:packedChars">packedChars</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Iso.html#t:Iso">Iso</a> String t</li><li><a href="#v:bytes">bytes</a> :: <a href="Control-Lens-IndexedTraversal.html#t:SimpleIndexedTraversal">SimpleIndexedTraversal</a> Int t Word8</li><li><a href="#v:chars">chars</a> :: <a href="Control-Lens-IndexedTraversal.html#t:SimpleIndexedTraversal">SimpleIndexedTraversal</a> Int t Char</li></ul></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:IsByteString" class="def">IsByteString</a> t <span class="keyword">where</span><a href="src/Data-ByteString-Lens.html#IsByteString" class="link">Source</a></p><div class="doc"><p>Traversals for ByteStrings.
</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:packedBytes" class="def">packedBytes</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Iso.html#t:Iso">Iso</a> [Word8] t<a href="src/Data-ByteString-Lens.html#packedBytes" class="link">Source</a></p><div class="doc"><p><code><a href="Data-ByteString.html#t:pack">pack</a></code> (or <code><a href="Data-ByteString.html#t:unpack">unpack</a></code>) a list of bytes into a strict or lazy <code>ByteString</code>
</p><pre><code><a href="Data-ByteString.html#t:pack">pack</a></code> x = x <code><a href="Control-Lens-Getter.html#v:-94-.">^.</a></code> <code><a href="Data-ByteString-Lens.html#v:packedBytes">packedBytes</a></code></pre><pre><code><a href="Data-ByteString.html#t:unpack">unpack</a></code> x = x <code><a href="Control-Lens-Getter.html#v:-94-.">^.</a></code> <code><a href="Control-Lens-Isomorphic.html#v:from">from</a></code> <code><a href="Data-ByteString-Lens.html#v:packedBytes">packedBytes</a></code></pre></div><p class="src"><a name="v:packedChars" class="def">packedChars</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Iso.html#t:Iso">Iso</a> String t<a href="src/Data-ByteString-Lens.html#packedChars" class="link">Source</a></p><div class="doc"><p><code><a href="Data-ByteString-Char8.html#t:pack">pack</a></code> (or <code><a href="Data-ByteString-Char8.html#t:unpack">unpack</a></code>) a list of characters into a strict or lazy <code>ByteString</code>
</p><p>When writing back to the <code>ByteString</code> it is assumed that every <code>Char</code>
View
2 Data-ByteString-Strict-Lens.html
@@ -1,7 +1,7 @@
<!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>Data.ByteString.Strict.Lens</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_Data-ByteString-Strict-Lens.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-ByteString-Strict-Lens.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>portable</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Data.ByteString.Strict.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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"><a href="#v:packedBytes">packedBytes</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Iso.html#t:Iso">Iso</a> [Word8] ByteString</li><li class="src short"><a href="#v:bytes">bytes</a> :: <a href="Control-Lens-IndexedTraversal.html#t:SimpleIndexedTraversal">SimpleIndexedTraversal</a> Int ByteString Word8</li><li class="src short"><a href="#v:packedChars">packedChars</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Iso.html#t:Iso">Iso</a> String ByteString</li><li class="src short"><a href="#v:chars">chars</a> :: <a href="Control-Lens-IndexedTraversal.html#t:SimpleIndexedTraversal">SimpleIndexedTraversal</a> Int ByteString Char</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:packedBytes" class="def">packedBytes</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Iso.html#t:Iso">Iso</a> [Word8] ByteString<a href="src/Data-ByteString-Strict-Lens.html#packedBytes" class="link">Source</a></p><div class="doc"><p><code><a href="Data-ByteString.html#t:pack">pack</a></code> (or <code><a href="Data-ByteString.html#t:unpack">unpack</a></code>) a list of bytes into a <code>ByteString</code>
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-ByteString-Strict-Lens.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>portable</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Data.ByteString.Strict.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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"><a href="#v:packedBytes">packedBytes</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Iso.html#t:Iso">Iso</a> [Word8] ByteString</li><li class="src short"><a href="#v:bytes">bytes</a> :: <a href="Control-Lens-IndexedTraversal.html#t:SimpleIndexedTraversal">SimpleIndexedTraversal</a> Int ByteString Word8</li><li class="src short"><a href="#v:packedChars">packedChars</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Iso.html#t:Iso">Iso</a> String ByteString</li><li class="src short"><a href="#v:chars">chars</a> :: <a href="Control-Lens-IndexedTraversal.html#t:SimpleIndexedTraversal">SimpleIndexedTraversal</a> Int ByteString Char</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:packedBytes" class="def">packedBytes</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Iso.html#t:Iso">Iso</a> [Word8] ByteString<a href="src/Data-ByteString-Strict-Lens.html#packedBytes" class="link">Source</a></p><div class="doc"><p><code><a href="Data-ByteString.html#t:pack">pack</a></code> (or <code><a href="Data-ByteString.html#t:unpack">unpack</a></code>) a list of bytes into a <code>ByteString</code>
</p><pre><code><a href="Data-ByteString.html#t:pack">pack</a></code> x = x <code><a href="Control-Lens-Getter.html#v:-94-.">^.</a></code> <code><a href="Data-ByteString-Strict-Lens.html#v:packedBytes">packedBytes</a></code></pre><pre><code><a href="Data-ByteString.html#t:unpack">unpack</a></code> x = x <code><a href="Control-Lens-Getter.html#v:-94-.">^.</a></code> <code><a href="Control-Lens-Isomorphic.html#v:from">from</a></code> <code><a href="Data-ByteString-Strict-Lens.html#v:packedBytes">packedBytes</a></code></pre></div></div><div class="top"><p class="src"><a name="v:bytes" class="def">bytes</a> :: <a href="Control-Lens-IndexedTraversal.html#t:SimpleIndexedTraversal">SimpleIndexedTraversal</a> Int ByteString Word8<a href="src/Data-ByteString-Strict-Lens.html#bytes" class="link">Source</a></p><div class="doc"><p>Traverse each <code>Word8</code> in a <code>ByteString</code>
</p><pre><code><a href="Data-ByteString-Strict-Lens.html#v:bytes">bytes</a></code> = <code><a href="Control-Lens-Isomorphic.html#v:from">from</a></code> <code><a href="Data-ByteString-Strict-Lens.html#v:packedBytes">packedBytes</a></code> <code><a href="Control-Lens-Indexed.html#v:.-62-">.&gt;</a></code> <code><a href="Control-Lens-WithIndex.html#v:itraversed">itraversed</a></code></pre><pre><code><a href="Control-Lens-Fold.html#v:anyOf">anyOf</a></code> <code><a href="Data-ByteString-Strict-Lens.html#v:bytes">bytes</a></code> (<code>==</code> 0x80) :: <code>ByteString</code> -&gt; <code>Bool</code></pre></div></div><div class="top"><p class="src"><a name="v:packedChars" class="def">packedChars</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Iso.html#t:Iso">Iso</a> String ByteString<a href="src/Data-ByteString-Strict-Lens.html#packedChars" class="link">Source</a></p><div class="doc"><p><code><a href="Data-ByteString-Char8.html#t:pack">pack</a></code> (or <code><a href="Data-ByteString-Char8.html#t:unpack">unpack</a></code>) a list of characters into a <code>ByteString</code>
</p><p>When writing back to the <code>ByteString</code> it is assumed that every <code>Char</code>
View
2 Data-Complex-Lens.html
@@ -1,7 +1,7 @@
<!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>Data.Complex.Lens</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_Data-Complex-Lens.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-Complex-Lens.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Data.Complex.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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"><a href="#v:real">real</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> (Complex a) a</li><li class="src short"><a href="#v:imaginary">imaginary</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> (Complex a) a</li><li class="src short"><a href="#v:polarize">polarize</a> :: (RealFloat a, RealFloat b) =&gt; <a href="Control-Lens-Iso.html#t:Iso">Iso</a> (Complex a) (Complex b) (a, a) (b, b)</li><li class="src short"><a href="#v:traverseComplex">traverseComplex</a> :: <a href="Control-Lens-Traversal.html#t:Traversal">Traversal</a> (Complex a) (Complex b) a b</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:real" class="def">real</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> (Complex a) a<a href="src/Data-Complex-Lens.html#real" class="link">Source</a></p><div class="doc"><p>Access the <code>realPart</code> of a <code>Complex</code> number
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-Complex-Lens.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Data.Complex.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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"><a href="#v:real">real</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> (Complex a) a</li><li class="src short"><a href="#v:imaginary">imaginary</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> (Complex a) a</li><li class="src short"><a href="#v:polarize">polarize</a> :: (RealFloat a, RealFloat b) =&gt; <a href="Control-Lens-Iso.html#t:Iso">Iso</a> (Complex a) (Complex b) (a, a) (b, b)</li><li class="src short"><a href="#v:traverseComplex">traverseComplex</a> :: <a href="Control-Lens-Traversal.html#t:Traversal">Traversal</a> (Complex a) (Complex b) a b</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:real" class="def">real</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> (Complex a) a<a href="src/Data-Complex-Lens.html#real" class="link">Source</a></p><div class="doc"><p>Access the <code>realPart</code> of a <code>Complex</code> number
</p><pre class="screen"><code class="prompt">&gt;&gt;&gt; </code><strong class="userinput"><code>(1.0 :+ 0.0)^.real
</code></strong>1.0
</pre><pre><code><a href="Data-Complex-Lens.html#v:real">real</a></code> :: <code>Functor</code> f =&gt; (a -&gt; f a) -&gt; <code>Complex</code> a -&gt; f (<code>Complex</code> a)</pre></div></div><div class="top"><p class="src"><a name="v:imaginary" class="def">imaginary</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> (Complex a) a<a href="src/Data-Complex-Lens.html#imaginary" class="link">Source</a></p><div class="doc"><p>Access the <code>imaginaryPart</code> of a <code>Complex</code> number
View
2 Data-Data-Lens.html
@@ -1,7 +1,7 @@
<!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>Data.Data.Lens</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_Data-Data-Lens.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-Data-Lens.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Data.Data.Lens</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Traversal of Data
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-Data-Lens.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Data.Data.Lens</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Traversal of Data
</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Smart and na&#239;ve generic traversals given <code>Data</code> instances.
</p><p><code><a href="Data-Data-Lens.html#v:template">template</a></code>, <code><a href="Data-Data-Lens.html#v:uniplate">uniplate</a></code>, and <code><a href="Data-Data-Lens.html#v:biplate">biplate</a></code> each build up information about what
types can be contained within another type to speed up <code><a href="Control-Lens-Traversal.html#t:Traversal">Traversal</a></code>.
View
2 Data-Dynamic-Lens.html
@@ -1,7 +1,7 @@
<!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>Data.Dynamic.Lens</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_Data-Dynamic-Lens.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-Dynamic-Lens.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>portable</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Data.Dynamic.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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"><a href="#v:dynamic">dynamic</a> :: (Typeable a, Typeable b) =&gt; <a href="Control-Lens-Projection.html#t:Projection">Projection</a> Dynamic Dynamic a b</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:dynamic" class="def">dynamic</a> :: (Typeable a, Typeable b) =&gt; <a href="Control-Lens-Projection.html#t:Projection">Projection</a> Dynamic Dynamic a b<a href="src/Data-Dynamic-Lens.html#dynamic" class="link">Source</a></p><div class="doc"><p>Traverse the typed value contained in a <code>Dynamic</code> where the type required by your function matches that
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-Dynamic-Lens.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>portable</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Data.Dynamic.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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"><a href="#v:dynamic">dynamic</a> :: (Typeable a, Typeable b) =&gt; <a href="Control-Lens-Projection.html#t:Projection">Projection</a> Dynamic Dynamic a b</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:dynamic" class="def">dynamic</a> :: (Typeable a, Typeable b) =&gt; <a href="Control-Lens-Projection.html#t:Projection">Projection</a> Dynamic Dynamic a b<a href="src/Data-Dynamic-Lens.html#dynamic" class="link">Source</a></p><div class="doc"><p>Traverse the typed value contained in a <code>Dynamic</code> where the type required by your function matches that
of the contents of the <code>Dynamic</code>.
</p><pre class="screen"><code class="prompt">&gt;&gt;&gt; </code><strong class="userinput"><code>()^.by dynamic
</code></strong>&lt;&lt;()&gt;&gt;
View
2 Data-HashSet-Lens.html
@@ -1,7 +1,7 @@
<!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>Data.HashSet.Lens</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_Data-HashSet-Lens.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-HashSet-Lens.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>portable</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Data.HashSet.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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"><a href="#v:setmapped">setmapped</a> :: (Eq i, Hashable i, Eq j, Hashable j) =&gt; <a href="Control-Lens-Setter.html#t:Setter">Setter</a> (HashSet i) (HashSet j) i j</li><li class="src short"><a href="#v:setOf">setOf</a> :: Hashable a =&gt; <a href="Control-Lens-Getter.html#t:Getting">Getting</a> (HashSet a) s t a b -&gt; s -&gt; HashSet a</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:setmapped" class="def">setmapped</a> :: (Eq i, Hashable i, Eq j, Hashable j) =&gt; <a href="Control-Lens-Setter.html#t:Setter">Setter</a> (HashSet i) (HashSet j) i j<a href="src/Data-HashSet-Lens.html#setmapped" class="link">Source</a></p><div class="doc"><p>This <code><a href="Control-Lens-Setter.html#t:Setter">Setter</a></code> can be used to change the type of a <code>HashSet</code> by mapping
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-HashSet-Lens.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>portable</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Data.HashSet.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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"><a href="#v:setmapped">setmapped</a> :: (Eq i, Hashable i, Eq j, Hashable j) =&gt; <a href="Control-Lens-Setter.html#t:Setter">Setter</a> (HashSet i) (HashSet j) i j</li><li class="src short"><a href="#v:setOf">setOf</a> :: Hashable a =&gt; <a href="Control-Lens-Getter.html#t:Getting">Getting</a> (HashSet a) s t a b -&gt; s -&gt; HashSet a</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:setmapped" class="def">setmapped</a> :: (Eq i, Hashable i, Eq j, Hashable j) =&gt; <a href="Control-Lens-Setter.html#t:Setter">Setter</a> (HashSet i) (HashSet j) i j<a href="src/Data-HashSet-Lens.html#setmapped" class="link">Source</a></p><div class="doc"><p>This <code><a href="Control-Lens-Setter.html#t:Setter">Setter</a></code> can be used to change the type of a <code>HashSet</code> by mapping
the elements to new values.
</p><p>Sadly, you can't create a valid <code><a href="Control-Lens-Traversal.html#t:Traversal">Traversal</a></code> for a <code>Set</code>, but you can
manipulate it by reading using <code>folded</code> and reindexing it via <code><a href="Data-HashSet-Lens.html#v:setmapped">setmapped</a></code>.
View
2 Data-IntSet-Lens.html
@@ -1,7 +1,7 @@
<!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>Data.IntSet.Lens</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_Data-IntSet-Lens.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-IntSet-Lens.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>portable</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Data.IntSet.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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"><a href="#v:members">members</a> :: <a href="Control-Lens-Fold.html#t:Fold">Fold</a> IntSet Int</li><li class="src short"><a href="#v:setmapped">setmapped</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Setter.html#t:Setter">Setter</a> IntSet Int</li><li class="src short"><a href="#v:setOf">setOf</a> :: <a href="Control-Lens-Getter.html#t:Getting">Getting</a> IntSet s t Int b -&gt; s -&gt; IntSet</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:members" class="def">members</a> :: <a href="Control-Lens-Fold.html#t:Fold">Fold</a> IntSet Int<a href="src/Data-IntSet-Lens.html#members" class="link">Source</a></p><div class="doc"><p>IntSet isn't Foldable, but this <code><a href="Control-Lens-Fold.html#t:Fold">Fold</a></code> can be used to access the members of an <code>IntSet</code>.
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-IntSet-Lens.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>portable</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Data.IntSet.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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"><a href="#v:members">members</a> :: <a href="Control-Lens-Fold.html#t:Fold">Fold</a> IntSet Int</li><li class="src short"><a href="#v:setmapped">setmapped</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Setter.html#t:Setter">Setter</a> IntSet Int</li><li class="src short"><a href="#v:setOf">setOf</a> :: <a href="Control-Lens-Getter.html#t:Getting">Getting</a> IntSet s t Int b -&gt; s -&gt; IntSet</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:members" class="def">members</a> :: <a href="Control-Lens-Fold.html#t:Fold">Fold</a> IntSet Int<a href="src/Data-IntSet-Lens.html#members" class="link">Source</a></p><div class="doc"><p>IntSet isn't Foldable, but this <code><a href="Control-Lens-Fold.html#t:Fold">Fold</a></code> can be used to access the members of an <code>IntSet</code>.
</p><pre class="screen"><code class="prompt">&gt;&gt;&gt; </code><strong class="userinput"><code>sumOf members $ setOf folded [1,2,3,4]
</code></strong>10
</pre></div></div><div class="top"><p class="src"><a name="v:setmapped" class="def">setmapped</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Setter.html#t:Setter">Setter</a> IntSet Int<a href="src/Data-IntSet-Lens.html#setmapped" class="link">Source</a></p><div class="doc"><p>This <code><a href="Control-Lens-Setter.html#t:Setter">Setter</a></code> can be used to change the contents of an <code>IntSet</code> by mapping
View
2 Data-List-Lens.html
@@ -1,7 +1,7 @@
<!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>Data.List.Lens</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_Data-List-Lens.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-List-Lens.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>portable</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Data.List.Lens</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Partial Lenses
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-List-Lens.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>portable</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Data.List.Lens</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Partial Lenses
</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Traversals for manipulating parts of a list.
</p></div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><a href="#v:_head">_head</a> :: <a href="Control-Lens-IndexedTraversal.html#t:SimpleIndexedTraversal">SimpleIndexedTraversal</a> Int [a] a</li><li class="src short"><a href="#v:_tail">_tail</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Traversal.html#t:Traversal">Traversal</a> [a] [a]</li><li class="src short"><a href="#v:_last">_last</a> :: <a href="Control-Lens-IndexedTraversal.html#t:SimpleIndexedTraversal">SimpleIndexedTraversal</a> Int [a] a</li><li class="src short"><a href="#v:_init">_init</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Traversal.html#t:Traversal">Traversal</a> [a] [a]</li></ul></div><div id="interface"><h1 id="g:1">Partial Lenses
</h1><div class="top"><p class="src"><a name="v:_head" class="def">_head</a> :: <a href="Control-Lens-IndexedTraversal.html#t:SimpleIndexedTraversal">SimpleIndexedTraversal</a> Int [a] a<a href="src/Data-List-Lens.html#_head" class="link">Source</a></p><div class="doc"><p>A <code><a href="Control-Lens-Traversal.html#t:Traversal">Traversal</a></code> reading and writing to the <code>head</code> of a <em>non-empty</em> list.
View
2 Data-List-Split-Lens.html
@@ -1,7 +1,7 @@
<!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>Data.List.Split.Lens</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_Data-List-Split-Lens.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-List-Split-Lens.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Data.List.Split.Lens</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Splitting Folds
+</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-List-Split-Lens.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-3.5.1: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Data.List.Split.Lens</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Splitting Folds
</a></li><li><a href="#g:2">Lenses for <code>Splitter</code> Internals
</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Lenses for working with Data.List.Split
</p></div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><a href="#v:splitting">splitting</a> :: (Applicative f, <a href="Control-Lens-Classes.html#t:Gettable">Gettable</a> f) =&gt; Splitter a -&gt; <a href="Control-Lens-Getter.html#t:Getting">Getting</a> (Endo [a]) s s a a -&gt; <a href="Control-Lens-Type.html#t:LensLike">LensLike</a> f s s [a] [a]</li><li class="src short"><a href="#v:splittingOn">splittingOn</a> :: (Applicative f, <a href="Control-Lens-Classes.html#t:Gettable">Gettable</a> f, Eq a) =&gt; [a] -&gt; <a href="Control-Lens-Getter.html#t:Getting">Getting</a> (Endo [a]) s s a a -&gt; <a href="Control-Lens-Type.html#t:LensLike">LensLike</a> f s s [a] [a]</li><li class="src short"><a href="#v:splittingOneOf">splittingOneOf</a> :: (Applicative f, <a href="Control-Lens-Classes.html#t:Gettable">Gettable</a> f, Eq a) =&gt; [a] -&gt; <a href="Control-Lens-Getter.html#t:Getting">Getting</a> (Endo [a]) s s a a -&gt; <a href="Control-Lens-Type.html#t:LensLike">LensLike</a> f s s [a] [a]</li><li class="src short"><a href="#v:splittingWhen">splittingWhen</a> :: (Applicative f, <a href="Control-Lens-Classes.html#t:Gettable">Gettable</a> f, Eq a) =&gt; (a -&gt; Bool) -&gt; <a href="Control-Lens-Getter.html#t:Getting">Getting</a> (Endo [a]) s s a a -&gt; <a href="Control-Lens-Type.html#t:LensLike">LensLike</a> f s s [a] [a]</li><li class="src short"><a href="#v:endingBy">endingBy</a> :: (Applicative f, <a href="Control-Lens-Classes.html#t:Gettable">Gettable</a> f, Eq a) =&gt; [a] -&gt; <a href="Control-Lens-Getter.html#t:Getting">Getting</a> (Endo [a]) s s a a -&gt; <a href="Control-Lens-Type.html#t:LensLike">LensLike</a> f s s [a] [a]</li><li class="src short"><a href="#v:endingByOneOf">endingByOneOf</a> :: (Applicative f, <a href="Control-Lens-Classes.html#t:Gettable">Gettable</a> f, Eq a) =&gt; [a] -&gt; <a href="Control-Lens-Getter.html#t:Getting">Getting</a> (Endo [a]) s s a a -&gt; <a href="Control-Lens-Type.html#t:LensLike">LensLike</a> f s s [a] [a]</li><li class="src short"><a href="#v:wordingBy">wordingBy</a> :: (Applicative f, <a href="Control-Lens-Classes.html#t:Gettable">Gettable</a> f, Eq a) =&gt; (a -&gt; Bool) -&gt; <a href="Control-Lens-Getter.html#t:Getting">Getting</a> (Endo [a]) s s a a -&gt; <a href="Control-Lens-Type.html#t:LensLike">LensLike</a> f s s [a] [a]</li><li class="src short"><a href="#v:liningBy">liningBy</a> :: (Applicative f, <a href="Control-Lens-Classes.html#t:Gettable">Gettable</a> f, Eq a) =&gt; (a -&gt; Bool) -&gt; <a href="Control-Lens-Getter.html#t:Getting">Getting</a> (Endo [a]) s s a a -&gt; <a href="Control-Lens-Type.html#t:LensLike">LensLike</a> f s s [a] [a]</li><li class="src short"><a href="#v:chunking">chunking</a> :: (Applicative f, <a href="Control-Lens-Classes.html#t:Gettable">Gettable</a> f) =&gt; Int -&gt; <a href="Control-Lens-Getter.html#t:Getting">Getting</a> (Endo [a]) s s a a -&gt; <a href="Control-Lens-Type.html#t:LensLike">LensLike</a> f s s [a] [a]</li><li class="src short"><a href="#v:splittingPlaces">splittingPlaces</a> :: (Applicative f, <a href="Control-Lens-Classes.html#t:Gettable">Gettable</a> f, Integral n) =&gt; [n] -&gt; <a href="Control-Lens-Getter.html#t:Getting">Getting</a> (Endo [a]) s s a a -&gt; <a href="Control-Lens-Type.html#t:LensLike">LensLike</a> f s s [a] [a]</li><li class="src short"><a href="#v:splittingPlacesBlanks">splittingPlacesBlanks</a> :: (Applicative f, <a href="Control-Lens-Classes.html#t:Gettable">Gettable</a> f, Integral n) =&gt; [n] -&gt; <a href="Control-Lens-Getter.html#t:Getting">Getting</a> (Endo [a]) s s a a -&gt; <a href="Control-Lens-Type.html#t:LensLike">LensLike</a> f s s [a] [a]</li><li class="src short"><a href="#v:delimiters">delimiters</a> :: <a href="Control-Lens-Type.html#t:Lens">Lens</a> (Splitter a) (Splitter b) [a -&gt; Bool] [b -&gt; Bool]</li><li class="src short"><a href="#v:delimiting">delimiting</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> (Splitter a) DelimPolicy</li><li class="src short"><a href="#v:condensing">condensing</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> (Splitter a) Bool</li><li class="src short"><a href="#v:keepInitialBlanks">keepInitialBlanks</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> (Splitter a) Bool</li><li class="src short"><a href="#v:keepFinalBlanks">keepFinalBlanks</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Type.html#t:Lens">Lens</a> (Splitter a) Bool</li></ul></div><div id="interface"><h1 id="g:1">Splitting Folds
View
2 Data-Monoid-Lens.html
@@ -1,7 +1,7 @@
<!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>Data.Monoid.Lens</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_Data-Monoid-Lens.html");};
//]]>
-</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-Monoid-Lens.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-3.5: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Rank2Types</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Data.Monoid.Lens</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</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"><a href="#v:-60--62--126-">(&lt;&gt;~)</a> :: Monoid a =&gt; <a href="Control-Lens-Setter.html#t:Setting">Setting</a> s t a a -&gt; a -&gt; s -&gt; t</li><li class="src short"><a href="#v:-60--60--62--126-">(&lt;&lt;&gt;~)</a> :: Monoid m =&gt; <a href="Control-Lens-Type.html#t:LensLike">LensLike</a> ((,) m) s t m m -&gt; m -&gt; s -&gt; (m, t)</li><li class="src short"><a href="#v:-60--62--61-">(&lt;&gt;=)</a> :: (MonadState s m, Monoid a) =&gt; <a href="Control-Lens-Setter.html#t:SimpleSetting">SimpleSetting</a> s a -&gt; a -&gt; m ()</li><li class="src short"><a href="#v:-60--60--62--61-">(&lt;&lt;&gt;=)</a> :: (MonadState s m, Monoid r) =&gt; <a href="Control-Lens-Type.html#t:SimpleLensLike">SimpleLensLike</a> ((,) r) s r -&gt; r -&gt; m r</li><li class="src short"><a href="#v:_dual">_dual</a> :: <a href="Control-Lens-Iso.html#t:Iso">Iso</a> a b (Dual a) (Dual b)</li><li class="src short"><a href="#v:_endo">_endo</a> :: <a href="Control-Lens-Iso.html#t:Iso">Iso</a> (a -&gt; a) (b -&gt; b) (Endo a) (Endo b)</li><li class="src short"><a href="#v:_all">_all</a> :: <a href="Control-Lens-Type.html#t:Simple">Simple</a> <a href="Control-Lens-Iso.html#t:Iso">Iso</a> Bool All</li><li class="src short"><a href="#v:_any">_any</a> :: <a href="Control-Lens-Type.html#t:Simple"&