Agda.Compiler.JS.Compiler

compilerMain

compile

prefix

jsMod

jsFileName

jsMember

global'

global

reorder

reorder'

isTopLevelValue

isEmptyObject

insertAfter

curModule

definition

defn

numPars

clause

mapping

mapping'

pattern

tag

visitorName

body

term

isSingleton

args

qname

literal

dummyLambda

writeModule

compileDir

outFile

outFile_