<!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.TypeChecking.Positivity</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.TypeChecking.Positivity</p></div><div id="interface"><div class="top"><p class="src"><a href="Agda-TypeChecking-Positivity.html#v:checkStrictlyPositive" target="main">checkStrictlyPositive</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Positivity.html#v:getDefArity" target="main">getDefArity</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-TypeChecking-Positivity.html#t:OccursWhere" target="main">OccursWhere</a> </p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Positivity.html#v:-62--42--60-" target="main">(>*<)</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-TypeChecking-Positivity.html#t:Item" target="main">Item</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Agda-TypeChecking-Positivity.html#t:Occurrences" target="main">Occurrences</a> </p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Positivity.html#v:-62--43--60-" target="main">(>+<)</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Positivity.html#v:concatOccurs" target="main">concatOccurs</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Positivity.html#v:occursAs" target="main">occursAs</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Positivity.html#v:here" target="main">here</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Positivity.html#v:onlyVarsUpTo" target="main">onlyVarsUpTo</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-TypeChecking-Positivity.html#t:OccEnv" target="main">OccEnv</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Agda-TypeChecking-Positivity.html#t:OccM" target="main">OccM</a> </p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Positivity.html#v:withExtendedOccEnv" target="main">withExtendedOccEnv</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Positivity.html#v:getOccurrences" target="main">getOccurrences</a></p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Agda-TypeChecking-Positivity.html#t:ComputeOccurrences" target="main">ComputeOccurrences</a> a</p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Positivity.html#v:computeOccurrences" target="main">computeOccurrences</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Positivity.html#v:etaExpandClause" target="main">etaExpandClause</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-TypeChecking-Positivity.html#t:Node" target="main">Node</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-TypeChecking-Positivity.html#t:Edge" target="main">Edge</a> </p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Positivity.html#v:buildOccurrenceGraph" target="main">buildOccurrenceGraph</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Positivity.html#v:computeEdge" target="main">computeEdge</a></p></div></div></body></html>
