<!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 >UniqSet</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" >UniqSet</DIV ><DIV CLASS="mini-synopsis" ><H1 >Unique set type </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="UniqSet.html#t%3AUniqSet" TARGET="main" >UniqSet</A > a</DIV > <H2 >Manipulating these sets </H2 > <DIV CLASS="decl" ><A HREF="UniqSet.html#v%3AmkUniqSet" TARGET="main" >mkUniqSet</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSet.html#v%3AuniqSetToList" TARGET="main" >uniqSetToList</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSet.html#v%3AemptyUniqSet" TARGET="main" >emptyUniqSet</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSet.html#v%3AunitUniqSet" TARGET="main" >unitUniqSet</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSet.html#v%3AaddOneToUniqSet" TARGET="main" >addOneToUniqSet</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSet.html#v%3AaddListToUniqSet" TARGET="main" >addListToUniqSet</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSet.html#v%3AaddOneToUniqSet_C" TARGET="main" >addOneToUniqSet_C</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSet.html#v%3AdelOneFromUniqSet" TARGET="main" >delOneFromUniqSet</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSet.html#v%3AdelListFromUniqSet" TARGET="main" >delListFromUniqSet</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSet.html#v%3AdelOneFromUniqSet_Directly" TARGET="main" >delOneFromUniqSet_Directly</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSet.html#v%3AunionUniqSets" TARGET="main" >unionUniqSets</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSet.html#v%3AunionManyUniqSets" TARGET="main" >unionManyUniqSets</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSet.html#v%3AminusUniqSet" TARGET="main" >minusUniqSet</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSet.html#v%3AelementOfUniqSet" TARGET="main" >elementOfUniqSet</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSet.html#v%3AmapUniqSet" TARGET="main" >mapUniqSet</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSet.html#v%3AintersectUniqSets" TARGET="main" >intersectUniqSets</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSet.html#v%3AisEmptyUniqSet" TARGET="main" >isEmptyUniqSet</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSet.html#v%3AfilterUniqSet" TARGET="main" >filterUniqSet</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSet.html#v%3AsizeUniqSet" TARGET="main" >sizeUniqSet</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSet.html#v%3AfoldUniqSet" TARGET="main" >foldUniqSet</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSet.html#v%3AelemUniqSet_Directly" TARGET="main" >elemUniqSet_Directly</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSet.html#v%3AlookupUniqSet" TARGET="main" >lookupUniqSet</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSet.html#v%3AhashUniqSet" TARGET="main" >hashUniqSet</A ></DIV ></DIV ></DIV ></BODY ></HTML >