This file is indexed.

/usr/share/doc/libghc-vector-doc/html/mini_Data-Vector-Generic-Mutable.html is in libghc-vector-doc 0.12.0.1-2build1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

1
2
3
4
<!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.Generic.Mutable</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();};
//]]>
</script></head><body id="mini"><div id="module-header"><p class="caption">Data.Vector.Generic.Mutable</p></div><div id="interface"><h1>Class of mutable vector types</h1><div class="top"><p class="src"><span class="keyword">class</span> <a href="Data-Vector-Generic-Mutable.html#t:MVector" target="main">MVector</a> v a</p></div><h1>Accessors</h1><h2>Length information</h2><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:length" target="main">length</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:null" target="main">null</a></p></div><h2>Extracting subvectors</h2><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:slice" target="main">slice</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:init" target="main">init</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:tail" target="main">tail</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:take" target="main">take</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:drop" target="main">drop</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:splitAt" target="main">splitAt</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:unsafeSlice" target="main">unsafeSlice</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:unsafeInit" target="main">unsafeInit</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:unsafeTail" target="main">unsafeTail</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:unsafeTake" target="main">unsafeTake</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:unsafeDrop" target="main">unsafeDrop</a></p></div><h2>Overlapping</h2><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:overlaps" target="main">overlaps</a></p></div><h1>Construction</h1><h2>Initialisation</h2><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:new" target="main">new</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:unsafeNew" target="main">unsafeNew</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:replicate" target="main">replicate</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:replicateM" target="main">replicateM</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:clone" target="main">clone</a></p></div><h2>Growing</h2><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:grow" target="main">grow</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:unsafeGrow" target="main">unsafeGrow</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:growFront" target="main">growFront</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:unsafeGrowFront" target="main">unsafeGrowFront</a></p></div><h2>Restricting memory usage</h2><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:clear" target="main">clear</a></p></div><h1>Accessing individual elements</h1><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:read" target="main">read</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:write" target="main">write</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:modify" target="main">modify</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:swap" target="main">swap</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:exchange" target="main">exchange</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:unsafeRead" target="main">unsafeRead</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:unsafeWrite" target="main">unsafeWrite</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:unsafeModify" target="main">unsafeModify</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:unsafeSwap" target="main">unsafeSwap</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:unsafeExchange" target="main">unsafeExchange</a></p></div><h1>Modifying vectors</h1><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:nextPermutation" target="main">nextPermutation</a></p></div><h2>Filling and copying</h2><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:set" target="main">set</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:copy" target="main">copy</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:move" target="main">move</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:unsafeCopy" target="main">unsafeCopy</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:unsafeMove" target="main">unsafeMove</a></p></div><h1>Internal operations</h1><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:mstream" target="main">mstream</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:mstreamR" target="main">mstreamR</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:unstream" target="main">unstream</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:unstreamR" target="main">unstreamR</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:vunstream" target="main">vunstream</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:munstream" target="main">munstream</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:munstreamR" target="main">munstreamR</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:transform" target="main">transform</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:transformR" target="main">transformR</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:fill" target="main">fill</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:fillR" target="main">fillR</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:unsafeAccum" target="main">unsafeAccum</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:accum" target="main">accum</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:unsafeUpdate" target="main">unsafeUpdate</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:update" target="main">update</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:reverse" target="main">reverse</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:unstablePartition" target="main">unstablePartition</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:unstablePartitionBundle" target="main">unstablePartitionBundle</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Generic-Mutable.html#v:partitionBundle" target="main">partitionBundle</a></p></div></div></body></html>