<!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 >NameSet</TITLE ><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css" ><SCRIPT SRC="haddock-util.js" TYPE="text/javascript" ></SCRIPT ></HEAD ><BODY ><DIV CLASS="outer" ><DIV CLASS="mini-topbar" >NameSet</DIV ><DIV CLASS="mini-synopsis" ><H1 >Names set type </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="NameSet.html#t%3ANameSet" TARGET="main" >NameSet</A > </DIV > <H2 >Manipulating these sets </H2 > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AemptyNameSet" TARGET="main" >emptyNameSet</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AunitNameSet" TARGET="main" >unitNameSet</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AmkNameSet" TARGET="main" >mkNameSet</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AunionNameSets" TARGET="main" >unionNameSets</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AunionManyNameSets" TARGET="main" >unionManyNameSets</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AminusNameSet" TARGET="main" >minusNameSet</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AelemNameSet" TARGET="main" >elemNameSet</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AnameSetToList" TARGET="main" >nameSetToList</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AaddOneToNameSet" TARGET="main" >addOneToNameSet</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AaddListToNameSet" TARGET="main" >addListToNameSet</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AdelFromNameSet" TARGET="main" >delFromNameSet</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AdelListFromNameSet" TARGET="main" >delListFromNameSet</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AisEmptyNameSet" TARGET="main" >isEmptyNameSet</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AfoldNameSet" TARGET="main" >foldNameSet</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AfilterNameSet" TARGET="main" >filterNameSet</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AintersectsNameSet" TARGET="main" >intersectsNameSet</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AintersectNameSet" TARGET="main" >intersectNameSet</A ></DIV > <H1 >Free variables </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="NameSet.html#t%3AFreeVars" TARGET="main" >FreeVars</A > </DIV > <H2 >Manipulating sets of free variables </H2 > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AisEmptyFVs" TARGET="main" >isEmptyFVs</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AemptyFVs" TARGET="main" >emptyFVs</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AplusFVs" TARGET="main" >plusFVs</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AplusFV" TARGET="main" >plusFV</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AmkFVs" TARGET="main" >mkFVs</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AaddOneFV" TARGET="main" >addOneFV</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AunitFV" TARGET="main" >unitFV</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AdelFV" TARGET="main" >delFV</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AdelFVs" TARGET="main" >delFVs</A ></DIV > <H1 >Defs and uses </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="NameSet.html#t%3ADefs" TARGET="main" >Defs</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="NameSet.html#t%3AUses" TARGET="main" >Uses</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="NameSet.html#t%3ADefUse" TARGET="main" >DefUse</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="NameSet.html#t%3ADefUses" TARGET="main" >DefUses</A > </DIV > <H2 >Manipulating defs and uses </H2 > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AemptyDUs" TARGET="main" >emptyDUs</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AusesOnly" TARGET="main" >usesOnly</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AmkDUs" TARGET="main" >mkDUs</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AplusDU" TARGET="main" >plusDU</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AfindUses" TARGET="main" >findUses</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AduDefs" TARGET="main" >duDefs</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AduUses" TARGET="main" >duUses</A ></DIV > <DIV CLASS="decl" ><A HREF="NameSet.html#v%3AallUses" TARGET="main" >allUses</A ></DIV ></DIV ></DIV ></BODY ></HTML >