<!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>NameEnv</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">NameEnv</p></div><div id="interface"><h1>Var, Id and TyVar environments (maps)
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a href="NameEnv.html#t:NameEnv" target="main">NameEnv</a> a</p></div><h2>Manipulating these environments
</h2><div class="top"><p class="src"><a href="NameEnv.html#v:mkNameEnv" target="main">mkNameEnv</a></p></div><div class="top"><p class="src"><a href="NameEnv.html#v:emptyNameEnv" target="main">emptyNameEnv</a></p></div><div class="top"><p class="src"><a href="NameEnv.html#v:unitNameEnv" target="main">unitNameEnv</a></p></div><div class="top"><p class="src"><a href="NameEnv.html#v:nameEnvElts" target="main">nameEnvElts</a></p></div><div class="top"><p class="src"><a href="NameEnv.html#v:nameEnvUniqueElts" target="main">nameEnvUniqueElts</a></p></div><div class="top"><p class="src"><a href="NameEnv.html#v:extendNameEnv_C" target="main">extendNameEnv_C</a></p></div><div class="top"><p class="src"><a href="NameEnv.html#v:extendNameEnv_Acc" target="main">extendNameEnv_Acc</a></p></div><div class="top"><p class="src"><a href="NameEnv.html#v:extendNameEnv" target="main">extendNameEnv</a></p></div><div class="top"><p class="src"><a href="NameEnv.html#v:extendNameEnvList" target="main">extendNameEnvList</a></p></div><div class="top"><p class="src"><a href="NameEnv.html#v:extendNameEnvList_C" target="main">extendNameEnvList_C</a></p></div><div class="top"><p class="src"><a href="NameEnv.html#v:foldNameEnv" target="main">foldNameEnv</a></p></div><div class="top"><p class="src"><a href="NameEnv.html#v:filterNameEnv" target="main">filterNameEnv</a></p></div><div class="top"><p class="src"><a href="NameEnv.html#v:plusNameEnv" target="main">plusNameEnv</a></p></div><div class="top"><p class="src"><a href="NameEnv.html#v:plusNameEnv_C" target="main">plusNameEnv_C</a></p></div><div class="top"><p class="src"><a href="NameEnv.html#v:alterNameEnv" target="main">alterNameEnv</a></p></div><div class="top"><p class="src"><a href="NameEnv.html#v:lookupNameEnv" target="main">lookupNameEnv</a></p></div><div class="top"><p class="src"><a href="NameEnv.html#v:lookupNameEnv_NF" target="main">lookupNameEnv_NF</a></p></div><div class="top"><p class="src"><a href="NameEnv.html#v:delFromNameEnv" target="main">delFromNameEnv</a></p></div><div class="top"><p class="src"><a href="NameEnv.html#v:delListFromNameEnv" target="main">delListFromNameEnv</a></p></div><div class="top"><p class="src"><a href="NameEnv.html#v:elemNameEnv" target="main">elemNameEnv</a></p></div><div class="top"><p class="src"><a href="NameEnv.html#v:mapNameEnv" target="main">mapNameEnv</a></p></div></div></body></html>
