<!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 >UniqSupply</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" >UniqSupply</DIV ><DIV CLASS="mini-synopsis" ><H1 >Main data type </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="UniqSupply.html#t%3AUniqSupply" TARGET="main" >UniqSupply</A > </DIV > <H2 >Operations on supplies </H2 > <DIV CLASS="decl" ><A HREF="UniqSupply.html#v%3AuniqFromSupply" TARGET="main" >uniqFromSupply</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSupply.html#v%3AuniqsFromSupply" TARGET="main" >uniqsFromSupply</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSupply.html#v%3AmkSplitUniqSupply" TARGET="main" >mkSplitUniqSupply</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSupply.html#v%3AsplitUniqSupply" TARGET="main" >splitUniqSupply</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSupply.html#v%3AlistSplitUniqSupply" TARGET="main" >listSplitUniqSupply</A ></DIV > <H1 >Unique supply monad and its abstraction </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="UniqSupply.html#t%3AUniqSM" TARGET="main" >UniqSM</A > result</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="UniqSupply.html#t%3AMonadUnique" TARGET="main" >MonadUnique</A > m</DIV > <H2 >Operations on the monad </H2 > <DIV CLASS="decl" ><A HREF="UniqSupply.html#v%3AinitUs" TARGET="main" >initUs</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSupply.html#v%3AinitUs_" TARGET="main" >initUs_</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSupply.html#v%3AlazyThenUs" TARGET="main" >lazyThenUs</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSupply.html#v%3AlazyMapUs" TARGET="main" >lazyMapUs</A ></DIV > <H2 >Deprecated operations on <TT ><A HREF="UniqSupply.html#t%3AUniqSM" >UniqSM</A ></TT > </H2 > <DIV CLASS="decl" ><A HREF="UniqSupply.html#v%3AgetUniqueUs" TARGET="main" >getUniqueUs</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSupply.html#v%3AgetUs" TARGET="main" >getUs</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSupply.html#v%3AreturnUs" TARGET="main" >returnUs</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSupply.html#v%3AthenUs" TARGET="main" >thenUs</A ></DIV > <DIV CLASS="decl" ><A HREF="UniqSupply.html#v%3AmapUs" TARGET="main" >mapUs</A ></DIV ></DIV ></DIV ></BODY ></HTML >