Agda.Compiler.UHC.CompileState
data CompileT m a
type Compile
runCompileT
data CoreMeta
addExports
addMetaCon
addMetaData
getExports
getDeclMetas
getCoreName
getCoreName1
getConstrCTag
getConstrFun
moduleNameToCoreName
moduleNameToCoreNameParts
freshLocalName
conArityAndPars
dataRecCons