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.Test.Generators</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.Test.Generators</p></div><div id="interface"><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-TypeChecking-Test-Generators.html#t:TermConfiguration" target="main">TermConfiguration</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-TypeChecking-Test-Generators.html#t:Frequencies" target="main">Frequencies</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-TypeChecking-Test-Generators.html#t:TermFreqs" target="main">TermFreqs</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-TypeChecking-Test-Generators.html#t:NameFreqs" target="main">NameFreqs</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-TypeChecking-Test-Generators.html#t:HiddenFreqs" target="main">HiddenFreqs</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-TypeChecking-Test-Generators.html#t:SortFreqs" target="main">SortFreqs</a> </p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Test-Generators.html#v:defaultFrequencies" target="main">defaultFrequencies</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Test-Generators.html#v:noProp" target="main">noProp</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-TypeChecking-Test-Generators.html#t:UseLiterals" target="main">UseLiterals</a> </p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Test-Generators.html#v:noLiterals" target="main">noLiterals</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Test-Generators.html#v:fixSizeConf" target="main">fixSizeConf</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Test-Generators.html#v:resizeConf" target="main">resizeConf</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Test-Generators.html#v:decrConf" target="main">decrConf</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Test-Generators.html#v:divConf" target="main">divConf</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Test-Generators.html#v:isTypeConf" target="main">isTypeConf</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Test-Generators.html#v:isntTypeConf" target="main">isntTypeConf</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Test-Generators.html#v:extendConf" target="main">extendConf</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Test-Generators.html#v:extendWithTelConf" target="main">extendWithTelConf</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Test-Generators.html#v:makeConfiguration" target="main">makeConfiguration</a></p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Agda-TypeChecking-Test-Generators.html#t:GenC" target="main">GenC</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-TypeChecking-Test-Generators.html#t:YesType" target="main">YesType</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-TypeChecking-Test-Generators.html#t:NoType" target="main">NoType</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-TypeChecking-Test-Generators.html#t:VarName" target="main">VarName</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-TypeChecking-Test-Generators.html#t:DefName" target="main">DefName</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-TypeChecking-Test-Generators.html#t:ConName" target="main">ConName</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-TypeChecking-Test-Generators.html#t:SizedList" target="main">SizedList</a> a</p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Test-Generators.html#v:fixSize" target="main">fixSize</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Test-Generators.html#v:genArgs" target="main">genArgs</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Test-Generators.html#v:genConf" target="main">genConf</a></p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Agda-TypeChecking-Test-Generators.html#t:ShrinkC" target="main">ShrinkC</a> a b</p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Test-Generators.html#v:killAbs" target="main">killAbs</a></p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Agda-TypeChecking-Test-Generators.html#t:KillVar" target="main">KillVar</a> a</p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Test-Generators.html#v:isWellScoped" target="main">isWellScoped</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Test-Generators.html#v:prop_wellScopedVars" target="main">prop_wellScopedVars</a></p></div></div></body></html>