Agda.Compiler.JS.Compiler

compilerMain

compile

prefix

jsMod

jsFileName

jsMember

global'

global

reorder

reorder'

isTopLevelValue

isEmptyObject

insertAfter

curModule

definition

definition'

compileTerm

compilePrim

compileAlt

visitorName

local

qname

literal

litqname

writeModule

outFile

outFile_

copyRTEModules

primitives