Agda.Compiler.JS.Compiler

jsBackend

jsBackend'

data JSOptions

defaultJSOptions

jsCommandLineFlags

jsPreCompile

jsPostCompile

type JSModuleEnv

jsPreModule

jsPostModule

jsCompileDef

prefix

jsMod

jsFileName

jsMember

global'

global

reorder

reorder'

isTopLevelValue

isEmptyObject

insertAfter

curModule

definition

checkCompilerPragmas

defJSDef

definition'

compileTerm

compileTerm'

compilePrim

compileAlt

visitorName

flatName

local

qname

literal

litqname

writeModule

outFile

outFile_

copyRTEModules

primitives