This file is indexed.

/usr/share/doc/libghc-vector-doc/html/mini_Data-Vector-Unboxed.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.Unboxed</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.Unboxed</p></div><div id="interface"><h1>Unboxed vectors</h1><div class="top"><p class="src"><span class="keyword">data family</span> <a href="#t:Vector">Vector</a> a</p></div><div class="top"><p class="src"><span class="keyword">data family</span> <a href="#t:MVector">MVector</a> s a</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Data-Vector-Unboxed.html#t:Unbox" target="main">Unbox</a> a</p></div><h1>Accessors</h1><h2>Length information</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:length" target="main">length</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:null" target="main">null</a></p></div><h2>Indexing</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:-33-" target="main">(!)</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:-33--63-" target="main">(!?)</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:head" target="main">head</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:last" target="main">last</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unsafeIndex" target="main">unsafeIndex</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unsafeHead" target="main">unsafeHead</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unsafeLast" target="main">unsafeLast</a></p></div><h2>Monadic indexing</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:indexM" target="main">indexM</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:headM" target="main">headM</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:lastM" target="main">lastM</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unsafeIndexM" target="main">unsafeIndexM</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unsafeHeadM" target="main">unsafeHeadM</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unsafeLastM" target="main">unsafeLastM</a></p></div><h2>Extracting subvectors (slicing)</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:slice" target="main">slice</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:init" target="main">init</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:tail" target="main">tail</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:take" target="main">take</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:drop" target="main">drop</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:splitAt" target="main">splitAt</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unsafeSlice" target="main">unsafeSlice</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unsafeInit" target="main">unsafeInit</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unsafeTail" target="main">unsafeTail</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unsafeTake" target="main">unsafeTake</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unsafeDrop" target="main">unsafeDrop</a></p></div><h1>Construction</h1><h2>Initialisation</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:empty" target="main">empty</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:singleton" target="main">singleton</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:replicate" target="main">replicate</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:generate" target="main">generate</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:iterateN" target="main">iterateN</a></p></div><h2>Monadic initialisation</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:replicateM" target="main">replicateM</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:generateM" target="main">generateM</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:iterateNM" target="main">iterateNM</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:create" target="main">create</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:createT" target="main">createT</a></p></div><h2>Unfolding</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unfoldr" target="main">unfoldr</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unfoldrN" target="main">unfoldrN</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unfoldrM" target="main">unfoldrM</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unfoldrNM" target="main">unfoldrNM</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:constructN" target="main">constructN</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:constructrN" target="main">constructrN</a></p></div><h2>Enumeration</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:enumFromN" target="main">enumFromN</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:enumFromStepN" target="main">enumFromStepN</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:enumFromTo" target="main">enumFromTo</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:enumFromThenTo" target="main">enumFromThenTo</a></p></div><h2>Concatenation</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:cons" target="main">cons</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:snoc" target="main">snoc</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:-43--43-" target="main">(++)</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:concat" target="main">concat</a></p></div><h2>Restricting memory usage</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:force" target="main">force</a></p></div><h1>Modifying vectors</h1><h2>Bulk updates</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:-47--47-" target="main">(//)</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:update" target="main">update</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:update_" target="main">update_</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unsafeUpd" target="main">unsafeUpd</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unsafeUpdate" target="main">unsafeUpdate</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unsafeUpdate_" target="main">unsafeUpdate_</a></p></div><h2>Accumulations</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:accum" target="main">accum</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:accumulate" target="main">accumulate</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:accumulate_" target="main">accumulate_</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unsafeAccum" target="main">unsafeAccum</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unsafeAccumulate" target="main">unsafeAccumulate</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unsafeAccumulate_" target="main">unsafeAccumulate_</a></p></div><h2>Permutations</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:reverse" target="main">reverse</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:backpermute" target="main">backpermute</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unsafeBackpermute" target="main">unsafeBackpermute</a></p></div><h2>Safe destructive updates</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:modify" target="main">modify</a></p></div><h1>Elementwise operations</h1><h2>Indexing</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:indexed" target="main">indexed</a></p></div><h2>Mapping</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:map" target="main">map</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:imap" target="main">imap</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:concatMap" target="main">concatMap</a></p></div><h2>Monadic mapping</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:mapM" target="main">mapM</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:imapM" target="main">imapM</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:mapM_" target="main">mapM_</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:imapM_" target="main">imapM_</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:forM" target="main">forM</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:forM_" target="main">forM_</a></p></div><h2>Zipping</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:zipWith" target="main">zipWith</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:zipWith3" target="main">zipWith3</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:zipWith4" target="main">zipWith4</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:zipWith5" target="main">zipWith5</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:zipWith6" target="main">zipWith6</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:izipWith" target="main">izipWith</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:izipWith3" target="main">izipWith3</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:izipWith4" target="main">izipWith4</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:izipWith5" target="main">izipWith5</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:izipWith6" target="main">izipWith6</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:zip" target="main">zip</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:zip3" target="main">zip3</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:zip4" target="main">zip4</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:zip5" target="main">zip5</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:zip6" target="main">zip6</a></p></div><h2>Monadic zipping</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:zipWithM" target="main">zipWithM</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:izipWithM" target="main">izipWithM</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:zipWithM_" target="main">zipWithM_</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:izipWithM_" target="main">izipWithM_</a></p></div><h2>Unzipping</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unzip" target="main">unzip</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unzip3" target="main">unzip3</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unzip4" target="main">unzip4</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unzip5" target="main">unzip5</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unzip6" target="main">unzip6</a></p></div><h1>Working with predicates</h1><h2>Filtering</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:filter" target="main">filter</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:ifilter" target="main">ifilter</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:uniq" target="main">uniq</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:mapMaybe" target="main">mapMaybe</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:imapMaybe" target="main">imapMaybe</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:filterM" target="main">filterM</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:takeWhile" target="main">takeWhile</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:dropWhile" target="main">dropWhile</a></p></div><h2>Partitioning</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:partition" target="main">partition</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unstablePartition" target="main">unstablePartition</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:span" target="main">span</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:break" target="main">break</a></p></div><h2>Searching</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:elem" target="main">elem</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:notElem" target="main">notElem</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:find" target="main">find</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:findIndex" target="main">findIndex</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:findIndices" target="main">findIndices</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:elemIndex" target="main">elemIndex</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:elemIndices" target="main">elemIndices</a></p></div><h1>Folding</h1><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:foldl" target="main">foldl</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:foldl1" target="main">foldl1</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:foldl-39-" target="main">foldl'</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:foldl1-39-" target="main">foldl1'</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:foldr" target="main">foldr</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:foldr1" target="main">foldr1</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:foldr-39-" target="main">foldr'</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:foldr1-39-" target="main">foldr1'</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:ifoldl" target="main">ifoldl</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:ifoldl-39-" target="main">ifoldl'</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:ifoldr" target="main">ifoldr</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:ifoldr-39-" target="main">ifoldr'</a></p></div><h2>Specialised folds</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:all" target="main">all</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:any" target="main">any</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:and" target="main">and</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:or" target="main">or</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:sum" target="main">sum</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:product" target="main">product</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:maximum" target="main">maximum</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:maximumBy" target="main">maximumBy</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:minimum" target="main">minimum</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:minimumBy" target="main">minimumBy</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:minIndex" target="main">minIndex</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:minIndexBy" target="main">minIndexBy</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:maxIndex" target="main">maxIndex</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:maxIndexBy" target="main">maxIndexBy</a></p></div><h2>Monadic folds</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:foldM" target="main">foldM</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:ifoldM" target="main">ifoldM</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:foldM-39-" target="main">foldM'</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:ifoldM-39-" target="main">ifoldM'</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:fold1M" target="main">fold1M</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:fold1M-39-" target="main">fold1M'</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:foldM_" target="main">foldM_</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:ifoldM_" target="main">ifoldM_</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:foldM-39-_" target="main">foldM'_</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:ifoldM-39-_" target="main">ifoldM'_</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:fold1M_" target="main">fold1M_</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:fold1M-39-_" target="main">fold1M'_</a></p></div><h1>Prefix sums (scans)</h1><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:prescanl" target="main">prescanl</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:prescanl-39-" target="main">prescanl'</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:postscanl" target="main">postscanl</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:postscanl-39-" target="main">postscanl'</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:scanl" target="main">scanl</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:scanl-39-" target="main">scanl'</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:scanl1" target="main">scanl1</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:scanl1-39-" target="main">scanl1'</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:prescanr" target="main">prescanr</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:prescanr-39-" target="main">prescanr'</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:postscanr" target="main">postscanr</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:postscanr-39-" target="main">postscanr'</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:scanr" target="main">scanr</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:scanr-39-" target="main">scanr'</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:scanr1" target="main">scanr1</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:scanr1-39-" target="main">scanr1'</a></p></div><h1>Conversions</h1><h2>Lists</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:toList" target="main">toList</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:fromList" target="main">fromList</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:fromListN" target="main">fromListN</a></p></div><h2>Other vector types</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:convert" target="main">convert</a></p></div><h2>Mutable vectors</h2><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:freeze" target="main">freeze</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:thaw" target="main">thaw</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:copy" target="main">copy</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unsafeFreeze" target="main">unsafeFreeze</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unsafeThaw" target="main">unsafeThaw</a></p></div><div class="top"><p class="src"><a href="Data-Vector-Unboxed.html#v:unsafeCopy" target="main">unsafeCopy</a></p></div></div></body></html>