<!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.Abstract.Name</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.Abstract.Name</p></div><div id="interface"><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Abstract-Name.html#t:Name" target="main">Name</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Abstract-Name.html#t:QName" target="main">QName</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Abstract-Name.html#t:QNamed" target="main">QNamed</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Abstract-Name.html#t:ModuleName" target="main">ModuleName</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Abstract-Name.html#t:AmbiguousQName" target="main">AmbiguousQName</a> </p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:isAnonymousModuleName" target="main">isAnonymousModuleName</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:withRangesOf" target="main">withRangesOf</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:withRangesOfQ" target="main">withRangesOfQ</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:mnameFromList" target="main">mnameFromList</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:noModuleName" target="main">noModuleName</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:mkName" target="main">mkName</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:mkName_" target="main">mkName_</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:qnameToList" target="main">qnameToList</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:qnameFromList" target="main">qnameFromList</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:qnameToMName" target="main">qnameToMName</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:mnameToQName" target="main">mnameToQName</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:showQNameId" target="main">showQNameId</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:qnameToConcrete" target="main">qnameToConcrete</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:mnameToConcrete" target="main">mnameToConcrete</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:toTopLevelModuleName" target="main">toTopLevelModuleName</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:qualifyM" target="main">qualifyM</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:qualifyQ" target="main">qualifyQ</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:qualify" target="main">qualify</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:isOperator" target="main">isOperator</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:isSubModuleOf" target="main">isSubModuleOf</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:isInModule" target="main">isInModule</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:freshName" target="main">freshName</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:freshName_" target="main">freshName_</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:freshNoName" target="main">freshNoName</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:freshNoName_" target="main">freshNoName_</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Abstract-Name.html#v:nextName" target="main">nextName</a></p></div></div></body></html>
