<!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>UniqSupply</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();};
//]]>
</script></head><body id="mini"><div id="module-header"><p class="caption">UniqSupply</p></div><div id="interface"><h1>Main data type
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="UniqSupply.html#t:UniqSupply" target="main">UniqSupply</a> </p></div><h2>Operations on supplies
</h2><div class="top"><p class="src"><a href="UniqSupply.html#v:uniqFromSupply" target="main">uniqFromSupply</a></p></div><div class="top"><p class="src"><a href="UniqSupply.html#v:uniqsFromSupply" target="main">uniqsFromSupply</a></p></div><div class="top"><p class="src"><a href="UniqSupply.html#v:takeUniqFromSupply" target="main">takeUniqFromSupply</a></p></div><div class="top"><p class="src"><a href="UniqSupply.html#v:mkSplitUniqSupply" target="main">mkSplitUniqSupply</a></p></div><div class="top"><p class="src"><a href="UniqSupply.html#v:splitUniqSupply" target="main">splitUniqSupply</a></p></div><div class="top"><p class="src"><a href="UniqSupply.html#v:listSplitUniqSupply" target="main">listSplitUniqSupply</a></p></div><h1>Unique supply monad and its abstraction
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="UniqSupply.html#t:UniqSM" target="main">UniqSM</a> result</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="UniqSupply.html#t:MonadUnique" target="main">MonadUnique</a> m</p></div><h2>Operations on the monad
</h2><div class="top"><p class="src"><a href="UniqSupply.html#v:initUs" target="main">initUs</a></p></div><div class="top"><p class="src"><a href="UniqSupply.html#v:initUs_" target="main">initUs_</a></p></div><div class="top"><p class="src"><a href="UniqSupply.html#v:lazyThenUs" target="main">lazyThenUs</a></p></div><div class="top"><p class="src"><a href="UniqSupply.html#v:lazyMapUs" target="main">lazyMapUs</a></p></div><h2>Deprecated operations on <code><a href="UniqSupply.html#t:UniqSM">UniqSM</a></code>
</h2><div class="top"><p class="src"><a href="UniqSupply.html#v:getUniqueUs" target="main">getUniqueUs</a></p></div><div class="top"><p class="src"><a href="UniqSupply.html#v:getUs" target="main">getUs</a></p></div><div class="top"><p class="src"><a href="UniqSupply.html#v:returnUs" target="main">returnUs</a></p></div><div class="top"><p class="src"><a href="UniqSupply.html#v:thenUs" target="main">thenUs</a></p></div><div class="top"><p class="src"><a href="UniqSupply.html#v:mapUs" target="main">mapUs</a></p></div></div></body></html>
distrib
>
Mageia
>
5
>
i586
>
media
>
core-release
>
by-pkgid
>
6e204a966e8c42d976f99a1700ce5f20
>
files
>
3593
