<!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.Compiler.JS.Compiler</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.Compiler.JS.Compiler</p></div><div id="interface"><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:compilerMain" target="main">compilerMain</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:compile" target="main">compile</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:prefix" target="main">prefix</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:jsMod" target="main">jsMod</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:jsFileName" target="main">jsFileName</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:jsMember" target="main">jsMember</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:global-39-" target="main">global'</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:global" target="main">global</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:reorder" target="main">reorder</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:reorder-39-" target="main">reorder'</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:isTopLevelValue" target="main">isTopLevelValue</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:isEmptyObject" target="main">isEmptyObject</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:insertAfter" target="main">insertAfter</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:curModule" target="main">curModule</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:definition" target="main">definition</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:defn" target="main">defn</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:numPars" target="main">numPars</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:clause" target="main">clause</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:mapping" target="main">mapping</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:mapping-39-" target="main">mapping'</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:pattern" target="main">pattern</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:tag" target="main">tag</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:visitorName" target="main">visitorName</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:body" target="main">body</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:term" target="main">term</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:isSingleton" target="main">isSingleton</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:defProjection" target="main">defProjection</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:args" target="main">args</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:qname" target="main">qname</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:literal" target="main">literal</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:dummyLambda" target="main">dummyLambda</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:writeModule" target="main">writeModule</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:compileDir" target="main">compileDir</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:outFile" target="main">outFile</a></p></div><div class="top"><p class="src"><a href="Agda-Compiler-JS-Compiler.html#v:outFile_" target="main">outFile_</a></p></div></div></body></html>
