<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<meta name="generator" content="Asciidoctor 2.0.26">
<title>MLtonRandom</title>
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Open+Sans:300,300italic,400,400italic,600,600italic%7CNoto+Serif:400,400italic,700,700italic%7CDroid+Sans+Mono:400,700">
<link rel="stylesheet" href="./asciidoctor.css">
<link rel="stylesheet" href="./mlton.css">

</head>
<body class="article">
<div id="mlton-header">
<div id="mlton-header-text">
<h2>
<a href="./Home">
MLton
20241230+git20251029+dfsg-5
</a>
</h2>
</div>
</div>
<div id="header">
<h1>MLtonRandom</h1>
</div>
<div id="content">
<div class="listingblock">
<div class="content">
<pre class="rouge highlight"><code data-lang="sml">signature MLTON_RANDOM =
   sig
      val alphaNumChar: unit -&gt; char
      val alphaNumString: int -&gt; string
      val rand: unit -&gt; word
      val seed: unit -&gt; word option
      val srand: word -&gt; unit
      val useed: unit -&gt; word option
   end</code></pre>
</div>
</div>
<div class="ulist">
<ul>
<li>
<p><code>alphaNumChar ()</code></p>
<div class="paragraph">
<p>returns a random alphanumeric character.</p>
</div>
</li>
<li>
<p><code>alphaNumString n</code></p>
<div class="paragraph">
<p>returns a string of length <code>n</code> of random alphanumeric characters.</p>
</div>
</li>
<li>
<p><code>rand ()</code></p>
<div class="paragraph">
<p>returns the next pseudo-random number.</p>
</div>
</li>
<li>
<p><code>seed ()</code></p>
<div class="paragraph">
<p>returns a random word from <code>/dev/random</code>.  Useful as an arg to
<code>srand</code>.  If <code>/dev/random</code> can not be read from, <code>seed ()</code> returns
<code>NONE</code>.  A call to <code>seed</code> may block until enough random bits are
available.</p>
</div>
</li>
<li>
<p><code>srand w</code></p>
<div class="paragraph">
<p>sets the seed used by <code>rand</code> to <code>w</code>.</p>
</div>
</li>
<li>
<p><code>useed ()</code></p>
<div class="paragraph">
<p>returns a random word from <code>/dev/urandom</code>.  Useful as an arg to
<code>srand</code>.  If <code>/dev/urandom</code> can not be read from, <code>useed ()</code> returns
<code>NONE</code>.  A call to <code>useed</code> will never block&#8201;&#8212;&#8201;it will instead return
lower quality random bits.</p>
</div>
</li>
</ul>
</div>
</div>
</body>
</html>