/usr/share/doc/libghc-ranged-sets-doc/html/mini

<!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.RangedSet</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.RangedSet</p></div><div id="interface"><h2>Ranged Set Type
</h2><div class="top"><p class="src"><span class="keyword">data</span> <a href="Data-Ranged-RangedSet.html#t:RSet" target="main">RSet</a> v</p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:rSetRanges" target="main">rSetRanges</a></p></div><h2>Ranged Set construction functions and their preconditions
</h2><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:makeRangedSet" target="main">makeRangedSet</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:unsafeRangedSet" target="main">unsafeRangedSet</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:validRangeList" target="main">validRangeList</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:normaliseRangeList" target="main">normaliseRangeList</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:rSingleton" target="main">rSingleton</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:rSetUnfold" target="main">rSetUnfold</a></p></div><h2>Predicates
</h2><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:rSetIsEmpty" target="main">rSetIsEmpty</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:rSetIsFull" target="main">rSetIsFull</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:-45--63--45-" target="main">(-?-)</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:rSetHas" target="main">rSetHas</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:-45--60--61--45-" target="main">(-&lt;=-)</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:rSetIsSubset" target="main">rSetIsSubset</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:-45--60--45-" target="main">(-&lt;-)</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:rSetIsSubsetStrict" target="main">rSetIsSubsetStrict</a></p></div><h2>Set Operations
</h2><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:-45--92--47--45-" target="main">(-\/-)</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:rSetUnion" target="main">rSetUnion</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:-45--47--92--45-" target="main">(-/\-)</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:rSetIntersection" target="main">rSetIntersection</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:-45--33--45-" target="main">(-!-)</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:rSetDifference" target="main">rSetDifference</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:rSetNegation" target="main">rSetNegation</a></p></div><h2>Useful Sets
</h2><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:rSetEmpty" target="main">rSetEmpty</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:rSetFull" target="main">rSetFull</a></p></div><h2>QuickCheck Properties
</h2><h3>Construction
</h3><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:prop_validNormalised" target="main">prop_validNormalised</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:prop_has" target="main">prop_has</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:prop_unfold" target="main">prop_unfold</a></p></div><h3>Basic Operations
</h3><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:prop_union" target="main">prop_union</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:prop_intersection" target="main">prop_intersection</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:prop_difference" target="main">prop_difference</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:prop_negation" target="main">prop_negation</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:prop_not_empty" target="main">prop_not_empty</a></p></div><h3>Some Identities and Inequalities
</h3><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:prop_empty" target="main">prop_empty</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:prop_full" target="main">prop_full</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:prop_empty_intersection" target="main">prop_empty_intersection</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:prop_full_union" target="main">prop_full_union</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:prop_union_superset" target="main">prop_union_superset</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:prop_intersection_subset" target="main">prop_intersection_subset</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:prop_diff_intersect" target="main">prop_diff_intersect</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:prop_subset" target="main">prop_subset</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:prop_strict_subset" target="main">prop_strict_subset</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:prop_union_strict_superset" target="main">prop_union_strict_superset</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:prop_intersection_commutes" target="main">prop_intersection_commutes</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:prop_union_commutes" target="main">prop_union_commutes</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:prop_intersection_associates" target="main">prop_intersection_associates</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:prop_union_associates" target="main">prop_union_associates</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:prop_de_morgan_intersection" target="main">prop_de_morgan_intersection</a></p></div><div class="top"><p class="src"><a href="Data-Ranged-RangedSet.html#v:prop_de_morgan_union" target="main">prop_de_morgan_union</a></p></div></div></body></html>
libghc-ranged-sets-doc 0.3.0-5build2 / usr / share / doc / libghc-ranged-sets-doc / html / mini_Data-Ranged-RangedSet.html
