Sophie: ghc-Agda-devel-2.3.2.1-5.fc19 i686

ghc-Agda-devel-2.3.2.1-5.fc19.i686.rpm

<!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.Convert</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.Convert</p></div><div id="interface"><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:norm" target="main">norm</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Agda-Auto-Convert.html#t:O" target="main">O</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Auto-Convert.html#t:TMode" target="main">TMode</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Agda-Auto-Convert.html#t:MapS" target="main">MapS</a> a b</p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:initMapS" target="main">initMapS</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:popMapS" target="main">popMapS</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Auto-Convert.html#t:S" target="main">S</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Agda-Auto-Convert.html#t:TOM" target="main">TOM</a> </p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:tomy" target="main">tomy</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:getConst" target="main">getConst</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:getdfv" target="main">getdfv</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:getMeta" target="main">getMeta</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:getEqs" target="main">getEqs</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:tomyClauses" target="main">tomyClauses</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:tomyClause" target="main">tomyClause</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:tomyPat" target="main">tomyPat</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:tomyBody" target="main">tomyBody</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:weaken" target="main">weaken</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:weakens" target="main">weakens</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:tomyType" target="main">tomyType</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:tomyExp" target="main">tomyExp</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:tomyExps" target="main">tomyExps</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:tomyIneq" target="main">tomyIneq</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:fmType" target="main">fmType</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:fmExp" target="main">fmExp</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:fmExps" target="main">fmExps</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:fmLevel" target="main">fmLevel</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:cnvh" target="main">cnvh</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:icnvh" target="main">icnvh</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:frommy" target="main">frommy</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:frommyType" target="main">frommyType</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:frommyExp" target="main">frommyExp</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:frommyExps" target="main">frommyExps</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:abslamvarname" target="main">abslamvarname</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:modifyAbstractExpr" target="main">modifyAbstractExpr</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:modifyAbstractClause" target="main">modifyAbstractClause</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:constructPats" target="main">constructPats</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:frommyClause" target="main">frommyClause</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:contains_constructor" target="main">contains_constructor</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:etaContractBody" target="main">etaContractBody</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:freeIn" target="main">freeIn</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:negtype" target="main">negtype</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:findClauseDeep" target="main">findClauseDeep</a></p></div><div class="top"><p class="src"><a href="Agda-Auto-Convert.html#v:matchType" target="main">matchType</a></p></div></div></body></html>