Agda.Compiler.Epic.CompileState
data CompileState
initCompileState
type Compile
epicError
modifyEI
getsEI
getType
unqname
resetNameSupply
getDelayed
putDelayed
newName
putConstrTag
assignConstrTag
assignConstrTag'
getConData
getDataCon
getConstrTag
getConstrTag'
addDefName
topBindings
getConArity
putConArity
putMain
getMain
lookInterface
constrInScope
getForcedArgs
putForcedArgs
replaceAt
constructorArity
bindExpr