4 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
5 <meta name="generator" content="AsciiDoc 8.6.9">
6 <title>MLtonPlatform</title>
7 <link rel="stylesheet" href="./asciidoc.css" type="text/css">
8 <link rel="stylesheet" href="./pygments.css" type="text/css">
11 <script type="text/javascript" src="./asciidoc.js"></script>
12 <script type="text/javascript">
17 <link rel="stylesheet" href="./mlton.css" type="text/css">
19 <body class="article">
21 <div id="banner-home">
22 <a href="./Home">MLton 20180207</a>
26 <h1>MLtonPlatform</h1>
30 <div class="sectionbody">
31 <div class="listingblock">
32 <div class="content"><div class="highlight"><pre><span class="k">signature</span><span class="w"> </span><span class="n">MLTON_PLATFORM</span><span class="w"> </span><span class="p">=</span><span class="w"></span>
33 <span class="w"> </span><span class="k">sig</span><span class="w"></span>
34 <span class="w"> </span><span class="k">structure</span><span class="w"> </span><span class="n">Arch</span><span class="p">:</span><span class="w"></span>
35 <span class="w"> </span><span class="k">sig</span><span class="w"></span>
36 <span class="w"> </span><span class="k">datatype</span><span class="w"> </span><span class="n">t</span><span class="w"> </span><span class="p">=</span><span class="w"> </span><span class="n">Alpha</span><span class="w"> </span><span class="p">|</span><span class="w"> </span><span class="n">AMD64</span><span class="w"> </span><span class="p">|</span><span class="w"> </span><span class="n">ARM</span><span class="w"> </span><span class="p">|</span><span class="w"> </span><span class="n">ARM64</span><span class="w"> </span><span class="p">|</span><span class="w"> </span><span class="n">HPPA</span><span class="w"> </span><span class="p">|</span><span class="w"> </span><span class="n">IA64</span><span class="w"> </span><span class="p">|</span><span class="w"> </span><span class="n">m68k</span><span class="w"></span>
37 <span class="w"> </span><span class="p">|</span><span class="w"> </span><span class="n">MIPS</span><span class="w"> </span><span class="p">|</span><span class="w"> </span><span class="n">PowerPC</span><span class="w"> </span><span class="p">|</span><span class="w"> </span><span class="n">PowerPC64</span><span class="w"> </span><span class="p">|</span><span class="w"> </span><span class="n">S390</span><span class="w"> </span><span class="p">|</span><span class="w"> </span><span class="n">Sparc</span><span class="w"> </span><span class="p">|</span><span class="w"> </span><span class="n">X86</span><span class="w"></span>
39 <span class="w"> </span><span class="k">val</span><span class="w"> </span><span class="n">fromString</span><span class="p">:</span><span class="w"> </span><span class="n">string</span><span class="w"> </span><span class="p">-></span><span class="w"> </span><span class="n">t</span><span class="w"> </span><span class="n">option</span><span class="w"></span>
40 <span class="w"> </span><span class="k">val</span><span class="w"> </span><span class="n">host</span><span class="p">:</span><span class="w"> </span><span class="n">t</span><span class="w"></span>
41 <span class="w"> </span><span class="k">val</span><span class="w"> </span><span class="n">toString</span><span class="p">:</span><span class="w"> </span><span class="n">t</span><span class="w"> </span><span class="p">-></span><span class="w"> </span><span class="n">string</span><span class="w"></span>
42 <span class="w"> </span><span class="k">end</span><span class="w"></span>
44 <span class="w"> </span><span class="k">structure</span><span class="w"> </span><span class="n">OS</span><span class="p">:</span><span class="w"></span>
45 <span class="w"> </span><span class="k">sig</span><span class="w"></span>
46 <span class="w"> </span><span class="k">datatype</span><span class="w"> </span><span class="n">t</span><span class="w"> </span><span class="p">=</span><span class="w"> </span><span class="n">AIX</span><span class="w"> </span><span class="p">|</span><span class="w"> </span><span class="n">Cygwin</span><span class="w"> </span><span class="p">|</span><span class="w"> </span><span class="n">Darwin</span><span class="w"> </span><span class="p">|</span><span class="w"> </span><span class="n">FreeBSD</span><span class="w"> </span><span class="p">|</span><span class="w"> </span><span class="n">Hurd</span><span class="w"> </span><span class="p">|</span><span class="w"> </span><span class="n">HPUX</span><span class="w"></span>
47 <span class="w"> </span><span class="p">|</span><span class="w"> </span><span class="n">Linux</span><span class="w"> </span><span class="p">|</span><span class="w"> </span><span class="n">MinGW</span><span class="w"> </span><span class="p">|</span><span class="w"> </span><span class="n">NetBSD</span><span class="w"> </span><span class="p">|</span><span class="w"> </span><span class="n">OpenBSD</span><span class="w"> </span><span class="p">|</span><span class="w"> </span><span class="n">Solaris</span><span class="w"></span>
49 <span class="w"> </span><span class="k">val</span><span class="w"> </span><span class="n">fromString</span><span class="p">:</span><span class="w"> </span><span class="n">string</span><span class="w"> </span><span class="p">-></span><span class="w"> </span><span class="n">t</span><span class="w"> </span><span class="n">option</span><span class="w"></span>
50 <span class="w"> </span><span class="k">val</span><span class="w"> </span><span class="n">host</span><span class="p">:</span><span class="w"> </span><span class="n">t</span><span class="w"></span>
51 <span class="w"> </span><span class="k">val</span><span class="w"> </span><span class="n">toString</span><span class="p">:</span><span class="w"> </span><span class="n">t</span><span class="w"> </span><span class="p">-></span><span class="w"> </span><span class="n">string</span><span class="w"></span>
52 <span class="w"> </span><span class="k">end</span><span class="w"></span>
53 <span class="w"> </span><span class="k">end</span><span class="w"></span>
54 </pre></div></div></div>
55 <div class="ulist"><ul>
58 <span class="monospaced">datatype Arch.t</span>
60 <div class="paragraph"><p>processor architectures</p></div>
64 <span class="monospaced">Arch.fromString a</span>
66 <div class="paragraph"><p>converts from string to architecture. Case insensitive.</p></div>
70 <span class="monospaced">Arch.host</span>
72 <div class="paragraph"><p>the architecture for which the program is compiled.</p></div>
76 <span class="monospaced">Arch.toString</span>
78 <div class="paragraph"><p>string for architecture.</p></div>
82 <span class="monospaced">datatype OS.t</span>
84 <div class="paragraph"><p>operating systems</p></div>
88 <span class="monospaced">OS.fromString</span>
90 <div class="paragraph"><p>converts from string to operating system. Case insensitive.</p></div>
94 <span class="monospaced">OS.host</span>
96 <div class="paragraph"><p>the operating system for which the program is compiled.</p></div>
100 <span class="monospaced">OS.toString</span>
102 <div class="paragraph"><p>string for operating system.</p></div>
108 <div id="footnotes"><hr></div>
110 <div id="footer-text">
112 <div id="footer-badges">