-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathmini_Abstract-Relation.html
4 lines (4 loc) · 3.13 KB
/
mini_Abstract-Relation.html
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>Abstract.Relation</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" 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">Abstract.Relation</p></div><div id="interface"><h1>Types</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Abstract-Relation.html#t:Relation" target="main">Relation</a> a</p></div><h1>Construction</h1><div class="top"><p class="src"><a href="Abstract-Relation.html#v:empty" target="main">empty</a></p></div><h1>Transformation</h1><div class="top"><p class="src"><a href="Abstract-Relation.html#v:compose" target="main">compose</a></p></div><div class="top"><p class="src"><a href="Abstract-Relation.html#v:id" target="main">id</a></p></div><div class="top"><p class="src"><a href="Abstract-Relation.html#v:inverseRelation" target="main">inverseRelation</a></p></div><div class="top"><p class="src"><a href="Abstract-Relation.html#v:updateRelation" target="main">updateRelation</a></p></div><div class="top"><p class="src"><a href="Abstract-Relation.html#v:removeFromDomain" target="main">removeFromDomain</a></p></div><div class="top"><p class="src"><a href="Abstract-Relation.html#v:removeFromCodomain" target="main">removeFromCodomain</a></p></div><div class="top"><p class="src"><a href="Abstract-Relation.html#v:insertOnCodomain" target="main">insertOnCodomain</a></p></div><h1>Query</h1><div class="top"><p class="src"><a href="Abstract-Relation.html#v:apply" target="main">apply</a></p></div><div class="top"><p class="src"><a href="Abstract-Relation.html#v:domain" target="main">domain</a></p></div><div class="top"><p class="src"><a href="Abstract-Relation.html#v:codomain" target="main">codomain</a></p></div><div class="top"><p class="src"><a href="Abstract-Relation.html#v:image" target="main">image</a></p></div><div class="top"><p class="src"><a href="Abstract-Relation.html#v:mapping" target="main">mapping</a></p></div><div class="top"><p class="src"><a href="Abstract-Relation.html#v:orphans" target="main">orphans</a></p></div><h2>Predicates</h2><div class="top"><p class="src"><a href="Abstract-Relation.html#v:isFunctional" target="main">isFunctional</a></p></div><div class="top"><p class="src"><a href="Abstract-Relation.html#v:isInjective" target="main">isInjective</a></p></div><div class="top"><p class="src"><a href="Abstract-Relation.html#v:isPartialInjective" target="main">isPartialInjective</a></p></div><div class="top"><p class="src"><a href="Abstract-Relation.html#v:isSurjective" target="main">isSurjective</a></p></div><div class="top"><p class="src"><a href="Abstract-Relation.html#v:isTotal" target="main">isTotal</a></p></div></div></body></html>