/usr/share/doc/libghc-ranged-sets-doc/html/mini_Data-Ranged-Ranges.html is in libghc-ranged-sets-doc 0.3.0-5build2.
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 | <!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.Ranged.Ranges</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.Ranged.Ranges</p></div><div id="interface"><h2>Construction
</h2><div class="top"><p class="src"><span class="keyword">data</span> <a href="Data-Ranged-Ranges.html#t:Range" target="main">Range</a> v</p></div><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:emptyRange" target="main">emptyRange</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:fullRange" target="main">fullRange</a></p></div><h2>Predicates
</h2><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:rangeIsEmpty" target="main">rangeIsEmpty</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:rangeIsFull" target="main">rangeIsFull</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:rangeOverlap" target="main">rangeOverlap</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:rangeEncloses" target="main">rangeEncloses</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:rangeSingletonValue" target="main">rangeSingletonValue</a></p></div><h2>Membership
</h2><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:rangeHas" target="main">rangeHas</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:rangeListHas" target="main">rangeListHas</a></p></div><h2>Set Operations
</h2><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:singletonRange" target="main">singletonRange</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:rangeIntersection" target="main">rangeIntersection</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:rangeUnion" target="main">rangeUnion</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:rangeDifference" target="main">rangeDifference</a></p></div><h2>QuickCheck properties
</h2><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:prop_unionRange" target="main">prop_unionRange</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:prop_unionRangeLength" target="main">prop_unionRangeLength</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:prop_intersectionRange" target="main">prop_intersectionRange</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:prop_differenceRange" target="main">prop_differenceRange</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:prop_intersectionOverlap" target="main">prop_intersectionOverlap</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:prop_enclosureUnion" target="main">prop_enclosureUnion</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:prop_singletonRangeHas" target="main">prop_singletonRangeHas</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:prop_singletonRangeHasOnly" target="main">prop_singletonRangeHasOnly</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:prop_singletonRangeConverse" target="main">prop_singletonRangeConverse</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:prop_emptyNonSingleton" target="main">prop_emptyNonSingleton</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:prop_fullNonSingleton" target="main">prop_fullNonSingleton</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:prop_nonSingleton" target="main">prop_nonSingleton</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-Ranges.html#v:prop_intSingleton" target="main">prop_intSingleton</a></p></div></div></body></html>
|