Agda.TypeChecking.Monad.State
resetState
resetAllState
setScope
getScope
getPatternSyns
setPatternSyns
modifyPatternSyns
getPatternSynImports
lookupPatternSyn
setExtLambdaTele
getExtLambdaTele
addExtLambdaTele
modifyScope
withScope
withScope_
localScope
setTopLevelModule
withTopLevelModule
addHaskellImport
getHaskellImports