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