/usr/share/doc/libghc-gloss-doc/html/mini_Graphics-Gloss-Data-Vector.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 | <!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.Vector</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.Vector</p></div><div id="interface"><div class="top"><p class="src"><span class="keyword">type</span> <a href="Graphics-Gloss-Data-Vector.html#t:Vector" target="main">Vector</a> </p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Vector.html#v:magV" target="main">magV</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Vector.html#v:argV" target="main">argV</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Vector.html#v:dotV" target="main">dotV</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Vector.html#v:detV" target="main">detV</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Vector.html#v:mulSV" target="main">mulSV</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Vector.html#v:rotateV" target="main">rotateV</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Vector.html#v:angleVV" target="main">angleVV</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Vector.html#v:normaliseV" target="main">normaliseV</a></p></div><div class="top"><p class="src"><a href="Graphics-Gloss-Data-Vector.html#v:unitVectorAtAngle" target="main">unitVectorAtAngle</a></p></div></div></body></html>
|