Agda.TypeChecking.Monad.MetaVars
dontAssignMetas
getMetaStore
modifyMetaStore
lookupMeta
updateMetaVar
getMetaPriority
isSortMeta
getMetaType
isInstantiatedMeta
createMetaInfo
createMetaInfo'
setValueMetaName
getMetaNameSuggestion
setMetaNameSuggestion
updateMetaVarRange
addInteractionPoint
removeInteractionPoint
getInteractionPoints
getInteractionMetas
isInteractionMeta
lookupInteractionId
judgementInteractionId
newMeta
newMeta'
getInteractionRange
getMetaRange
getInteractionScope
withMetaInfo'
withMetaInfo
getInstantiatedMetas
getOpenMetas
listenToMeta
unlistenToMeta
getMetaListeners
clearMetaListeners
freezeMetas
unfreezeMetas
isFrozen