/usr/share/doc/mlton/guide/MLtonIntInf is in mlton-doc 20100608-5.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 | <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta name="robots" content="index,nofollow">
<title>MLtonIntInf - MLton Standard ML Compiler (SML Compiler)</title>
<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="all" href="common.css">
<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="screen" href="screen.css">
<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="print" href="print.css">
<link rel="Start" href="Home">
</head>
<body lang="en" dir="ltr">
<script src="http://www.google-analytics.com/urchin.js" type="text/javascript">
</script>
<script type="text/javascript">
_uacct = "UA-833377-1";
urchinTracker();
</script>
<table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%>
<tr>
<td style = "
border: 0px;
color: darkblue;
font-size: 150%;
text-align: left;">
<a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
<td style = "
border: 0px;
font-size: 150%;
text-align: center;
width: 50%;">
MLtonIntInf
<td style = "
border: 0px;
text-align: right;">
<table cellspacing = 0 style = "border: 0px">
<tr style = "vertical-align: middle;">
</table>
<tr style = "background-color: white;">
<td colspan = 3
style = "
border: 0px;
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
<a href = "TitleIndex">Index</a>
</table>
<div id="content" lang="en" dir="ltr">
<pre class=code>
<B><FONT COLOR="#0000FF">signature</FONT></B> MLTON_INT_INF =
<B><FONT COLOR="#0000FF">sig</FONT></B>
<B><FONT COLOR="#A020F0">type</FONT></B><B><FONT COLOR="#228B22"> t </FONT></B>=<B><FONT COLOR="#228B22"> IntInf.int
</FONT></B><B><FONT COLOR="#A020F0">val</FONT></B> areSmall: t * t -> bool
<B><FONT COLOR="#A020F0">val</FONT></B> gcd: t * t -> t
<B><FONT COLOR="#A020F0">val</FONT></B> isSmall: t -> bool
<B><FONT COLOR="#0000FF">structure</FONT></B> BigWord : WORD
<B><FONT COLOR="#0000FF">structure</FONT></B> SmallInt : INTEGER
<B><FONT COLOR="#A020F0">datatype</FONT></B><B><FONT COLOR="#228B22"> rep </FONT></B>=<B><FONT COLOR="#228B22">
<FONT COLOR="#B8860B">Big</FONT> <B><FONT COLOR="#A020F0">of</FONT></B> BigWord.word vector
</FONT></B>|<B><FONT COLOR="#228B22"> <FONT COLOR="#B8860B">Small</FONT> <B><FONT COLOR="#A020F0">of</FONT></B> SmallInt.int
</FONT></B><B><FONT COLOR="#A020F0">val</FONT></B> rep: t -> rep
<B><FONT COLOR="#A020F0">val</FONT></B> fromRep : rep -> t
<B><FONT COLOR="#0000FF">end</FONT></B>
</PRE>
<p>
</p>
<p>
MLton represents an arbitrary precision integer either as an unboxed word with the bottom bit set to 1 and the top bits representing a small signed integer, or as a pointer to a vector of words, where the first word indicates the sign and the rest are the limbs of a <a href="GnuMP">GnuMP</a> big integer.
</p>
<ul>
<li>
<p>
<tt>type t</tt> <br>
the same as type <tt>IntInf.int</tt>.
</p>
</li>
<li class="gap">
<p>
<tt>areSmall (a, b)</tt> <br>
returns true iff both <tt>a</tt> and <tt>b</tt> are small.
</p>
</li>
<li class="gap">
<p>
<tt>gcd (a, b)</tt> <br>
uses the <a href="GnuMP">GnuMP's</a> fast gcd implementation.
</p>
</li>
<li class="gap">
<p>
<tt>isSmall a</tt> <br>
returns true iff <tt>a</tt> is small.
</p>
</li>
<li class="gap">
<p>
<tt>BigWord : WORD</tt> <br>
representation of a big <tt>IntInf.int</tt> as a vector of words; on 32-bit platforms, <tt>BigWord</tt> is likely to be equivalent to <tt>Word32</tt>, and on 64-bit platforms, <tt>BigWord</tt> is likely to be equivalent to <tt>Word64</tt>.
</p>
</li>
<li class="gap">
<p>
<tt>SmallInt : INTEGER</tt> <br>
representation of a small <tt>IntInf.int</tt> as a signed integer; on 32-bit platforms, <tt>SmallInt</tt> is likely to be equivalent to <tt>Int32</tt>, and on 64-bit platforms, <tt>SmallInt</tt> is likely to be equivalent to <tt>Int64</tt>.
</p>
</li>
<li class="gap">
<p>
<tt>datatype rep</tt> <br>
the underlying representation of an <tt>IntInf.int</tt>.
</p>
</li>
<li class="gap">
<p>
<tt>rep i</tt> <br>
returns the underlying representation of <tt>i</tt>.
</p>
</li>
<li class="gap">
<p>
<tt>fromRep r</tt> <br>
converts from the underlying representation back to <tt>i</tt>. If the input is not identical to the result of <tt>rep</tt>, the result is undefined.
</p>
</li>
</ul>
</div>
<p>
<hr>
Last edited on 2009-09-11 15:13:38 by <span title="ottawa.dvs.informatik.tu-darmstadt.de"><a href="WesleyTerpstra">WesleyTerpstra</a></span>.
</body></html>
|