Agda.TypeChecking.Monad.State
resetState
resetAllState
localTCState
localTCStateSaving
lensPersistentState
updatePersistentState
modifyPersistentState
lensAccumStatisticsP
lensAccumStatistics
getScope
setScope
modifyScope_
modifyScope
withScope
withScope_
localScope
notInScope
printScope
stSignature
stImports
modifySignature
modifyImportedSignature
getSignature
getImportedSignature
modifyGlobalDefinition
setSignature
setImportedSignature
withSignature
addRewriteRulesFor
lookupDefinition
updateDefinitions
updateDefinition
updateTheDef
updateDefType
updateDefArgOccurrences
updateDefPolarity
updateDefCompiledRep
updateFunClauses
setTopLevelModule
withTopLevelModule
addHaskellImport
getHaskellImports
addHaskellImportUHC
getHaskellImportsUHC
addInlineHaskell
getInteractionOutputCallback
appInteractionOutputCallback
setInteractionOutputCallback
getPatternSyns
setPatternSyns
modifyPatternSyns
getPatternSynImports
lookupPatternSyn
theBenchmark
updateBenchmark
getBenchmark
modifyBenchmark
freshTCM
addSignatureInstances
updateInstanceDefs
modifyInstanceDefs
getAllInstanceDefs
getAnonInstanceDefs
clearAnonInstanceDefs
addUnknownInstance
addNamedInstance