<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Agda.TypeChecking.Monad.MetaVars</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();};
//]]>
</script></head><body id="mini"><div id="module-header"><p class="caption">Agda.TypeChecking.Monad.MetaVars</p></div><div id="interface"><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:dontAssignMetas" target="main">dontAssignMetas</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:getMetaStore" target="main">getMetaStore</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:modifyMetaStore" target="main">modifyMetaStore</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:lookupMeta" target="main">lookupMeta</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:updateMetaVar" target="main">updateMetaVar</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:getMetaPriority" target="main">getMetaPriority</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:isSortMeta" target="main">isSortMeta</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:getMetaType" target="main">getMetaType</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:isInstantiatedMeta" target="main">isInstantiatedMeta</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:createMetaInfo" target="main">createMetaInfo</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:createMetaInfo-39-" target="main">createMetaInfo'</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:setValueMetaName" target="main">setValueMetaName</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:getMetaNameSuggestion" target="main">getMetaNameSuggestion</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:setMetaNameSuggestion" target="main">setMetaNameSuggestion</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:updateMetaVarRange" target="main">updateMetaVarRange</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:addInteractionPoint" target="main">addInteractionPoint</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:removeInteractionPoint" target="main">removeInteractionPoint</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:getInteractionPoints" target="main">getInteractionPoints</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:getInteractionMetas" target="main">getInteractionMetas</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:isInteractionMeta" target="main">isInteractionMeta</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:lookupInteractionId" target="main">lookupInteractionId</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:judgementInteractionId" target="main">judgementInteractionId</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:newMeta" target="main">newMeta</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:newMeta-39-" target="main">newMeta'</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:getInteractionRange" target="main">getInteractionRange</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:getMetaRange" target="main">getMetaRange</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:getInteractionScope" target="main">getInteractionScope</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:withMetaInfo-39-" target="main">withMetaInfo'</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:withMetaInfo" target="main">withMetaInfo</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:getInstantiatedMetas" target="main">getInstantiatedMetas</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:getOpenMetas" target="main">getOpenMetas</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:listenToMeta" target="main">listenToMeta</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:unlistenToMeta" target="main">unlistenToMeta</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:getMetaListeners" target="main">getMetaListeners</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:clearMetaListeners" target="main">clearMetaListeners</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:freezeMetas" target="main">freezeMetas</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:unfreezeMetas" target="main">unfreezeMetas</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Monad-MetaVars.html#v:isFrozen" target="main">isFrozen</a></p></div></div></body></html>
