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-2.3.2.1: A dependently typed functional programming language and proof assistant (Index - K)</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><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">Agda-2.3.2.1: A dependently typed functional programming language and proof assistant</p></div><div id="content"><div id="alphabet"><ul><li><a href="doc-index-A.html">A</a></li><li><a href="doc-index-B.html">B</a></li><li><a href="doc-index-C.html">C</a></li><li><a href="doc-index-D.html">D</a></li><li><a href="doc-index-E.html">E</a></li><li><a href="doc-index-F.html">F</a></li><li><a href="doc-index-G.html">G</a></li><li><a href="doc-index-H.html">H</a></li><li><a href="doc-index-I.html">I</a></li><li><a href="doc-index-J.html">J</a></li><li><a href="doc-index-K.html">K</a></li><li><a href="doc-index-L.html">L</a></li><li><a href="doc-index-M.html">M</a></li><li><a href="doc-index-N.html">N</a></li><li><a href="doc-index-O.html">O</a></li><li><a href="doc-index-P.html">P</a></li><li><a href="doc-index-Q.html">Q</a></li><li><a href="doc-index-R.html">R</a></li><li><a href="doc-index-S.html">S</a></li><li><a href="doc-index-T.html">T</a></li><li><a href="doc-index-U.html">U</a></li><li><a href="doc-index-V.html">V</a></li><li><a href="doc-index-W.html">W</a></li><li><a href="doc-index-X.html">X</a></li><li><a href="doc-index-Y.html">Y</a></li><li><a href="doc-index-Z.html">Z</a></li><li><a href="doc-index-58.html">:</a></li><li><a href="doc-index-33.html">!</a></li><li><a href="doc-index-36.html">$</a></li><li><a href="doc-index-38.html">&amp;</a></li><li><a href="doc-index-43.html">+</a></li><li><a href="doc-index-46.html">.</a></li><li><a href="doc-index-47.html">/</a></li><li><a href="doc-index-60.html">&lt;</a></li><li><a href="doc-index-61.html">=</a></li><li><a href="doc-index-62.html">&gt;</a></li><li><a href="doc-index-124.html">|</a></li><li><a href="doc-index-45.html">-</a></li><li><a href="doc-index-All.html">All</a></li></ul></div><div id="index"><p class="caption">Index - K</p><table><tr><td class="src">keepComments</td><td class="module"><a href="Agda-Syntax-Parser-Comments.html#v:keepComments">Agda.Syntax.Parser.Comments</a></td></tr><tr><td class="src">keepCommentsM</td><td class="module"><a href="Agda-Syntax-Parser-Comments.html#v:keepCommentsM">Agda.Syntax.Parser.Comments</a></td></tr><tr><td class="src">keys</td><td class="module">Agda.Utils.HashMap</td></tr><tr><td class="src">Keyword</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Data Constructor)</td><td class="module"><a href="Agda-Interaction-Highlighting-Precise.html#v:Keyword">Agda.Interaction.Highlighting.Precise</a></td></tr><tr><td class="alt">2 (Type/Class)</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#t:Keyword">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">keyword</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Agda-Syntax-Parser-LexActions.html#v:keyword">Agda.Syntax.Parser.LexActions</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Agda-Interaction-Highlighting-Vim.html#v:keyword">Agda.Interaction.Highlighting.Vim</a></td></tr><tr><td class="src">killAbs</td><td class="module"><a href="Agda-TypeChecking-Test-Generators.html#v:killAbs">Agda.TypeChecking.Test.Generators</a></td></tr><tr><td class="src">killArgs</td><td class="module"><a href="Agda-TypeChecking-MetaVars-Occurs.html#v:killArgs">Agda.TypeChecking.MetaVars.Occurs</a></td></tr><tr><td class="src">killedType</td><td class="module"><a href="Agda-TypeChecking-MetaVars-Occurs.html#v:killedType">Agda.TypeChecking.MetaVars.Occurs</a></td></tr><tr><td class="src">KillRange</td><td class="module"><a href="Agda-Syntax-Position.html#t:KillRange">Agda.Syntax.Position</a></td></tr><tr><td class="src">killRange</td><td class="module"><a href="Agda-Syntax-Position.html#v:killRange">Agda.Syntax.Position</a></td></tr><tr><td class="src">killRange1</td><td class="module"><a href="Agda-Syntax-Position.html#v:killRange1">Agda.Syntax.Position</a></td></tr><tr><td class="src">killRange2</td><td class="module"><a href="Agda-Syntax-Position.html#v:killRange2">Agda.Syntax.Position</a></td></tr><tr><td class="src">killRange3</td><td class="module"><a href="Agda-Syntax-Position.html#v:killRange3">Agda.Syntax.Position</a></td></tr><tr><td class="src">killRange4</td><td class="module"><a href="Agda-Syntax-Position.html#v:killRange4">Agda.Syntax.Position</a></td></tr><tr><td class="src">killRange5</td><td class="module"><a href="Agda-Syntax-Position.html#v:killRange5">Agda.Syntax.Position</a></td></tr><tr><td class="src">killRange6</td><td class="module"><a href="Agda-Syntax-Position.html#v:killRange6">Agda.Syntax.Position</a></td></tr><tr><td class="src">killRange7</td><td class="module"><a href="Agda-Syntax-Position.html#v:killRange7">Agda.Syntax.Position</a></td></tr><tr><td class="src">KillVar</td><td class="module"><a href="Agda-TypeChecking-Test-Generators.html#t:KillVar">Agda.TypeChecking.Test.Generators</a></td></tr><tr><td class="src">killVar</td><td class="module"><a href="Agda-TypeChecking-Test-Generators.html#v:killVar">Agda.TypeChecking.Test.Generators</a></td></tr><tr><td class="src">KindOfName</td><td class="module"><a href="Agda-Syntax-Scope-Base.html#t:KindOfName">Agda.Syntax.Scope.Base</a></td></tr><tr><td class="src">KwAbstract</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwAbstract">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwBUILTIN</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwBUILTIN">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwCoData</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwCoData">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwCoInductive</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwCoInductive">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwCOMPILED</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwCOMPILED">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwCOMPILED_DATA</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwCOMPILED_DATA">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwCOMPILED_EPIC</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwCOMPILED_EPIC">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwCOMPILED_JS</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwCOMPILED_JS">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwCOMPILED_TYPE</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwCOMPILED_TYPE">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwConstructor</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwConstructor">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwData</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwData">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwETA</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwETA">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwField</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwField">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwForall</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwForall">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwHiding</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwHiding">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwIMPORT</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwIMPORT">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwImport</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwImport">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwIMPOSSIBLE</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwIMPOSSIBLE">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwIn</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwIn">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwInductive</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwInductive">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwInfix</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwInfix">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwInfixL</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwInfixL">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwInfixR</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwInfixR">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwLet</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwLet">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwLINE</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwLINE">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwModule</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwModule">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwMutual</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwMutual">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwNO_TERMINATION_CHECK</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwNO_TERMINATION_CHECK">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwOpen</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwOpen">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwOPTIONS</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwOPTIONS">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwPatternSyn</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwPatternSyn">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwPostulate</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwPostulate">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwPrimitive</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwPrimitive">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwPrivate</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwPrivate">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwProp</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwProp">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwPublic</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwPublic">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwQuote</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwQuote">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwQuoteGoal</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwQuoteGoal">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwQuoteTerm</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwQuoteTerm">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwRecord</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwRecord">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwRenaming</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwRenaming">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwRewrite</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwRewrite">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwSet</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwSet">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwSTATIC</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwSTATIC">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwSyntax</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwSyntax">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwTo</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwTo">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwUnquote</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwUnquote">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwUsing</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwUsing">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwWhere</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwWhere">Agda.Syntax.Parser.Tokens</a></td></tr><tr><td class="src">KwWith</td><td class="module"><a href="Agda-Syntax-Parser-Tokens.html#v:KwWith">Agda.Syntax.Parser.Tokens</a></td></tr></table></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.11.0</p></div></body></html>