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 - Q)</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 - Q</p><table><tr><td class="src">Q</td><td class="module"><a href="Agda-Interaction-EmacsCommand.html#v:Q">Agda.Interaction.EmacsCommand</a></td></tr><tr><td class="src">QName</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Agda-Syntax-Concrete-Name.html#t:QName">Agda.Syntax.Concrete.Name</a>, Agda.Syntax.Concrete</td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Concrete-Name.html#v:QName">Agda.Syntax.Concrete.Name</a>, Agda.Syntax.Concrete</td></tr><tr><td class="alt">3 (Type/Class)</td><td class="module"><a href="Agda-Syntax-Abstract-Name.html#t:QName">Agda.Syntax.Abstract.Name</a>, Agda.Syntax.Internal, Agda.Syntax.Abstract</td></tr><tr><td class="alt">4 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Abstract-Name.html#v:QName">Agda.Syntax.Abstract.Name</a>, Agda.Syntax.Internal, Agda.Syntax.Abstract</td></tr><tr><td class="src">qname</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Agda-Syntax-Abstract-Name.html#v:qname">Agda.Syntax.Abstract.Name</a>, Agda.Syntax.Internal, Agda.Syntax.Abstract</td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Agda-Compiler-JS-Compiler.html#v:qname">Agda.Compiler.JS.Compiler</a></td></tr><tr><td class="src">QNamed</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Agda-Syntax-Abstract-Name.html#t:QNamed">Agda.Syntax.Abstract.Name</a>, Agda.Syntax.Internal, Agda.Syntax.Abstract</td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Abstract-Name.html#v:QNamed">Agda.Syntax.Abstract.Name</a>, Agda.Syntax.Internal, Agda.Syntax.Abstract</td></tr><tr><td class="src">qnamed</td><td class="module"><a href="Agda-Syntax-Abstract-Name.html#v:qnamed">Agda.Syntax.Abstract.Name</a>, Agda.Syntax.Internal, Agda.Syntax.Abstract</td></tr><tr><td class="src">qnameFromList</td><td class="module"><a href="Agda-Syntax-Abstract-Name.html#v:qnameFromList">Agda.Syntax.Abstract.Name</a>, Agda.Syntax.Internal, Agda.Syntax.Abstract</td></tr><tr><td class="src">qnameModule</td><td class="module"><a href="Agda-Syntax-Abstract-Name.html#v:qnameModule">Agda.Syntax.Abstract.Name</a>, Agda.Syntax.Internal, Agda.Syntax.Abstract</td></tr><tr><td class="src">qnameName</td><td class="module"><a href="Agda-Syntax-Abstract-Name.html#v:qnameName">Agda.Syntax.Abstract.Name</a>, Agda.Syntax.Internal, Agda.Syntax.Abstract</td></tr><tr><td class="src">qnameParts</td><td class="module"><a href="Agda-Syntax-Concrete-Name.html#v:qnameParts">Agda.Syntax.Concrete.Name</a>, Agda.Syntax.Concrete</td></tr><tr><td class="src">qnameToConcrete</td><td class="module"><a href="Agda-Syntax-Abstract-Name.html#v:qnameToConcrete">Agda.Syntax.Abstract.Name</a>, Agda.Syntax.Internal, Agda.Syntax.Abstract</td></tr><tr><td class="src">qnameToList</td><td class="module"><a href="Agda-Syntax-Abstract-Name.html#v:qnameToList">Agda.Syntax.Abstract.Name</a>, Agda.Syntax.Internal, Agda.Syntax.Abstract</td></tr><tr><td class="src">qnameToMName</td><td class="module"><a href="Agda-Syntax-Abstract-Name.html#v:qnameToMName">Agda.Syntax.Abstract.Name</a>, Agda.Syntax.Internal, Agda.Syntax.Abstract</td></tr><tr><td class="src">qNameType</td><td class="module"><a href="Agda-TypeChecking-Quote.html#v:qNameType">Agda.TypeChecking.Quote</a></td></tr><tr><td class="src">QPB</td><td class="module"><a href="Agda-Auto-NarrowingSearch.html#t:QPB">Agda.Auto.NarrowingSearch</a></td></tr><tr><td class="src">QPBlocked</td><td class="module"><a href="Agda-Auto-NarrowingSearch.html#v:QPBlocked">Agda.Auto.NarrowingSearch</a></td></tr><tr><td class="src">QPDoubleBlocked</td><td class="module"><a href="Agda-Auto-NarrowingSearch.html#v:QPDoubleBlocked">Agda.Auto.NarrowingSearch</a></td></tr><tr><td class="src">Qual</td><td class="module"><a href="Agda-Syntax-Concrete-Name.html#v:Qual">Agda.Syntax.Concrete.Name</a>, Agda.Syntax.Concrete</td></tr><tr><td class="src">qualifierModules</td><td class="module"><a href="Agda-Syntax-Concrete-Operators.html#v:qualifierModules">Agda.Syntax.Concrete.Operators</a></td></tr><tr><td class="src">qualify</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Agda-Syntax-Concrete-Name.html#v:qualify">Agda.Syntax.Concrete.Name</a>, Agda.Syntax.Concrete</td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Agda-Syntax-Abstract-Name.html#v:qualify">Agda.Syntax.Abstract.Name</a>, Agda.Syntax.Internal, Agda.Syntax.Abstract</td></tr><tr><td class="src">qualifyM</td><td class="module"><a href="Agda-Syntax-Abstract-Name.html#v:qualifyM">Agda.Syntax.Abstract.Name</a>, Agda.Syntax.Internal, Agda.Syntax.Abstract</td></tr><tr><td class="src">qualifyQ</td><td class="module"><a href="Agda-Syntax-Abstract-Name.html#v:qualifyQ">Agda.Syntax.Abstract.Name</a>, Agda.Syntax.Internal, Agda.Syntax.Abstract</td></tr><tr><td class="src">QuestionMark</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Concrete.html#v:QuestionMark">Agda.Syntax.Concrete</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Abstract.html#v:QuestionMark">Agda.Syntax.Abstract</a></td></tr><tr><td class="src">quickCheck</td><td class="module">Agda.Utils.QuickCheck</td></tr><tr><td class="src">quickCheck'</td><td class="module"><a href="Agda-Utils-QuickCheck.html#v:quickCheck-39-">Agda.Utils.QuickCheck</a></td></tr><tr><td class="src">quickCheckResult</td><td class="module">Agda.Utils.QuickCheck</td></tr><tr><td class="src">quickCheckWith</td><td class="module">Agda.Utils.QuickCheck</td></tr><tr><td class="src">quickCheckWith'</td><td class="module"><a href="Agda-Utils-QuickCheck.html#v:quickCheckWith-39-">Agda.Utils.QuickCheck</a></td></tr><tr><td class="src">quickCheckWithResult</td><td class="module">Agda.Utils.QuickCheck</td></tr><tr><td class="src">Quote</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Concrete.html#v:Quote">Agda.Syntax.Concrete</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Abstract.html#v:Quote">Agda.Syntax.Abstract</a></td></tr><tr><td class="src">quote</td><td class="module"><a href="Agda-Utils-String.html#v:quote">Agda.Utils.String</a></td></tr><tr><td class="src">quoted</td><td class="module"><a href="Agda-Compiler-JS-Parser.html#v:quoted">Agda.Compiler.JS.Parser</a></td></tr><tr><td class="src">QuoteGoal</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Concrete.html#v:QuoteGoal">Agda.Syntax.Concrete</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Abstract.html#v:QuoteGoal">Agda.Syntax.Abstract</a></td></tr><tr><td class="src">quoteName</td><td class="module"><a href="Agda-TypeChecking-Quote.html#v:quoteName">Agda.TypeChecking.Quote</a></td></tr><tr><td class="src">quotes</td><td class="module">Agda.Utils.Pretty</td></tr><tr><td class="src">QuoteTerm</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Concrete.html#v:QuoteTerm">Agda.Syntax.Concrete</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Abstract.html#v:QuoteTerm">Agda.Syntax.Abstract</a></td></tr><tr><td class="src">quoteTerm</td><td class="module"><a href="Agda-TypeChecking-Quote.html#v:quoteTerm">Agda.TypeChecking.Quote</a></td></tr><tr><td class="src">quoteType</td><td class="module"><a href="Agda-TypeChecking-Quote.html#v:quoteType">Agda.TypeChecking.Quote</a></td></tr><tr><td class="src">quotingKit</td><td class="module"><a href="Agda-TypeChecking-Quote.html#v:quotingKit">Agda.TypeChecking.Quote</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>