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.Syntax.Internal</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.Syntax.Internal</p></div><div id="interface"><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Internal.html#t:Term" target="main">Term</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Agda-Syntax-Internal.html#t:Args" target="main">Args</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Internal.html#t:Elim" target="main">Elim</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Internal.html#t:Abs" target="main">Abs</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Internal.html#t:Type" target="main">Type</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Internal.html#t:Tele" target="main">Tele</a> a</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Agda-Syntax-Internal.html#t:Telescope" target="main">Telescope</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Internal.html#t:Sort" target="main">Sort</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Internal.html#t:Level" target="main">Level</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Internal.html#t:PlusLevel" target="main">PlusLevel</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Internal.html#t:LevelAtom" target="main">LevelAtom</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Internal.html#t:MetaId" target="main">MetaId</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Internal.html#t:Blocked" target="main">Blocked</a> t</p></div><h1>Definitions
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Internal.html#t:Clause" target="main">Clause</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Internal.html#t:ClauseBody" target="main">ClauseBody</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Internal.html#t:Pattern" target="main">Pattern</a> </p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:patternVars" target="main">patternVars</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:properlyMatching" target="main">properlyMatching</a></p></div><h1>Smart constructors
</h1><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:ignoreSharing" target="main">ignoreSharing</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:ignoreSharingType" target="main">ignoreSharingType</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:shared" target="main">shared</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:sharedType" target="main">sharedType</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:updateSharedFM" target="main">updateSharedFM</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:updateSharedM" target="main">updateSharedM</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:updateShared" target="main">updateShared</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:pointerChain" target="main">pointerChain</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:compressPointerChain" target="main">compressPointerChain</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:var" target="main">var</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:typeDontCare" target="main">typeDontCare</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:topSort" target="main">topSort</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:set0" target="main">set0</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:set" target="main">set</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:prop" target="main">prop</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:sort" target="main">sort</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:varSort" target="main">varSort</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:sSuc" target="main">sSuc</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:levelSuc" target="main">levelSuc</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:mkType" target="main">mkType</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:impossibleTerm" target="main">impossibleTerm</a></p></div><h1>Handling blocked terms.
</h1><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:blockingMeta" target="main">blockingMeta</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:blocked" target="main">blocked</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:notBlocked" target="main">notBlocked</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:ignoreBlocking" target="main">ignoreBlocking</a></p></div><h1>Simple operations on terms and types.
</h1><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:stripDontCare" target="main">stripDontCare</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:arity" target="main">arity</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Internal.html#v:argName" target="main">argName</a></p></div><h1>Show instances.
</h1><h1>Sized instances.
</h1><h1>KillRange instances.
</h1><h1>UniverseBi instances.
</h1></div></body></html>