Agda.Compiler.MAlonzo.Compiler
ghcBackend
ghcBackend'
data GHCOptions
defaultGHCOptions
ghcCommandLineFlags
ghcPreCompile
ghcPostCompile
type GHCModuleEnv
ghcPreModule
ghcPostModule
ghcCompileDef
imports
definition
constructorCoverageCode
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
erasedArity
condecl
cdecl
compiledcondecl
compiledTypeSynonym
tvaldecl
infodecl
hsCast
hsCast'
hsCastApp
hsCoerce
copyRTEModules
writeModule
outFile'
outFile
outFile_
callGHC