<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <!--Rendered using the Haskell Html Library v0.2--> <HTML ><HEAD ><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8" ><TITLE >NameEnv</TITLE ><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css" ><SCRIPT SRC="haddock-util.js" TYPE="text/javascript" ></SCRIPT ><SCRIPT TYPE="text/javascript" >window.onload = function () {setSynopsis("mini_NameEnv.html")};</SCRIPT ></HEAD ><BODY ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="topbar" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD ><IMG SRC="haskell_icon.gif" WIDTH="16" HEIGHT="16" ALT=" " ></TD ><TD CLASS="title" >ghc-6.12.3: The GHC API</TD ><TD CLASS="topbut" ><A HREF="index.html" >Contents</A ></TD ><TD CLASS="topbut" ><A HREF="doc-index.html" >Index</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="modulebar" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD ><FONT SIZE="6" >NameEnv</FONT ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="section4" ><B >Contents</B ></TD ></TR ><TR ><TD ><DL ><DT ><A HREF="#1" >Var, Id and TyVar environments (maps) </A ></DT ><DD ><DL ><DT ><A HREF="#2" >Manipulating these environments </A ></DT ></DL ></DD ></DL ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="section1" >Synopsis</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="#t%3ANameEnv" >NameEnv</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AmkNameEnv" >mkNameEnv</A > :: [(<A HREF="Name.html#t%3AName" >Name</A >, a)] -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AemptyNameEnv" >emptyNameEnv</A > :: <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AunitNameEnv" >unitNameEnv</A > :: <A HREF="Name.html#t%3AName" >Name</A > -> a -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AnameEnvElts" >nameEnvElts</A > :: <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> [a]</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AnameEnvUniqueElts" >nameEnvUniqueElts</A > :: <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> [(<A HREF="Unique.html#t%3AUnique" >Unique</A >, a)]</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AextendNameEnv_C" >extendNameEnv_C</A > :: (a -> a -> a) -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> <A HREF="Name.html#t%3AName" >Name</A > -> a -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AextendNameEnv_Acc" >extendNameEnv_Acc</A > :: (a -> b -> b) -> (a -> b) -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > b -> <A HREF="Name.html#t%3AName" >Name</A > -> a -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > b</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AextendNameEnv" >extendNameEnv</A > :: <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> <A HREF="Name.html#t%3AName" >Name</A > -> a -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AextendNameEnvList" >extendNameEnvList</A > :: <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> [(<A HREF="Name.html#t%3AName" >Name</A >, a)] -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AextendNameEnvList_C" >extendNameEnvList_C</A > :: (a -> a -> a) -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> [(<A HREF="Name.html#t%3AName" >Name</A >, a)] -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AfoldNameEnv" >foldNameEnv</A > :: (a -> b -> b) -> b -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> b</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AfilterNameEnv" >filterNameEnv</A > :: (elt -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A >) -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > elt -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > elt</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AplusNameEnv" >plusNameEnv</A > :: <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AplusNameEnv_C" >plusNameEnv_C</A > :: (a -> a -> a) -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AlookupNameEnv" >lookupNameEnv</A > :: <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AlookupNameEnv_NF" >lookupNameEnv_NF</A > :: <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> <A HREF="Name.html#t%3AName" >Name</A > -> a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AdelFromNameEnv" >delFromNameEnv</A > :: <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AdelListFromNameEnv" >delListFromNameEnv</A > :: <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> [<A HREF="Name.html#t%3AName" >Name</A >] -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AelemNameEnv" >elemNameEnv</A > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AmapNameEnv" >mapNameEnv</A > :: (elt1 -> elt2) -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > elt1 -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > elt2</TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="section1" ><A NAME="1" ><A NAME="1" >Var, Id and TyVar environments (maps) </A ></A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:NameEnv" ><A NAME="t%3ANameEnv" ></A ></A ><B >NameEnv</B > a </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="section4" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:NameEnv')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:NameEnv" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="Outputable.html#t%3AOutputable" >Outputable</A > a => <A HREF="Outputable.html#t%3AOutputable" >Outputable</A > (<A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a)</TD ></TR ></TABLE ></DIV ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="section2" ><A NAME="2" ><A NAME="2" >Manipulating these environments </A ></A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkNameEnv" ><A NAME="v%3AmkNameEnv" ></A ></A ><B >mkNameEnv</B > :: [(<A HREF="Name.html#t%3AName" >Name</A >, a)] -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:emptyNameEnv" ><A NAME="v%3AemptyNameEnv" ></A ></A ><B >emptyNameEnv</B > :: <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:unitNameEnv" ><A NAME="v%3AunitNameEnv" ></A ></A ><B >unitNameEnv</B > :: <A HREF="Name.html#t%3AName" >Name</A > -> a -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:nameEnvElts" ><A NAME="v%3AnameEnvElts" ></A ></A ><B >nameEnvElts</B > :: <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> [a]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:nameEnvUniqueElts" ><A NAME="v%3AnameEnvUniqueElts" ></A ></A ><B >nameEnvUniqueElts</B > :: <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> [(<A HREF="Unique.html#t%3AUnique" >Unique</A >, a)]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:extendNameEnv_C" ><A NAME="v%3AextendNameEnv_C" ></A ></A ><B >extendNameEnv_C</B > :: (a -> a -> a) -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> <A HREF="Name.html#t%3AName" >Name</A > -> a -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:extendNameEnv_Acc" ><A NAME="v%3AextendNameEnv_Acc" ></A ></A ><B >extendNameEnv_Acc</B > :: (a -> b -> b) -> (a -> b) -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > b -> <A HREF="Name.html#t%3AName" >Name</A > -> a -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > b</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:extendNameEnv" ><A NAME="v%3AextendNameEnv" ></A ></A ><B >extendNameEnv</B > :: <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> <A HREF="Name.html#t%3AName" >Name</A > -> a -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:extendNameEnvList" ><A NAME="v%3AextendNameEnvList" ></A ></A ><B >extendNameEnvList</B > :: <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> [(<A HREF="Name.html#t%3AName" >Name</A >, a)] -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:extendNameEnvList_C" ><A NAME="v%3AextendNameEnvList_C" ></A ></A ><B >extendNameEnvList_C</B > :: (a -> a -> a) -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> [(<A HREF="Name.html#t%3AName" >Name</A >, a)] -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:foldNameEnv" ><A NAME="v%3AfoldNameEnv" ></A ></A ><B >foldNameEnv</B > :: (a -> b -> b) -> b -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> b</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:filterNameEnv" ><A NAME="v%3AfilterNameEnv" ></A ></A ><B >filterNameEnv</B > :: (elt -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A >) -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > elt -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > elt</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:plusNameEnv" ><A NAME="v%3AplusNameEnv" ></A ></A ><B >plusNameEnv</B > :: <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:plusNameEnv_C" ><A NAME="v%3AplusNameEnv_C" ></A ></A ><B >plusNameEnv_C</B > :: (a -> a -> a) -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:lookupNameEnv" ><A NAME="v%3AlookupNameEnv" ></A ></A ><B >lookupNameEnv</B > :: <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:lookupNameEnv_NF" ><A NAME="v%3AlookupNameEnv_NF" ></A ></A ><B >lookupNameEnv_NF</B > :: <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> <A HREF="Name.html#t%3AName" >Name</A > -> a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:delFromNameEnv" ><A NAME="v%3AdelFromNameEnv" ></A ></A ><B >delFromNameEnv</B > :: <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:delListFromNameEnv" ><A NAME="v%3AdelListFromNameEnv" ></A ></A ><B >delListFromNameEnv</B > :: <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> [<A HREF="Name.html#t%3AName" >Name</A >] -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:elemNameEnv" ><A NAME="v%3AelemNameEnv" ></A ></A ><B >elemNameEnv</B > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > a -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mapNameEnv" ><A NAME="v%3AmapNameEnv" ></A ></A ><B >mapNameEnv</B > :: (elt1 -> elt2) -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > elt1 -> <A HREF="NameEnv.html#t%3ANameEnv" >NameEnv</A > elt2</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="botbar" >Produced by <A HREF="http://www.haskell.org/haddock/" >Haddock</A > version 2.6.1</TD ></TR ></TABLE ></BODY ></HTML >