Agda.TypeChecking.Monad.State
resetState
resetAllState
localTCState
updatePersistentState
modifyPersistentState
getScope
setScope
modifyScope
withScope
withScope_
localScope
notInScope
printScope
setTopLevelModule
withTopLevelModule
addHaskellImport
getHaskellImports
getInteractionOutputCallback
appInteractionOutputCallback
setInteractionOutputCallback
getPatternSyns
setPatternSyns
modifyPatternSyns
getPatternSynImports
lookupPatternSyn
theBenchmark
updateBenchmark
getBenchmark
modifyBenchmark
freshTCM