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.TypeChecking.Substitute</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.Substitute</p></div><div id="interface"><div class="top"><p class="src"><span class="keyword">class</span> <a href="Agda-TypeChecking-Substitute.html#t:Apply" target="main">Apply</a> t</p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:piApply" target="main">piApply</a></p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Agda-TypeChecking-Substitute.html#t:Abstract" target="main">Abstract</a> t</p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:telVars" target="main">telVars</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:abstractArgs" target="main">abstractArgs</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-TypeChecking-Substitute.html#t:Substitution" target="main">Substitution</a> </p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:idS" target="main">idS</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:wkS" target="main">wkS</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:raiseS" target="main">raiseS</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:singletonS" target="main">singletonS</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:liftS" target="main">liftS</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:dropS" target="main">dropS</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:composeS" target="main">composeS</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:splitS" target="main">splitS</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:-43--43--35-" target="main">(++#)</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:parallelS" target="main">parallelS</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:lookupS" target="main">lookupS</a></p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Agda-TypeChecking-Substitute.html#t:Subst" target="main">Subst</a> t</p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:raise" target="main">raise</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:raiseFrom" target="main">raiseFrom</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:subst" target="main">subst</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:substUnder" target="main">substUnder</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-TypeChecking-Substitute.html#t:TelV" target="main">TelV</a> a</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Agda-TypeChecking-Substitute.html#t:TelView" target="main">TelView</a> </p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:telFromList" target="main">telFromList</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:telToList" target="main">telToList</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:telView-39-" target="main">telView'</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:mkPi" target="main">mkPi</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:telePi" target="main">telePi</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:telePi_" target="main">telePi_</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:teleLam" target="main">teleLam</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:dLub" target="main">dLub</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:absApp" target="main">absApp</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:absBody" target="main">absBody</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:mkAbs" target="main">mkAbs</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:reAbs" target="main">reAbs</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:underAbs" target="main">underAbs</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:underLambdas" target="main">underLambdas</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:sLub" target="main">sLub</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:lvlView" target="main">lvlView</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:levelMax" target="main">levelMax</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:sortTm" target="main">sortTm</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:levelSort" target="main">levelSort</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:levelTm" target="main">levelTm</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Substitute.html#v:unLevelAtom" target="main">unLevelAtom</a></p></div></div></body></html>