This file is indexed.

/usr/share/doc/libghc-gloss-doc/html/mini_Graphics-Gloss-Data-Color.html is in libghc-gloss-doc 1.7.8.3-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
<!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>Graphics.Gloss.Data.Color</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">Graphics.Gloss.Data.Color</p></div><div id="interface"><h2>Color data type
</h2><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-Gloss-Data-Color.html#t:Color" target="main">Color</a> </p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:makeColor" target="main">makeColor</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:makeColor-39-" target="main">makeColor'</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:makeColor8" target="main">makeColor8</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:rawColor" target="main">rawColor</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:rgbaOfColor" target="main">rgbaOfColor</a></p></div><h2>Color functions
</h2><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:mixColors" target="main">mixColors</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:addColors" target="main">addColors</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:dim" target="main">dim</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:bright" target="main">bright</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:light" target="main">light</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:dark" target="main">dark</a></p></div><h2>Pre-defined colors
</h2><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:greyN" target="main">greyN</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:black" target="main">black</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:white" target="main">white</a></p></div><h3>Primary
</h3><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:red" target="main">red</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:green" target="main">green</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:blue" target="main">blue</a></p></div><h3>Secondary
</h3><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:yellow" target="main">yellow</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:cyan" target="main">cyan</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:magenta" target="main">magenta</a></p></div><h3>Tertiary
</h3><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:rose" target="main">rose</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:violet" target="main">violet</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:azure" target="main">azure</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:aquamarine" target="main">aquamarine</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:chartreuse" target="main">chartreuse</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Color.html#v:orange" target="main">orange</a></p></div></div></body></html>