<!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>Agda.Termination.CallGraph</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">Agda.Termination.CallGraph</p></div><div id="interface"><h1>Structural orderings
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Termination-CallGraph.html#t:Order" target="main">Order</a> </p></div><div class="top"><p class="src"><a href="Agda-Termination-CallGraph.html#v:decr" target="main">decr</a></p></div><div class="top"><p class="src"><a href="Agda-Termination-CallGraph.html#v:increase" target="main">increase</a></p></div><div class="top"><p class="src"><a href="Agda-Termination-CallGraph.html#v:decrease" target="main">decrease</a></p></div><div class="top"><p class="src"><a href="Agda-Termination-CallGraph.html#v:.-42-." target="main">(.*.)</a></p></div><div class="top"><p class="src"><a href="Agda-Termination-CallGraph.html#v:supremum" target="main">supremum</a></p></div><div class="top"><p class="src"><a href="Agda-Termination-CallGraph.html#v:infimum" target="main">infimum</a></p></div><div class="top"><p class="src"><a href="Agda-Termination-CallGraph.html#v:decreasing" target="main">decreasing</a></p></div><div class="top"><p class="src"><a href="Agda-Termination-CallGraph.html#v:le" target="main">le</a></p></div><div class="top"><p class="src"><a href="Agda-Termination-CallGraph.html#v:lt" target="main">lt</a></p></div><div class="top"><p class="src"><a href="Agda-Termination-CallGraph.html#v:unknown" target="main">unknown</a></p></div><div class="top"><p class="src"><a href="Agda-Termination-CallGraph.html#v:orderMat" target="main">orderMat</a></p></div><h1>Call matrices
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a href="Agda-Termination-CallGraph.html#t:Index" target="main">Index</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Termination-CallGraph.html#t:CallMatrix" target="main">CallMatrix</a> </p></div><div class="top"><p class="src"><a href="Agda-Termination-CallGraph.html#v:-62--42--60-" target="main">(>*<)</a></p></div><div class="top"><p class="src"><a href="Agda-Termination-CallGraph.html#v:callMatrixInvariant" target="main">callMatrixInvariant</a></p></div><h1>Calls
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Termination-CallGraph.html#t:Call" target="main">Call</a> </p></div><div class="top"><p class="src"><a href="Agda-Termination-CallGraph.html#v:callInvariant" target="main">callInvariant</a></p></div><h1>Call graphs
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Termination-CallGraph.html#t:CallGraph" target="main">CallGraph</a> meta</p></div><div class="top"><p class="src"><a href="Agda-Termination-CallGraph.html#v:callGraphInvariant" target="main">callGraphInvariant</a></p></div><div class="top"><p class="src"><a href="Agda-Termination-CallGraph.html#v:fromList" target="main">fromList</a></p></div><div class="top"><p class="src"><a href="Agda-Termination-CallGraph.html#v:toList" target="main">toList</a></p></div><div class="top"><p class="src"><a href="Agda-Termination-CallGraph.html#v:empty" target="main">empty</a></p></div><div class="top"><p class="src"><a href="Agda-Termination-CallGraph.html#v:union" target="main">union</a></p></div><div class="top"><p class="src"><a href="Agda-Termination-CallGraph.html#v:insert" target="main">insert</a></p></div><div class="top"><p class="src"><a href="Agda-Termination-CallGraph.html#v:complete" target="main">complete</a></p></div><div class="top"><p class="src"><a href="Agda-Termination-CallGraph.html#v:prettyBehaviour" target="main">prettyBehaviour</a></p></div><h1>Tests
</h1><div class="top"><p class="src"><a href="Agda-Termination-CallGraph.html#v:tests" target="main">tests</a></p></div></div></body></html>
