Agda.TypeChecking.Monad.State

resetState

resetAllState

setScope

getScope

getPatternSyns

setPatternSyns

modifyPatternSyns

getPatternSynImports

lookupPatternSyn

setExtLambdaTele

getExtLambdaTele

addExtLambdaTele

modifyScope

withScope

withScope_

localScope

setTopLevelModule

withTopLevelModule

addHaskellImport

getHaskellImports