Agda.Compiler.Epic.CompileState

type IrrFilter

data CompileState

initCompileState

type Compile

epicError

unqname

State modifiers

getDelayed

putDelayed

newName

addDataDecl

getConstrTag

addDefName

topBindings

getConPar

putConPar

putMain

getMain

getIrrFilter

putIrrFilter

replaceAt

constructorArity