<!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();setSynopsis("mini_NameEnv.html");}; //]]> </script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">ghc-7.4.2: The GHC API</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">NameEnv</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Var, Id and TyVar environments (maps) </a><ul><li><a href="#g:2">Manipulating these environments </a></li></ul></li></ul></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">type</span> <a href="#t:NameEnv">NameEnv</a> a = <a href="UniqFM.html#t:UniqFM">UniqFM</a> a</li><li class="src short"><a href="#v:mkNameEnv">mkNameEnv</a> :: [(<a href="Name.html#t:Name">Name</a>, a)] -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a</li><li class="src short"><a href="#v:emptyNameEnv">emptyNameEnv</a> :: <a href="NameEnv.html#t:NameEnv">NameEnv</a> a</li><li class="src short"><a href="#v:unitNameEnv">unitNameEnv</a> :: <a href="Name.html#t:Name">Name</a> -> a -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a</li><li class="src short"><a href="#v:nameEnvElts">nameEnvElts</a> :: <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> [a]</li><li class="src short"><a href="#v:nameEnvUniqueElts">nameEnvUniqueElts</a> :: <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> [(<a href="Unique.html#t:Unique">Unique</a>, a)]</li><li class="src short"><a href="#v:extendNameEnv_C">extendNameEnv_C</a> :: (a -> a -> a) -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> <a href="Name.html#t:Name">Name</a> -> a -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a</li><li class="src short"><a href="#v:extendNameEnv_Acc">extendNameEnv_Acc</a> :: (a -> b -> b) -> (a -> b) -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> b -> <a href="Name.html#t:Name">Name</a> -> a -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> b</li><li class="src short"><a href="#v:extendNameEnv">extendNameEnv</a> :: <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> <a href="Name.html#t:Name">Name</a> -> a -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a</li><li class="src short"><a href="#v:extendNameEnvList">extendNameEnvList</a> :: <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> [(<a href="Name.html#t:Name">Name</a>, a)] -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a</li><li class="src short"><a href="#v:extendNameEnvList_C">extendNameEnvList_C</a> :: (a -> a -> a) -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> [(<a href="Name.html#t:Name">Name</a>, a)] -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a</li><li class="src short"><a href="#v:foldNameEnv">foldNameEnv</a> :: (a -> b -> b) -> b -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> b</li><li class="src short"><a href="#v:filterNameEnv">filterNameEnv</a> :: (elt -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a>) -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> elt -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> elt</li><li class="src short"><a href="#v:plusNameEnv">plusNameEnv</a> :: <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a</li><li class="src short"><a href="#v:plusNameEnv_C">plusNameEnv_C</a> :: (a -> a -> a) -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a</li><li class="src short"><a href="#v:alterNameEnv">alterNameEnv</a> :: (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> <a href="Name.html#t:Name">Name</a> -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a</li><li class="src short"><a href="#v:lookupNameEnv">lookupNameEnv</a> :: <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> <a href="Name.html#t:Name">Name</a> -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a</li><li class="src short"><a href="#v:lookupNameEnv_NF">lookupNameEnv_NF</a> :: <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> <a href="Name.html#t:Name">Name</a> -> a</li><li class="src short"><a href="#v:delFromNameEnv">delFromNameEnv</a> :: <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> <a href="Name.html#t:Name">Name</a> -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a</li><li class="src short"><a href="#v:delListFromNameEnv">delListFromNameEnv</a> :: <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> [<a href="Name.html#t:Name">Name</a>] -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a</li><li class="src short"><a href="#v:elemNameEnv">elemNameEnv</a> :: <a href="Name.html#t:Name">Name</a> -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:mapNameEnv">mapNameEnv</a> :: (elt1 -> elt2) -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> elt1 -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> elt2</li></ul></div><div id="interface"><h1 id="g:1">Var, Id and TyVar environments (maps) </h1><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:NameEnv" class="def">NameEnv</a> a = <a href="UniqFM.html#t:UniqFM">UniqFM</a> a</p></div><h2 id="g:2">Manipulating these environments </h2><div class="top"><p class="src"><a name="v:mkNameEnv" class="def">mkNameEnv</a> :: [(<a href="Name.html#t:Name">Name</a>, a)] -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a</p></div><div class="top"><p class="src"><a name="v:emptyNameEnv" class="def">emptyNameEnv</a> :: <a href="NameEnv.html#t:NameEnv">NameEnv</a> a</p></div><div class="top"><p class="src"><a name="v:unitNameEnv" class="def">unitNameEnv</a> :: <a href="Name.html#t:Name">Name</a> -> a -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a</p></div><div class="top"><p class="src"><a name="v:nameEnvElts" class="def">nameEnvElts</a> :: <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> [a]</p></div><div class="top"><p class="src"><a name="v:nameEnvUniqueElts" class="def">nameEnvUniqueElts</a> :: <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> [(<a href="Unique.html#t:Unique">Unique</a>, a)]</p></div><div class="top"><p class="src"><a name="v:extendNameEnv_C" class="def">extendNameEnv_C</a> :: (a -> a -> a) -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> <a href="Name.html#t:Name">Name</a> -> a -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a</p></div><div class="top"><p class="src"><a name="v:extendNameEnv_Acc" class="def">extendNameEnv_Acc</a> :: (a -> b -> b) -> (a -> b) -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> b -> <a href="Name.html#t:Name">Name</a> -> a -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> b</p></div><div class="top"><p class="src"><a name="v:extendNameEnv" class="def">extendNameEnv</a> :: <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> <a href="Name.html#t:Name">Name</a> -> a -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a</p></div><div class="top"><p class="src"><a name="v:extendNameEnvList" class="def">extendNameEnvList</a> :: <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> [(<a href="Name.html#t:Name">Name</a>, a)] -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a</p></div><div class="top"><p class="src"><a name="v:extendNameEnvList_C" class="def">extendNameEnvList_C</a> :: (a -> a -> a) -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> [(<a href="Name.html#t:Name">Name</a>, a)] -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a</p></div><div class="top"><p class="src"><a name="v:foldNameEnv" class="def">foldNameEnv</a> :: (a -> b -> b) -> b -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> b</p></div><div class="top"><p class="src"><a name="v:filterNameEnv" class="def">filterNameEnv</a> :: (elt -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a>) -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> elt -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> elt</p></div><div class="top"><p class="src"><a name="v:plusNameEnv" class="def">plusNameEnv</a> :: <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a</p></div><div class="top"><p class="src"><a name="v:plusNameEnv_C" class="def">plusNameEnv_C</a> :: (a -> a -> a) -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a</p></div><div class="top"><p class="src"><a name="v:alterNameEnv" class="def">alterNameEnv</a> :: (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> <a href="Name.html#t:Name">Name</a> -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a</p></div><div class="top"><p class="src"><a name="v:lookupNameEnv" class="def">lookupNameEnv</a> :: <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> <a href="Name.html#t:Name">Name</a> -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a</p></div><div class="top"><p class="src"><a name="v:lookupNameEnv_NF" class="def">lookupNameEnv_NF</a> :: <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> <a href="Name.html#t:Name">Name</a> -> a</p></div><div class="top"><p class="src"><a name="v:delFromNameEnv" class="def">delFromNameEnv</a> :: <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> <a href="Name.html#t:Name">Name</a> -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a</p></div><div class="top"><p class="src"><a name="v:delListFromNameEnv" class="def">delListFromNameEnv</a> :: <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> [<a href="Name.html#t:Name">Name</a>] -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a</p></div><div class="top"><p class="src"><a name="v:elemNameEnv" class="def">elemNameEnv</a> :: <a href="Name.html#t:Name">Name</a> -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> a -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:mapNameEnv" class="def">mapNameEnv</a> :: (elt1 -> elt2) -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> elt1 -> <a href="NameEnv.html#t:NameEnv">NameEnv</a> elt2</p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.11.0</p></div></body></html>