/usr/share/doc/libghc-hoogle-doc/html/src/Output-Names.html is in libghc-hoogle-doc 5.0.1+dfsg1-2.
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 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 | <?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<head>
<!-- Generated by HsColour, http://code.haskell.org/~malcolm/hscolour/ -->
<title>src/Output/Names.hs</title>
<link type='text/css' rel='stylesheet' href='hscolour.css' />
</head>
<body>
<pre><a name="line-1"></a><span class='hs-comment'>{-# LANGUAGE ViewPatterns, TupleSections, ScopedTypeVariables, DeriveDataTypeable, ForeignFunctionInterface, GADTs #-}</span>
<a name="line-2"></a>
<a name="line-3"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>Output</span><span class='hs-varop'>.</span><span class='hs-conid'>Names</span><span class='hs-layout'>(</span><span class='hs-varid'>writeNames</span><span class='hs-layout'>,</span> <span class='hs-varid'>searchNames</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-4"></a>
<a name="line-5"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>List</span><span class='hs-varop'>.</span><span class='hs-conid'>Extra</span>
<a name="line-6"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span><span class='hs-varop'>.</span><span class='hs-conid'>Char8</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>BS</span>
<a name="line-7"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span><span class='hs-varop'>.</span><span class='hs-conid'>Unsafe</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>BS</span>
<a name="line-8"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Vector</span><span class='hs-varop'>.</span><span class='hs-conid'>Storable</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>V</span>
<a name="line-9"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>General</span><span class='hs-varop'>.</span><span class='hs-conid'>Str</span>
<a name="line-10"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Foreign</span><span class='hs-varop'>.</span><span class='hs-conid'>Ptr</span>
<a name="line-11"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Foreign</span><span class='hs-varop'>.</span><span class='hs-conid'>Marshal</span>
<a name="line-12"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Foreign</span><span class='hs-varop'>.</span><span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>String</span>
<a name="line-13"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Foreign</span><span class='hs-varop'>.</span><span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>Types</span>
<a name="line-14"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Exception</span>
<a name="line-15"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>System</span><span class='hs-varop'>.</span><span class='hs-conid'>IO</span><span class='hs-varop'>.</span><span class='hs-conid'>Unsafe</span>
<a name="line-16"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Maybe</span>
<a name="line-17"></a>
<a name="line-18"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Input</span><span class='hs-varop'>.</span><span class='hs-conid'>Item</span>
<a name="line-19"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>General</span><span class='hs-varop'>.</span><span class='hs-conid'>Util</span>
<a name="line-20"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>General</span><span class='hs-varop'>.</span><span class='hs-conid'>Store</span>
<a name="line-21"></a>
<a name="line-22"></a><span class='hs-keyword'>foreign</span> <span class='hs-keyword'>import</span> <span class='hs-keyword'>ccall</span> <span class='hs-varid'>text_search_bound</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>CString</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IO</span> <span class='hs-conid'>CInt</span>
<a name="line-23"></a>
<a name="line-24"></a><span class='hs-keyword'>foreign</span> <span class='hs-keyword'>import</span> <span class='hs-keyword'>ccall</span> <span class='hs-varid'>text_search</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>CString</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Ptr</span> <span class='hs-conid'>CString</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CInt</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Ptr</span> <span class='hs-conid'>CInt</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IO</span> <span class='hs-conid'>CInt</span>
<a name="line-25"></a>
<a name="line-26"></a>
<a name="line-27"></a><a name="NamesSize"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>NamesSize</span> <span class='hs-varid'>a</span> <span class='hs-keyword'>where</span> <span class='hs-conid'>NamesSize</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>NamesSize</span> <span class='hs-conid'>Int</span> <span class='hs-keyword'>deriving</span> <span class='hs-conid'>Typeable</span>
<a name="line-28"></a><a name="NamesItems"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>NamesItems</span> <span class='hs-varid'>a</span> <span class='hs-keyword'>where</span> <span class='hs-conid'>NamesItems</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>NamesItems</span> <span class='hs-layout'>(</span><span class='hs-conid'>V</span><span class='hs-varop'>.</span><span class='hs-conid'>Vector</span> <span class='hs-conid'>TargetId</span><span class='hs-layout'>)</span> <span class='hs-keyword'>deriving</span> <span class='hs-conid'>Typeable</span>
<a name="line-29"></a><a name="NamesText"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>NamesText</span> <span class='hs-varid'>a</span> <span class='hs-keyword'>where</span> <span class='hs-conid'>NamesText</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>NamesText</span> <span class='hs-conid'>BS</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <span class='hs-keyword'>deriving</span> <span class='hs-conid'>Typeable</span>
<a name="line-30"></a>
<a name="line-31"></a><a name="writeNames"></a><span class='hs-definition'>writeNames</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>StoreWrite</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>Maybe</span> <span class='hs-conid'>TargetId</span><span class='hs-layout'>,</span> <span class='hs-conid'>Item</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IO</span> <span class='hs-conid'>()</span>
<a name="line-32"></a><span class='hs-definition'>writeNames</span> <span class='hs-varid'>store</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-33"></a> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>ids</span><span class='hs-layout'>,</span> <span class='hs-varid'>strs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>unzip</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-varid'>i</span><span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-chr'>' '</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>isUpper1</span> <span class='hs-varid'>name</span><span class='hs-keyglyph'>]</span> <span class='hs-varop'>++</span> <span class='hs-varid'>lower</span> <span class='hs-varid'>name</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>|</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>i</span><span class='hs-layout'>,</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>xs</span><span class='hs-layout'>,</span> <span class='hs-varid'>name</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>itemNamePart</span> <span class='hs-varid'>x</span><span class='hs-keyglyph'>]</span>
<a name="line-34"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>BS</span><span class='hs-varop'>.</span><span class='hs-varid'>intercalate</span> <span class='hs-layout'>(</span><span class='hs-conid'>BS</span><span class='hs-varop'>.</span><span class='hs-varid'>pack</span> <span class='hs-str'>"\0"</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>map</span> <span class='hs-varid'>strPack</span> <span class='hs-varid'>strs</span><span class='hs-layout'>)</span> <span class='hs-varop'>`</span><span class='hs-conid'>BS</span><span class='hs-varop'>.</span><span class='hs-varid'>append</span><span class='hs-varop'>`</span> <span class='hs-conid'>BS</span><span class='hs-varop'>.</span><span class='hs-varid'>pack</span> <span class='hs-str'>"\0\0"</span>
<a name="line-35"></a> <span class='hs-varid'>bound</span> <span class='hs-keyglyph'><-</span> <span class='hs-conid'>BS</span><span class='hs-varop'>.</span><span class='hs-varid'>unsafeUseAsCString</span> <span class='hs-varid'>b</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>ptr</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>text_search_bound</span> <span class='hs-varid'>ptr</span>
<a name="line-36"></a> <span class='hs-varid'>storeWrite</span> <span class='hs-varid'>store</span> <span class='hs-conid'>NamesSize</span> <span class='hs-varop'>$</span> <span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>bound</span>
<a name="line-37"></a> <span class='hs-varid'>storeWrite</span> <span class='hs-varid'>store</span> <span class='hs-conid'>NamesItems</span> <span class='hs-varop'>$</span> <span class='hs-conid'>V</span><span class='hs-varop'>.</span><span class='hs-varid'>fromList</span> <span class='hs-varid'>ids</span>
<a name="line-38"></a> <span class='hs-varid'>storeWrite</span> <span class='hs-varid'>store</span> <span class='hs-conid'>NamesText</span> <span class='hs-varid'>b</span>
<a name="line-39"></a>
<a name="line-40"></a><a name="itemNamePart"></a><span class='hs-definition'>itemNamePart</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Item</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>String</span><span class='hs-keyglyph'>]</span>
<a name="line-41"></a><span class='hs-definition'>itemNamePart</span> <span class='hs-layout'>(</span><span class='hs-conid'>IModule</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>last</span> <span class='hs-varop'>$</span> <span class='hs-varid'>splitOn</span> <span class='hs-str'>"."</span> <span class='hs-varid'>x</span><span class='hs-keyglyph'>]</span>
<a name="line-42"></a><span class='hs-definition'>itemNamePart</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>maybeToList</span> <span class='hs-varop'>$</span> <span class='hs-varid'>itemName</span> <span class='hs-varid'>x</span>
<a name="line-43"></a>
<a name="line-44"></a><a name="searchNames"></a><span class='hs-definition'>searchNames</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>StoreRead</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>String</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>TargetId</span><span class='hs-keyglyph'>]</span>
<a name="line-45"></a><span class='hs-comment'>-- very important to not search for [" "] or [] since the output buffer is too small</span>
<a name="line-46"></a><span class='hs-definition'>searchNames</span> <span class='hs-varid'>store</span> <span class='hs-varid'>exact</span> <span class='hs-layout'>(</span><span class='hs-varid'>filter</span> <span class='hs-layout'>(</span><span class='hs-varop'>/=</span> <span class='hs-str'>""</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-varid'>map</span> <span class='hs-varid'>trim</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>unsafePerformIO</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span>
<a name="line-47"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>vs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>storeRead</span> <span class='hs-varid'>store</span> <span class='hs-conid'>NamesItems</span>
<a name="line-48"></a> <span class='hs-comment'>-- if there are no questions, we will match everything, which exceeds the result buffer</span>
<a name="line-49"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>null</span> <span class='hs-varid'>xs</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>return</span> <span class='hs-varop'>$</span> <span class='hs-conid'>V</span><span class='hs-varop'>.</span><span class='hs-varid'>toList</span> <span class='hs-varid'>vs</span> <span class='hs-keyword'>else</span> <span class='hs-keyword'>do</span>
<a name="line-50"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>tweak</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>strPack</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>[</span><span class='hs-chr'>' '</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>isUpper1</span> <span class='hs-varid'>x</span><span class='hs-keyglyph'>]</span> <span class='hs-varop'>++</span> <span class='hs-varid'>lower</span> <span class='hs-varid'>x</span> <span class='hs-varop'>++</span> <span class='hs-str'>"\0"</span>
<a name="line-51"></a> <span class='hs-varid'>bracket</span> <span class='hs-layout'>(</span><span class='hs-varid'>mallocArray</span> <span class='hs-varop'>$</span> <span class='hs-varid'>storeRead</span> <span class='hs-varid'>store</span> <span class='hs-conid'>NamesSize</span><span class='hs-layout'>)</span> <span class='hs-varid'>free</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>result</span> <span class='hs-keyglyph'>-></span>
<a name="line-52"></a> <span class='hs-conid'>BS</span><span class='hs-varop'>.</span><span class='hs-varid'>unsafeUseAsCString</span> <span class='hs-layout'>(</span><span class='hs-varid'>storeRead</span> <span class='hs-varid'>store</span> <span class='hs-conid'>NamesText</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>haystack</span> <span class='hs-keyglyph'>-></span>
<a name="line-53"></a> <span class='hs-varid'>withs</span> <span class='hs-layout'>(</span><span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-conid'>BS</span><span class='hs-varop'>.</span><span class='hs-varid'>unsafeUseAsCString</span> <span class='hs-varop'>.</span> <span class='hs-varid'>tweak</span><span class='hs-layout'>)</span> <span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>needles</span> <span class='hs-keyglyph'>-></span>
<a name="line-54"></a> <span class='hs-varid'>withArray0</span> <span class='hs-varid'>nullPtr</span> <span class='hs-varid'>needles</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>needles</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>do</span>
<a name="line-55"></a> <span class='hs-varid'>found</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>c_text_search</span> <span class='hs-varid'>haystack</span> <span class='hs-varid'>needles</span> <span class='hs-layout'>(</span><span class='hs-keyword'>if</span> <span class='hs-varid'>exact</span> <span class='hs-keyword'>then</span> <span class='hs-num'>1</span> <span class='hs-keyword'>else</span> <span class='hs-num'>0</span><span class='hs-layout'>)</span> <span class='hs-varid'>result</span>
<a name="line-56"></a> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>peekArray</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>found</span><span class='hs-layout'>)</span> <span class='hs-varid'>result</span>
<a name="line-57"></a> <span class='hs-varid'>return</span> <span class='hs-varop'>$</span> <span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>vs</span> <span class='hs-conid'>V</span><span class='hs-varop'>.!</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-varid'>fromIntegral</span><span class='hs-layout'>)</span> <span class='hs-varid'>xs</span>
<a name="line-58"></a>
<a name="line-59"></a><span class='hs-comment'>{-# NOINLINE c_text_search #-}</span> <span class='hs-comment'>-- for profiling</span>
<a name="line-60"></a><a name="c_text_search"></a><span class='hs-definition'>c_text_search</span> <span class='hs-varid'>a</span> <span class='hs-varid'>b</span> <span class='hs-varid'>c</span> <span class='hs-varid'>d</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>text_search</span> <span class='hs-varid'>a</span> <span class='hs-varid'>b</span> <span class='hs-varid'>c</span> <span class='hs-varid'>d</span>
</pre></body>
</html>
|