/usr/share/doc/libghc-text-doc/html/mini_Data-Text.html is in libghc-text-doc 0.11.1.13-1build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 | <!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.Text</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();};
//]]>
</script></head><body id="mini"><div id="module-header"><p class="caption">Data.Text</p></div><div id="interface"><h1>Strict vs lazy types
</h1><h1>Acceptable data
</h1><h1>Fusion
</h1><h1>Types
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Data-Text.html#t:Text" target="main">Text</a> </p></div><h1>Creation and elimination
</h1><div class="top"><p class="src"><a href="Data-Text.html#v:pack" target="main">pack</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:unpack" target="main">unpack</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:singleton" target="main">singleton</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:empty" target="main">empty</a></p></div><h1>Basic interface
</h1><div class="top"><p class="src"><a href="Data-Text.html#v:cons" target="main">cons</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:snoc" target="main">snoc</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:append" target="main">append</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:uncons" target="main">uncons</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:head" target="main">head</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:last" target="main">last</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:tail" target="main">tail</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:init" target="main">init</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:null" target="main">null</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:length" target="main">length</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:compareLength" target="main">compareLength</a></p></div><h1>Transformations
</h1><div class="top"><p class="src"><a href="Data-Text.html#v:map" target="main">map</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:intercalate" target="main">intercalate</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:intersperse" target="main">intersperse</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:transpose" target="main">transpose</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:reverse" target="main">reverse</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:replace" target="main">replace</a></p></div><h2>Case conversion
</h2><div class="top"><p class="src"><a href="Data-Text.html#v:toCaseFold" target="main">toCaseFold</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:toLower" target="main">toLower</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:toUpper" target="main">toUpper</a></p></div><h2>Justification
</h2><div class="top"><p class="src"><a href="Data-Text.html#v:justifyLeft" target="main">justifyLeft</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:justifyRight" target="main">justifyRight</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:center" target="main">center</a></p></div><h1>Folds
</h1><div class="top"><p class="src"><a href="Data-Text.html#v:foldl" target="main">foldl</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:foldl-39-" target="main">foldl'</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:foldl1" target="main">foldl1</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:foldl1-39-" target="main">foldl1'</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:foldr" target="main">foldr</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:foldr1" target="main">foldr1</a></p></div><h2>Special folds
</h2><div class="top"><p class="src"><a href="Data-Text.html#v:concat" target="main">concat</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:concatMap" target="main">concatMap</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:any" target="main">any</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:all" target="main">all</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:maximum" target="main">maximum</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:minimum" target="main">minimum</a></p></div><h1>Construction
</h1><h2>Scans
</h2><div class="top"><p class="src"><a href="Data-Text.html#v:scanl" target="main">scanl</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:scanl1" target="main">scanl1</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:scanr" target="main">scanr</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:scanr1" target="main">scanr1</a></p></div><h2>Accumulating maps
</h2><div class="top"><p class="src"><a href="Data-Text.html#v:mapAccumL" target="main">mapAccumL</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:mapAccumR" target="main">mapAccumR</a></p></div><h2>Generation and unfolding
</h2><div class="top"><p class="src"><a href="Data-Text.html#v:replicate" target="main">replicate</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:unfoldr" target="main">unfoldr</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:unfoldrN" target="main">unfoldrN</a></p></div><h1>Substrings
</h1><h2>Breaking strings
</h2><div class="top"><p class="src"><a href="Data-Text.html#v:take" target="main">take</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:drop" target="main">drop</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:takeWhile" target="main">takeWhile</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:dropWhile" target="main">dropWhile</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:dropWhileEnd" target="main">dropWhileEnd</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:dropAround" target="main">dropAround</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:strip" target="main">strip</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:stripStart" target="main">stripStart</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:stripEnd" target="main">stripEnd</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:splitAt" target="main">splitAt</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:breakOn" target="main">breakOn</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:breakOnEnd" target="main">breakOnEnd</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:break" target="main">break</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:span" target="main">span</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:group" target="main">group</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:groupBy" target="main">groupBy</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:inits" target="main">inits</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:tails" target="main">tails</a></p></div><h2>Breaking into many substrings
</h2><div class="top"><p class="src"><a href="Data-Text.html#v:splitOn" target="main">splitOn</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:split" target="main">split</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:chunksOf" target="main">chunksOf</a></p></div><h2>Breaking into lines and words
</h2><div class="top"><p class="src"><a href="Data-Text.html#v:lines" target="main">lines</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:words" target="main">words</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:unlines" target="main">unlines</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:unwords" target="main">unwords</a></p></div><h1>Predicates
</h1><div class="top"><p class="src"><a href="Data-Text.html#v:isPrefixOf" target="main">isPrefixOf</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:isSuffixOf" target="main">isSuffixOf</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:isInfixOf" target="main">isInfixOf</a></p></div><h2>View patterns
</h2><div class="top"><p class="src"><a href="Data-Text.html#v:stripPrefix" target="main">stripPrefix</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:stripSuffix" target="main">stripSuffix</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:commonPrefixes" target="main">commonPrefixes</a></p></div><h1>Searching
</h1><div class="top"><p class="src"><a href="Data-Text.html#v:filter" target="main">filter</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:breakOnAll" target="main">breakOnAll</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:find" target="main">find</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:partition" target="main">partition</a></p></div><h1>Indexing
</h1><div class="top"><p class="src"><a href="Data-Text.html#v:index" target="main">index</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:findIndex" target="main">findIndex</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:count" target="main">count</a></p></div><h1>Zipping and unzipping
</h1><div class="top"><p class="src"><a href="Data-Text.html#v:zip" target="main">zip</a></p></div><div class="top"><p class="src"><a href="Data-Text.html#v:zipWith" target="main">zipWith</a></p></div></div></body></html>
|