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 - D)</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 - D</p><table><tr><td class="src">Data</td><td class="module"><a href="Agda-Syntax-Concrete.html#v:Data">Agda.Syntax.Concrete</a></td></tr><tr><td class="src">dataAbstr</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:dataAbstr">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">dataClause</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:dataClause">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">dataCons</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:dataCons">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">DataDef</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Abstract.html#v:DataDef">Agda.Syntax.Abstract</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Concrete-Definitions.html#v:DataDef">Agda.Syntax.Concrete.Definitions</a></td></tr><tr><td class="src">dataInduction</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:dataInduction">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">dataIxs</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:dataIxs">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">DataMustEndInSort</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:DataMustEndInSort">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">dataMutual</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:dataMutual">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">DataOrRecord</td><td class="module"><a href="Agda-TypeChecking-Datatypes.html#t:DataOrRecord">Agda.TypeChecking.Datatypes</a></td></tr><tr><td class="src">dataOrRecordType</td><td class="module"><a href="Agda-TypeChecking-Rules-LHS-Unify.html#v:dataOrRecordType">Agda.TypeChecking.Rules.LHS.Unify</a></td></tr><tr><td class="src">dataOrRecordType'</td><td class="module"><a href="Agda-TypeChecking-Rules-LHS-Unify.html#v:dataOrRecordType-39-">Agda.TypeChecking.Rules.LHS.Unify</a></td></tr><tr><td class="src">dataOrRecordTypeHH</td><td class="module"><a href="Agda-TypeChecking-Rules-LHS-Unify.html#v:dataOrRecordTypeHH">Agda.TypeChecking.Rules.LHS.Unify</a></td></tr><tr><td class="src">dataParameters</td><td class="module"><a href="Agda-Compiler-Epic-Forcing.html#v:dataParameters">Agda.Compiler.Epic.Forcing</a></td></tr><tr><td class="src">dataParametersTCM</td><td class="module"><a href="Agda-Compiler-Epic-Forcing.html#v:dataParametersTCM">Agda.Compiler.Epic.Forcing</a></td></tr><tr><td class="src">dataPars</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:dataPars">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">DataSig</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Concrete.html#v:DataSig">Agda.Syntax.Concrete</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Abstract.html#v:DataSig">Agda.Syntax.Abstract</a></td></tr><tr><td class="src">dataSort</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:dataSort">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">Datatype</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Data Constructor)</td><td class="module"><a href="Agda-Auto-Syntax.html#v:Datatype">Agda.Auto.Syntax</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Agda-Interaction-Highlighting-Precise.html#v:Datatype">Agda.Interaction.Highlighting.Precise</a></td></tr><tr><td class="alt">3 (Data Constructor)</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:Datatype">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">dbIndexToLevel</td><td class="module"><a href="Agda-TypeChecking-Coverage.html#v:dbIndexToLevel">Agda.TypeChecking.Coverage</a></td></tr><tr><td class="src">dbraces</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Agda-Syntax-Concrete-Pretty.html#v:dbraces">Agda.Syntax.Concrete.Pretty</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Agda-TypeChecking-Pretty.html#v:dbraces">Agda.TypeChecking.Pretty</a></td></tr><tr><td class="src">DCon</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:DCon">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">DDef</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:DDef">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">DDot</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:DDot">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">deal</td><td class="module"><a href="Agda-Utils-List.html#v:deal">Agda.Utils.List</a></td></tr><tr><td class="src">deBruijnIndex</td><td class="module"><a href="Agda-Interaction-MakeCase.html#v:deBruijnIndex">Agda.Interaction.MakeCase</a></td></tr><tr><td class="src">DeBruijnPat</td><td class="module"><a href="Agda-Termination-TermCheck.html#t:DeBruijnPat">Agda.Termination.TermCheck</a></td></tr><tr><td class="src">debug</td><td class="module"><a href="Agda-TypeChecking-Monad-Debug.html#v:debug">Agda.TypeChecking.Monad.Debug</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">decDigit</td><td class="module"><a href="Agda-Utils-Char.html#v:decDigit">Agda.Utils.Char</a></td></tr><tr><td class="src">Declaration</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Agda-Syntax-Concrete.html#t:Declaration">Agda.Syntax.Concrete</a></td></tr><tr><td class="alt">2 (Type/Class)</td><td class="module"><a href="Agda-Syntax-Abstract.html#t:Declaration">Agda.Syntax.Abstract</a></td></tr><tr><td class="src">DeclarationException</td><td class="module"><a href="Agda-Syntax-Concrete-Definitions.html#t:DeclarationException">Agda.Syntax.Concrete.Definitions</a></td></tr><tr><td class="src">DeclarationPanic</td><td class="module"><a href="Agda-Syntax-Concrete-Definitions.html#v:DeclarationPanic">Agda.Syntax.Concrete.Definitions</a></td></tr><tr><td class="src">DeclCont</td><td class="module"><a href="Agda-Auto-Syntax.html#t:DeclCont">Agda.Auto.Syntax</a></td></tr><tr><td class="src">DeclInfo</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Agda-Syntax-Info.html#t:DeclInfo">Agda.Syntax.Info</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Info.html#v:DeclInfo">Agda.Syntax.Info</a></td></tr><tr><td class="src">declName</td><td class="module"><a href="Agda-Syntax-Info.html#v:declName">Agda.Syntax.Info</a></td></tr><tr><td class="src">declRange</td><td class="module"><a href="Agda-Syntax-Info.html#v:declRange">Agda.Syntax.Info</a></td></tr><tr><td class="src">declsForPrim</td><td class="module"><a href="Agda-Compiler-MAlonzo-Primitives.html#v:declsForPrim">Agda.Compiler.MAlonzo.Primitives</a></td></tr><tr><td class="src">decode</td><td class="module"><a href="Agda-TypeChecking-Serialise.html#v:decode">Agda.TypeChecking.Serialise</a></td></tr><tr><td class="src">DecodedModules</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#t:DecodedModules">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">decodeFile</td><td class="module"><a href="Agda-TypeChecking-Serialise.html#v:decodeFile">Agda.TypeChecking.Serialise</a></td></tr><tr><td class="src">decompress</td><td class="module"><a href="Agda-Interaction-Highlighting-Precise.html#v:decompress">Agda.Interaction.Highlighting.Precise</a></td></tr><tr><td class="src">decr</td><td class="module"><a href="Agda-Termination-CallGraph.html#v:decr">Agda.Termination.CallGraph</a></td></tr><tr><td class="src">decrConf</td><td class="module"><a href="Agda-TypeChecking-Test-Generators.html#v:decrConf">Agda.TypeChecking.Test.Generators</a></td></tr><tr><td class="src">decrease</td><td class="module"><a href="Agda-Termination-CallGraph.html#v:decrease">Agda.Termination.CallGraph</a></td></tr><tr><td class="src">decreasing</td><td class="module"><a href="Agda-Termination-CallGraph.html#v:decreasing">Agda.Termination.CallGraph</a></td></tr><tr><td class="src">DeepSizeView</td><td class="module"><a href="Agda-TypeChecking-Monad-SizedTypes.html#t:DeepSizeView">Agda.TypeChecking.Monad.SizedTypes</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">deepSizeView</td><td class="module"><a href="Agda-TypeChecking-SizedTypes.html#v:deepSizeView">Agda.TypeChecking.SizedTypes</a></td></tr><tr><td class="src">Def</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Data Constructor)</td><td class="module"><a href="Agda-Auto-Syntax.html#v:Def">Agda.Auto.Syntax</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Internal.html#v:Def">Agda.Syntax.Internal</a></td></tr><tr><td class="alt">3 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Abstract.html#v:Def">Agda.Syntax.Abstract</a></td></tr><tr><td class="src">defAbstract</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Agda-Syntax-Info.html#v:defAbstract">Agda.Syntax.Info</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:defAbstract">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">defAccess</td><td class="module"><a href="Agda-Syntax-Info.html#v:defAccess">Agda.Syntax.Info</a></td></tr><tr><td class="src">DefArg</td><td class="module"><a href="Agda-TypeChecking-Positivity.html#v:DefArg">Agda.TypeChecking.Positivity</a></td></tr><tr><td class="src">defArgOccurrences</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:defArgOccurrences">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">defArgs</td><td class="module"><a href="Agda-TypeChecking-MetaVars-Occurs.html#v:defArgs">Agda.TypeChecking.MetaVars.Occurs</a></td></tr><tr><td class="src">Default</td><td class="module"><a href="Agda-Compiler-Epic-AuxAST.html#v:Default">Agda.Compiler.Epic.AuxAST</a></td></tr><tr><td class="src">defaultArg</td><td class="module"><a href="Agda-Syntax-Common.html#v:defaultArg">Agda.Syntax.Common</a></td></tr><tr><td class="src">defaultDisplayForm</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:defaultDisplayForm">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">defaultFixity</td><td class="module"><a href="Agda-Syntax-Fixity.html#v:defaultFixity">Agda.Syntax.Fixity</a></td></tr><tr><td class="src">defaultFixity'</td><td class="module"><a href="Agda-Syntax-Fixity.html#v:defaultFixity-39-">Agda.Syntax.Fixity</a></td></tr><tr><td class="src">defaultFrequencies</td><td class="module"><a href="Agda-TypeChecking-Test-Generators.html#v:defaultFrequencies">Agda.TypeChecking.Test.Generators</a></td></tr><tr><td class="src">defaultImportDir</td><td class="module"><a href="Agda-Syntax-Concrete.html#v:defaultImportDir">Agda.Syntax.Concrete</a></td></tr><tr><td class="src">defaultInteractionOptions</td><td class="module"><a href="Agda-Interaction-Options.html#v:defaultInteractionOptions">Agda.Interaction.Options</a></td></tr><tr><td class="src">defaultInteractionOutputCallback</td><td class="module"><a href="Agda-Interaction-Response.html#v:defaultInteractionOutputCallback">Agda.Interaction.Response</a></td></tr><tr><td class="src">defaultNamedArg</td><td class="module"><a href="Agda-Syntax-Common.html#v:defaultNamedArg">Agda.Syntax.Common</a></td></tr><tr><td class="src">defaultNotation</td><td class="module"><a href="Agda-Syntax-Notation.html#v:defaultNotation">Agda.Syntax.Notation</a></td></tr><tr><td class="src">defaultOptions</td><td class="module"><a href="Agda-Interaction-Options.html#v:defaultOptions">Agda.Interaction.Options</a></td></tr><tr><td class="src">defaultParseFlags</td><td class="module"><a href="Agda-Syntax-Parser-Monad.html#v:defaultParseFlags">Agda.Syntax.Parser.Monad</a></td></tr><tr><td class="src">defaultVerbosity</td><td class="module"><a href="Agda-Interaction-Options.html#v:defaultVerbosity">Agda.Interaction.Options</a></td></tr><tr><td class="src">defClauses</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:defClauses">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">defCompiled</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:defCompiled">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">defCompiledRep</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:defCompiledRep">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">defCopy</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:defCopy">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">defDelayed</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Agda-Compiler-Epic-Interface.html#v:defDelayed">Agda.Compiler.Epic.Interface</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:defDelayed">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">defDisplay</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:defDisplay">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">DefElim</td><td class="module"><a href="Agda-TypeChecking-Eliminators.html#v:DefElim">Agda.TypeChecking.Eliminators</a></td></tr><tr><td class="src">defEpicDef</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:defEpicDef">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">defFixity</td><td class="module"><a href="Agda-Syntax-Info.html#v:defFixity">Agda.Syntax.Info</a></td></tr><tr><td class="src">defFreq</td><td class="module"><a href="Agda-TypeChecking-Test-Generators.html#v:defFreq">Agda.TypeChecking.Test.Generators</a></td></tr><tr><td class="src">DefinedName</td><td class="module"><a href="Agda-Syntax-Scope-Monad.html#v:DefinedName">Agda.Syntax.Scope.Monad</a></td></tr><tr><td class="src">DefInfo</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Agda-Syntax-Info.html#t:DefInfo">Agda.Syntax.Info</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Info.html#v:DefInfo">Agda.Syntax.Info</a></td></tr><tr><td class="src">defInfo</td><td class="module"><a href="Agda-Syntax-Info.html#v:defInfo">Agda.Syntax.Info</a></td></tr><tr><td class="src">Definitely</td><td class="module"><a href="Agda-TypeChecking-Rules-LHS-Unify.html#v:Definitely">Agda.TypeChecking.Rules.LHS.Unify</a></td></tr><tr><td class="src">Definition</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#t:Definition">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">definition</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Agda-Compiler-MAlonzo-Compiler.html#v:definition">Agda.Compiler.MAlonzo.Compiler</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Agda-Compiler-JS-Compiler.html#v:definition">Agda.Compiler.JS.Compiler</a></td></tr><tr><td class="src">DefinitionIsIrrelevant</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:DefinitionIsIrrelevant">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">Definitions</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#t:Definitions">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">definitions</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Agda-Compiler-Epic-Interface.html#v:definitions">Agda.Compiler.Epic.Interface</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Agda-Compiler-MAlonzo-Compiler.html#v:definitions">Agda.Compiler.MAlonzo.Compiler</a></td></tr><tr><td class="src">definitionSite</td><td class="module"><a href="Agda-Interaction-Highlighting-Precise.html#v:definitionSite">Agda.Interaction.Highlighting.Precise</a></td></tr><tr><td class="src">defIsDataOrRecord</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:defIsDataOrRecord">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">defIsRecord</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:defIsRecord">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">defJSDef</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:defJSDef">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">defMutual</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:defMutual">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">Defn</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#t:Defn">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:Defn">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">defn</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Agda-Compiler-JS-Syntax.html#v:defn">Agda.Compiler.JS.Syntax</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Agda-Compiler-JS-Compiler.html#v:defn">Agda.Compiler.JS.Compiler</a></td></tr><tr><td class="src">DefName</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Scope-Base.html#v:DefName">Agda.Syntax.Scope.Base</a></td></tr><tr><td class="alt">2 (Type/Class)</td><td class="module"><a href="Agda-TypeChecking-Test-Generators.html#t:DefName">Agda.TypeChecking.Test.Generators</a></td></tr><tr><td class="alt">3 (Data Constructor)</td><td class="module"><a href="Agda-TypeChecking-Test-Generators.html#v:DefName">Agda.TypeChecking.Test.Generators</a></td></tr><tr><td class="src">defName</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:defName">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Agda-Compiler-Epic-Primitive.html#v:defName">Agda.Compiler.Epic.Primitive</a></td></tr><tr><td class="src">defNeedsChecking</td><td class="module"><a href="Agda-TypeChecking-MetaVars-Occurs.html#v:defNeedsChecking">Agda.TypeChecking.MetaVars.Occurs</a></td></tr><tr><td class="src">DefNode</td><td class="module"><a href="Agda-TypeChecking-Positivity.html#v:DefNode">Agda.TypeChecking.Positivity</a></td></tr><tr><td class="src">defnPars</td><td class="module"><a href="Agda-Compiler-Epic-Smashing.html#v:defnPars">Agda.Compiler.Epic.Smashing</a></td></tr><tr><td class="src">defOrVar</td><td class="module"><a href="Agda-TypeChecking-Rules-Term.html#v:defOrVar">Agda.TypeChecking.Rules.Term</a></td></tr><tr><td class="src">DefP</td><td class="module"><a href="Agda-Syntax-Abstract.html#v:DefP">Agda.Syntax.Abstract</a></td></tr><tr><td class="src">defPolarity</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:defPolarity">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">defProjection</td><td class="module"><a href="Agda-Compiler-JS-Compiler.html#v:defProjection">Agda.Compiler.JS.Compiler</a></td></tr><tr><td class="src">defRelevance</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:defRelevance">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">DefSh</td><td class="module"><a href="Agda-TypeChecking-Rules-LHS-Unify.html#v:DefSh">Agda.TypeChecking.Rules.LHS.Unify</a></td></tr><tr><td class="src">defType</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:defType">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">Delayed</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Agda-Syntax-Common.html#t:Delayed">Agda.Syntax.Common</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Common.html#v:Delayed">Agda.Syntax.Common</a></td></tr><tr><td class="src">delete</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Agda-Utils-VarSet.html#v:delete">Agda.Utils.VarSet</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module">Agda.Utils.HashMap</td></tr><tr><td class="src">dependentPolarity</td><td class="module"><a href="Agda-TypeChecking-Polarity.html#v:dependentPolarity">Agda.TypeChecking.Polarity</a></td></tr><tr><td class="src">depthofvar</td><td class="module"><a href="Agda-Auto-CaseSplit.html#v:depthofvar">Agda.Auto.CaseSplit</a></td></tr><tr><td class="src">derefPtr</td><td class="module"><a href="Agda-Utils-Pointer.html#v:derefPtr">Agda.Utils.Pointer</a>, Agda.Syntax.Internal</td></tr><tr><td class="src">detecteliminand</td><td class="module"><a href="Agda-Auto-Syntax.html#v:detecteliminand">Agda.Auto.Syntax</a></td></tr><tr><td class="src">detectsemiflex</td><td class="module"><a href="Agda-Auto-Syntax.html#v:detectsemiflex">Agda.Auto.Syntax</a></td></tr><tr><td class="src">diagonal</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Agda-Termination-Matrix.html#v:diagonal">Agda.Termination.Matrix</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Agda-Termination-SparseMatrix.html#v:diagonal">Agda.Termination.SparseMatrix</a></td></tr><tr><td class="src">diff</td><td class="module"><a href="Agda-Compiler-Epic-Erasure.html#v:diff">Agda.Compiler.Epic.Erasure</a></td></tr><tr><td class="src">difference</td><td class="module">Agda.Utils.HashMap</td></tr><tr><td class="src">DifferentArities</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:DifferentArities">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">Direct</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:Direct">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">disableDestructiveUpdate</td><td class="module"><a href="Agda-TypeChecking-Monad-Sharing.html#v:disableDestructiveUpdate">Agda.TypeChecking.Monad.Sharing</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">disableDisplayForms</td><td class="module"><a href="Agda-TypeChecking-Monad-Options.html#v:disableDisplayForms">Agda.TypeChecking.Monad.Options</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">discard</td><td class="module">Agda.Utils.QuickCheck</td></tr><tr><td class="src">disjoin</td><td class="module">Agda.Utils.QuickCheck</td></tr><tr><td class="src">Display</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:Display">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">displayDebugMessage</td><td class="module"><a href="Agda-TypeChecking-Monad-Options.html#v:displayDebugMessage">Agda.TypeChecking.Monad.Options</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">DisplayForm</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#t:DisplayForm">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">displayForm</td><td class="module"><a href="Agda-TypeChecking-DisplayForm.html#v:displayForm">Agda.TypeChecking.DisplayForm</a></td></tr><tr><td class="src">displayFormsEnabled</td><td class="module"><a href="Agda-TypeChecking-Monad-Options.html#v:displayFormsEnabled">Agda.TypeChecking.Monad.Options</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">DisplayInfo</td><td class="module"><a href="Agda-Interaction-Response.html#t:DisplayInfo">Agda.Interaction.Response</a></td></tr><tr><td class="src">displayRunningInfo</td><td class="module"><a href="Agda-Interaction-EmacsCommand.html#v:displayRunningInfo">Agda.Interaction.EmacsCommand</a></td></tr><tr><td class="src">displayStatus</td><td class="module"><a href="Agda-Interaction-InteractionTop.html#v:displayStatus">Agda.Interaction.InteractionTop</a></td></tr><tr><td class="src">DisplayTerm</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#t:DisplayTerm">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">display_info</td><td class="module"><a href="Agda-Interaction-InteractionTop.html#v:display_info">Agda.Interaction.InteractionTop</a></td></tr><tr><td class="src">display_info'</td><td class="module"><a href="Agda-Interaction-EmacsCommand.html#v:display_info-39-">Agda.Interaction.EmacsCommand</a></td></tr><tr><td class="src">Dist</td><td class="module"><a href="Agda-Utils-Warshall.html#v:Dist">Agda.Utils.Warshall</a></td></tr><tr><td class="src">Distance</td><td class="module"><a href="Agda-Utils-Warshall.html#t:Distance">Agda.Utils.Warshall</a></td></tr><tr><td class="src">distinct</td><td class="module"><a href="Agda-Utils-List.html#v:distinct">Agda.Utils.List</a></td></tr><tr><td class="src">divConf</td><td class="module"><a href="Agda-TypeChecking-Test-Generators.html#v:divConf">Agda.TypeChecking.Test.Generators</a></td></tr><tr><td class="src">DLub</td><td class="module"><a href="Agda-Syntax-Internal.html#v:DLub">Agda.Syntax.Internal</a></td></tr><tr><td class="src">dLub</td><td class="module"><a href="Agda-TypeChecking-Substitute.html#v:dLub">Agda.TypeChecking.Substitute</a></td></tr><tr><td class="src">Doc</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module">Agda.Utils.Pretty</td></tr><tr><td class="alt">2 (Type/Class)</td><td class="module"><a href="Agda-TypeChecking-Pretty.html#t:Doc">Agda.TypeChecking.Pretty</a></td></tr><tr><td class="src">doclos</td><td class="module"><a href="Agda-Auto-Syntax.html#v:doclos">Agda.Auto.Syntax</a></td></tr><tr><td class="src">doesFileExistCaseSensitive</td><td class="module"><a href="Agda-Utils-FileName.html#v:doesFileExistCaseSensitive">Agda.Utils.FileName</a></td></tr><tr><td class="src">DoesNotConstructAnElementOf</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:DoesNotConstructAnElementOf">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">doEtaContractImplicit</td><td class="module"><a href="Agda-TypeChecking-Monad-Options.html#v:doEtaContractImplicit">Agda.TypeChecking.Monad.Options</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">Dom</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Agda-Syntax-Common.html#t:Dom">Agda.Syntax.Common</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Common.html#v:Dom">Agda.Syntax.Common</a></td></tr><tr><td class="src">DomainFree</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Concrete.html#v:DomainFree">Agda.Syntax.Concrete</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Abstract.html#v:DomainFree">Agda.Syntax.Abstract</a></td></tr><tr><td class="src">domainFree</td><td class="module"><a href="Agda-TypeChecking-Rules-Term.html#v:domainFree">Agda.TypeChecking.Rules.Term</a></td></tr><tr><td class="src">DomainFull</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Concrete.html#v:DomainFull">Agda.Syntax.Concrete</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Abstract.html#v:DomainFull">Agda.Syntax.Abstract</a></td></tr><tr><td class="src">domFromArg</td><td class="module"><a href="Agda-Syntax-Common.html#v:domFromArg">Agda.Syntax.Common</a></td></tr><tr><td class="src">domH</td><td class="module"><a href="Agda-TypeChecking-Primitive.html#v:domH">Agda.TypeChecking.Primitive</a></td></tr><tr><td class="src">domHiding</td><td class="module"><a href="Agda-Syntax-Common.html#v:domHiding">Agda.Syntax.Common</a></td></tr><tr><td class="src">domN</td><td class="module"><a href="Agda-TypeChecking-Primitive.html#v:domN">Agda.TypeChecking.Primitive</a></td></tr><tr><td class="src">domRelevance</td><td class="module"><a href="Agda-Syntax-Common.html#v:domRelevance">Agda.Syntax.Common</a></td></tr><tr><td class="src">Done</td><td class="module"><a href="Agda-TypeChecking-CompiledClause.html#v:Done">Agda.TypeChecking.CompiledClause</a></td></tr><tr><td class="src">dontAssignMetas</td><td class="module"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:dontAssignMetas">Agda.TypeChecking.Monad.MetaVars</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">DontCare</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Concrete.html#v:DontCare">Agda.Syntax.Concrete</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Internal.html#v:DontCare">Agda.Syntax.Internal</a></td></tr><tr><td class="alt">3 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Abstract.html#v:DontCare">Agda.Syntax.Abstract</a></td></tr><tr><td class="src">dontCare</td><td class="module"><a href="Agda-Auto-Syntax.html#v:dontCare">Agda.Auto.Syntax</a></td></tr><tr><td class="src">dontDescendInto</td><td class="module"><a href="Agda-Utils-Geniplate.html#v:dontDescendInto">Agda.Utils.Geniplate</a></td></tr><tr><td class="src">dontEtaContractImplicit</td><td class="module"><a href="Agda-TypeChecking-Monad-Options.html#v:dontEtaContractImplicit">Agda.TypeChecking.Monad.Options</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">DontExpandInstanceArguments</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:DontExpandInstanceArguments">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">DontExpandLast</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:DontExpandLast">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">DontKnow</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Data Constructor)</td><td class="module"><a href="Agda-TypeChecking-Patterns-Match.html#v:DontKnow">Agda.TypeChecking.Patterns.Match</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Agda-TypeChecking-Rules-LHS-Unify.html#v:DontKnow">Agda.TypeChecking.Rules.LHS.Unify</a></td></tr><tr><td class="src">DontOpen</td><td class="module"><a href="Agda-Syntax-Concrete.html#v:DontOpen">Agda.Syntax.Concrete</a></td></tr><tr><td class="src">dontReifyInteractionPoints</td><td class="module"><a href="Agda-TypeChecking-Monad-Options.html#v:dontReifyInteractionPoints">Agda.TypeChecking.Monad.Options</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">DontRunMetaOccursCheck</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:DontRunMetaOccursCheck">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">DontTouchMe</td><td class="module"><a href="Agda-Syntax-Translation-AbstractToConcrete.html#t:DontTouchMe">Agda.Syntax.Translation.AbstractToConcrete</a></td></tr><tr><td class="src">DontUseBoundNames</td><td class="module"><a href="Agda-Syntax-Concrete-Operators.html#v:DontUseBoundNames">Agda.Syntax.Concrete.Operators</a></td></tr><tr><td class="src">DoOpen</td><td class="module"><a href="Agda-Syntax-Concrete.html#v:DoOpen">Agda.Syntax.Concrete</a></td></tr><tr><td class="src">Dot</td><td class="module"><a href="Agda-Syntax-Concrete.html#v:Dot">Agda.Syntax.Concrete</a></td></tr><tr><td class="src">DOtherSize</td><td class="module"><a href="Agda-TypeChecking-Monad-SizedTypes.html#v:DOtherSize">Agda.TypeChecking.Monad.SizedTypes</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">DotM</td><td class="module"><a href="Agda-Interaction-Highlighting-Dot.html#t:DotM">Agda.Interaction.Highlighting.Dot</a></td></tr><tr><td class="src">DotP</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Concrete.html#v:DotP">Agda.Syntax.Concrete</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Internal.html#v:DotP">Agda.Syntax.Internal</a></td></tr><tr><td class="alt">3 (Data Constructor)</td><td class="module"><a href="Agda-Syntax-Abstract.html#v:DotP">Agda.Syntax.Abstract</a></td></tr><tr><td class="src">DotPatternCtx</td><td class="module"><a href="Agda-Syntax-Fixity.html#v:DotPatternCtx">Agda.Syntax.Fixity</a></td></tr><tr><td class="src">DotPatternInst</td><td class="module"><a href="Agda-TypeChecking-Rules-LHS-Problem.html#t:DotPatternInst">Agda.TypeChecking.Rules.LHS.Problem</a></td></tr><tr><td class="src">dotPatternInsts</td><td class="module"><a href="Agda-TypeChecking-Rules-LHS.html#v:dotPatternInsts">Agda.TypeChecking.Rules.LHS</a></td></tr><tr><td class="src">DotState</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Agda-Interaction-Highlighting-Dot.html#t:DotState">Agda.Interaction.Highlighting.Dot</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Agda-Interaction-Highlighting-Dot.html#v:DotState">Agda.Interaction.Highlighting.Dot</a></td></tr><tr><td class="src">DottedPattern</td><td class="module"><a href="Agda-Interaction-Highlighting-Precise.html#v:DottedPattern">Agda.Interaction.Highlighting.Precise</a></td></tr><tr><td class="src">dottify</td><td class="module"><a href="Agda-Interaction-Highlighting-Dot.html#v:dottify">Agda.Interaction.Highlighting.Dot</a></td></tr><tr><td class="src">Double</td><td class="module"><a href="Agda-Compiler-JS-Syntax.html#v:Double">Agda.Compiler.JS.Syntax</a></td></tr><tr><td class="src">double</td><td class="module">Agda.Utils.Pretty</td></tr><tr><td class="src">doubleblock</td><td class="module"><a href="Agda-Auto-NarrowingSearch.html#v:doubleblock">Agda.Auto.NarrowingSearch</a></td></tr><tr><td class="src">doubleQuotes</td><td class="module">Agda.Utils.Pretty</td></tr><tr><td class="src">downFrom</td><td class="module"><a href="Agda-Utils-List.html#v:downFrom">Agda.Utils.List</a></td></tr><tr><td class="src">doWorkOnTypes</td><td class="module"><a href="Agda-TypeChecking-Irrelevance.html#v:doWorkOnTypes">Agda.TypeChecking.Irrelevance</a></td></tr><tr><td class="src">DPI</td><td class="module"><a href="Agda-TypeChecking-Rules-LHS-Problem.html#v:DPI">Agda.TypeChecking.Rules.LHS.Problem</a></td></tr><tr><td class="src">DropArgs</td><td class="module"><a href="Agda-TypeChecking-DropArgs.html#t:DropArgs">Agda.TypeChecking.DropArgs</a></td></tr><tr><td class="src">dropArgs</td><td class="module"><a href="Agda-TypeChecking-DropArgs.html#v:dropArgs">Agda.TypeChecking.DropArgs</a></td></tr><tr><td class="src">dropConstraints</td><td class="module"><a href="Agda-TypeChecking-Monad-Constraints.html#v:dropConstraints">Agda.TypeChecking.Monad.Constraints</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">dropDecodedModule</td><td class="module"><a href="Agda-TypeChecking-Monad-Imports.html#v:dropDecodedModule">Agda.TypeChecking.Monad.Imports</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">drophid</td><td class="module"><a href="Agda-Auto-CaseSplit.html#v:drophid">Agda.Auto.CaseSplit</a></td></tr><tr><td class="src">dropI</td><td class="module"><a href="Agda-Syntax-Position.html#v:dropI">Agda.Syntax.Position</a></td></tr><tr><td class="src">dropNonHidden</td><td class="module"><a href="Agda-TypeChecking-Rules-Def.html#v:dropNonHidden">Agda.TypeChecking.Rules.Def</a></td></tr><tr><td class="src">dropS</td><td class="module"><a href="Agda-TypeChecking-Substitute.html#v:dropS">Agda.TypeChecking.Substitute</a></td></tr><tr><td class="src">dryInstantiate</td><td class="module"><a href="Agda-Auto-NarrowingSearch.html#v:dryInstantiate">Agda.Auto.NarrowingSearch</a></td></tr><tr><td class="src">dsConnection</td><td class="module"><a href="Agda-Interaction-Highlighting-Dot.html#v:dsConnection">Agda.Interaction.Highlighting.Dot</a></td></tr><tr><td class="src">DSizeInf</td><td class="module"><a href="Agda-TypeChecking-Monad-SizedTypes.html#v:DSizeInf">Agda.TypeChecking.Monad.SizedTypes</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">DSizeMeta</td><td class="module"><a href="Agda-TypeChecking-Monad-SizedTypes.html#v:DSizeMeta">Agda.TypeChecking.Monad.SizedTypes</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">DSizeVar</td><td class="module"><a href="Agda-TypeChecking-Monad-SizedTypes.html#v:DSizeVar">Agda.TypeChecking.Monad.SizedTypes</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">dsModules</td><td class="module"><a href="Agda-Interaction-Highlighting-Dot.html#v:dsModules">Agda.Interaction.Highlighting.Dot</a></td></tr><tr><td class="src">dsNameSupply</td><td class="module"><a href="Agda-Interaction-Highlighting-Dot.html#v:dsNameSupply">Agda.Interaction.Highlighting.Dot</a></td></tr><tr><td class="src">dsubname</td><td class="module"><a href="Agda-Compiler-MAlonzo-Misc.html#v:dsubname">Agda.Compiler.MAlonzo.Misc</a></td></tr><tr><td class="src">DTerm</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:DTerm">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">dummy</td><td class="module"><a href="Agda-Compiler-MAlonzo-Misc.html#v:dummy">Agda.Compiler.MAlonzo.Misc</a></td></tr><tr><td class="src">dummyDom</td><td class="module"><a href="Agda-TypeChecking-Monad-Context.html#v:dummyDom">Agda.TypeChecking.Monad.Context</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">dummyLambda</td><td class="module"><a href="Agda-Compiler-JS-Compiler.html#v:dummyLambda">Agda.Compiler.JS.Compiler</a></td></tr><tr><td class="src">DuplicateBuiltinBinding</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:DuplicateBuiltinBinding">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">DuplicateConstructors</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:DuplicateConstructors">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">DuplicateFields</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:DuplicateFields">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">DuplicateImports</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:DuplicateImports">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</td></tr><tr><td class="src">DWithApp</td><td class="module"><a href="Agda-TypeChecking-Monad-Base.html#v:DWithApp">Agda.TypeChecking.Monad.Base</a>, Agda.TypeChecking.Monad</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>