Agda.Compiler.MAlonzo.Compiler
compilerMain
compile
imports
definitions
definition
data CCEnv
type NameSupply
type CCContext
mapNameSupply
mapContext
initCCEnv
lookupIndex
type CC
freshNames
intros
checkConstructorType
checkCover
closedTerm
term
compilePrim
alt
literal
hslit
litString
litqname
litqnamepat
condecl
cdecl
tvaldecl
infodecl
hsCast
hsCast'
hsCastApp
hsCoerce
copyRTEModules
writeModule
outFile'
outFile
outFile_
callGHC