<!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.Auto.Typecheck</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.Auto.Typecheck</p></div><div id="interface"><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:tcExp" target="main">tcExp</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:getDatatype" target="main">getDatatype</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:constructorImpossible" target="main">constructorImpossible</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:unequals" target="main">unequals</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:unequal" target="main">unequal</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:traversePi" target="main">traversePi</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:tcargs" target="main">tcargs</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:addend" target="main">addend</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:copyarg" target="main">copyarg</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Agda-Auto-Typecheck.html#t:HNNBlks" target="main">HNNBlks</a> o</p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:noblks" target="main">noblks</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:addblk" target="main">addblk</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:hnn" target="main">hnn</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:hnn_blks" target="main">hnn_blks</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:hnn_checkstep" target="main">hnn_checkstep</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:hnn-39-" target="main">hnn'</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:hnb" target="main">hnb</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Auto-Typecheck.html#t:HNRes" target="main">HNRes</a> o</p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:hnc" target="main">hnc</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:hnarglist" target="main">hnarglist</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:getNArgs" target="main">getNArgs</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:getAllArgs" target="main">getAllArgs</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Auto-Typecheck.html#t:PEval" target="main">PEval</a> o</p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:iotastep" target="main">iotastep</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:noiotastep" target="main">noiotastep</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:noiotastep_term" target="main">noiotastep_term</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Auto-Typecheck.html#t:CMode" target="main">CMode</a> o</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Auto-Typecheck.html#t:CMFlex" target="main">CMFlex</a> o</p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:comp-39-" target="main">comp'</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:checkeliminand" target="main">checkeliminand</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:maybeor" target="main">maybeor</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:iotapossmeta" target="main">iotapossmeta</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:meta_not_constructor" target="main">meta_not_constructor</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:calcEqRState" target="main">calcEqRState</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:pickid" target="main">pickid</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Typecheck.html#v:tcSearch" target="main">tcSearch</a></p></div></div></body></html>
