/usr/share/doc/libghc-lens-doc/html/Data-Vector-Lens.html is in libghc-lens-doc 4.15.4-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 | <!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.Vector.Lens</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="file:///usr/share/javascript/mathjax/MathJax.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Data-Vector-Lens.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-Vector-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-4.15.4: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th valign="top">Copyright</th><td>(C) 2012-16 Edward Kmett</td></tr><tr><th>License</th><td>BSD-style (see the file LICENSE)</td></tr><tr><th>Maintainer</th><td>Edward Kmett <ekmett@gmail.com></td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Portability</th><td>non-portable</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr><tr><th>Language</th><td>Haskell98</td></tr></table><p class="caption">Data.Vector.Lens</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Isomorphisms</a></li><li><a href="#g:2">Lenses</a></li><li><a href="#g:3">Traversal of individual indices</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>This module provides lenses and traversals for working with generic
vectors.</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:toVectorOf">toVectorOf</a> :: <a href="Control-Lens-Getter.html#t:Getting">Getting</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Endo">Endo</a> [a]) s a -> s -> <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a</li><li class="src short"><a href="#v:vector">vector</a> :: <a href="Control-Lens-Type.html#t:Iso">Iso</a> [a] [b] (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a) (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> b)</li><li class="src short"><a href="#v:forced">forced</a> :: <a href="Control-Lens-Type.html#t:Iso">Iso</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a) (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> b) (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a) (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> b)</li><li class="src short"><a href="#v:sliced">sliced</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Control-Lens-Type.html#t:Lens-39-">Lens'</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a) (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a)</li><li class="src short"><a href="#v:ordinals">ordinals</a> :: [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a>] -> <a href="Control-Lens-Type.html#t:IndexedTraversal-39-">IndexedTraversal'</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a) a</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:toVectorOf" class="def">toVectorOf</a> :: <a href="Control-Lens-Getter.html#t:Getting">Getting</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Endo">Endo</a> [a]) s a -> s -> <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a <a href="src/Data-Vector-Lens.html#toVectorOf" class="link">Source</a> <a href="#v:toVectorOf" class="selflink">#</a></p><div class="doc"><p>Similar to <code><a href="Control-Lens-Fold.html#v:toListOf">toListOf</a></code>, but returning a <code><a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a></code>.</p><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>toVectorOf both (8,15) == Vector.fromList [8,15]
</code></strong>True
</pre></div></div><h1 id="g:1">Isomorphisms</h1><div class="top"><p class="src"><a id="v:vector" class="def">vector</a> :: <a href="Control-Lens-Type.html#t:Iso">Iso</a> [a] [b] (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a) (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> b) <a href="src/Data-Vector-Lens.html#vector" class="link">Source</a> <a href="#v:vector" class="selflink">#</a></p><div class="doc"><p>Convert a list to a <code><a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a></code> (or back)</p><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>[1,2,3] ^. vector == Vector.fromList [1,2,3]
</code></strong>True
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>[1,2,3] ^. vector . from vector
</code></strong>[1,2,3]
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>Vector.fromList [0,8,15] ^. from vector . vector == Vector.fromList [0,8,15]
</code></strong>True
</pre></div></div><div class="top"><p class="src"><a id="v:forced" class="def">forced</a> :: <a href="Control-Lens-Type.html#t:Iso">Iso</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a) (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> b) (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a) (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> b) <a href="src/Data-Vector-Lens.html#forced" class="link">Source</a> <a href="#v:forced" class="selflink">#</a></p><div class="doc"><p>Convert a <code><a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a></code> to a version that doesn't retain any extra
memory.</p></div></div><h1 id="g:2">Lenses</h1><div class="top"><p class="src"><a id="v:sliced" class="def">sliced</a> <a href="src/Data-Vector-Lens.html#sliced" class="link">Source</a> <a href="#v:sliced" class="selflink">#</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></td><td class="doc"><p><code>i</code> starting index</p></td></tr><tr><td class="src">-> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></td><td class="doc"><p><code>n</code> length</p></td></tr><tr><td class="src">-> <a href="Control-Lens-Type.html#t:Lens-39-">Lens'</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a) (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a)</td><td class="doc empty"> </td></tr></table></div><div class="doc"><p><code>sliced i n</code> provides a <code><a href="Control-Lens-Type.html#t:Lens">Lens</a></code> that edits the <code>n</code> elements starting
at index <code>i</code> from a <code><a href="Control-Lens-Type.html#t:Lens">Lens</a></code>.</p><p>This is only a valid <code><a href="Control-Lens-Type.html#t:Lens">Lens</a></code> if you do not change the length of the
resulting <code><a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a></code>.</p><p>Attempting to return a longer or shorter vector will result in
violations of the <code><a href="Control-Lens-Type.html#t:Lens">Lens</a></code> laws.</p><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>Vector.fromList [1..10] ^. sliced 2 5 == Vector.fromList [3,4,5,6,7]
</code></strong>True
</pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>(Vector.fromList [1..10] & sliced 2 5 . mapped .~ 0) == Vector.fromList [1,2,0,0,0,0,0,8,9,10]
</code></strong>True
</pre></div></div><h1 id="g:3">Traversal of individual indices</h1><div class="top"><p class="src"><a id="v:ordinals" class="def">ordinals</a> :: [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a>] -> <a href="Control-Lens-Type.html#t:IndexedTraversal-39-">IndexedTraversal'</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a) a <a href="src/Data-Vector-Lens.html#ordinals" class="link">Source</a> <a href="#v:ordinals" class="selflink">#</a></p><div class="doc"><p>This <code><a href="Control-Lens-Type.html#t:Traversal">Traversal</a></code> will ignore any duplicates in the supplied list
of indices.</p><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>toListOf (ordinals [1,3,2,5,9,10]) $ Vector.fromList [2,4..40]
</code></strong>[4,8,6,12,20,22]
</pre></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.3</p></div></body></html>
|