<!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>UnsafeStructure - 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%;"> UnsafeStructure <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"> This module is a subset of the <tt>Unsafe</tt> module provided by SML/NJ, with a few extract operations for Pack{Word,Real}. <pre class=code> <B><FONT COLOR="#0000FF">signature</FONT></B> UNSAFE_MONO_ARRAY = <B><FONT COLOR="#0000FF">sig</FONT></B> <B><FONT COLOR="#A020F0">type</FONT></B><B><FONT COLOR="#228B22"> array </FONT></B><B><FONT COLOR="#A020F0">type</FONT></B><B><FONT COLOR="#228B22"> elem </FONT></B><B><FONT COLOR="#A020F0">val</FONT></B> create: int -> array <B><FONT COLOR="#A020F0">val</FONT></B> sub: array * int -> elem <B><FONT COLOR="#A020F0">val</FONT></B> update: array * int * elem -> unit <B><FONT COLOR="#0000FF">end</FONT></B> <B><FONT COLOR="#0000FF">signature</FONT></B> UNSAFE_MONO_VECTOR = <B><FONT COLOR="#0000FF">sig</FONT></B> <B><FONT COLOR="#A020F0">type</FONT></B><B><FONT COLOR="#228B22"> elem </FONT></B><B><FONT COLOR="#A020F0">type</FONT></B><B><FONT COLOR="#228B22"> vector </FONT></B><B><FONT COLOR="#A020F0">val</FONT></B> sub: vector * int -> elem <B><FONT COLOR="#0000FF">end</FONT></B> <B><FONT COLOR="#0000FF">signature</FONT></B> UNSAFE = <B><FONT COLOR="#0000FF">sig</FONT></B> <B><FONT COLOR="#0000FF">structure</FONT></B> Array: <B><FONT COLOR="#0000FF">sig</FONT></B> <B><FONT COLOR="#A020F0">val</FONT></B> create: int * 'a -> 'a array <B><FONT COLOR="#A020F0">val</FONT></B> sub: 'a array * int -> 'a <B><FONT COLOR="#A020F0">val</FONT></B> update: 'a array * int * 'a -> unit <B><FONT COLOR="#0000FF">end</FONT></B> <B><FONT COLOR="#0000FF">structure</FONT></B> CharArray: UNSAFE_MONO_ARRAY <B><FONT COLOR="#0000FF">structure</FONT></B> CharVector: UNSAFE_MONO_VECTOR <B><FONT COLOR="#0000FF">structure</FONT></B> IntArray: UNSAFE_MONO_ARRAY <B><FONT COLOR="#0000FF">structure</FONT></B> IntVector: UNSAFE_MONO_VECTOR <B><FONT COLOR="#0000FF">structure</FONT></B> Int8Array: UNSAFE_MONO_ARRAY <B><FONT COLOR="#0000FF">structure</FONT></B> Int8Vector: UNSAFE_MONO_VECTOR <B><FONT COLOR="#0000FF">structure</FONT></B> Int16Array: UNSAFE_MONO_ARRAY <B><FONT COLOR="#0000FF">structure</FONT></B> Int16Vector: UNSAFE_MONO_VECTOR <B><FONT COLOR="#0000FF">structure</FONT></B> Int32Array: UNSAFE_MONO_ARRAY <B><FONT COLOR="#0000FF">structure</FONT></B> Int32Vector: UNSAFE_MONO_VECTOR <B><FONT COLOR="#0000FF">structure</FONT></B> Int64Array: UNSAFE_MONO_ARRAY <B><FONT COLOR="#0000FF">structure</FONT></B> Int64Vector: UNSAFE_MONO_VECTOR <B><FONT COLOR="#0000FF">structure</FONT></B> IntInfArray: UNSAFE_MONO_ARRAY <B><FONT COLOR="#0000FF">structure</FONT></B> IntInfVector: UNSAFE_MONO_VECTOR <B><FONT COLOR="#0000FF">structure</FONT></B> LargeIntArray: UNSAFE_MONO_ARRAY <B><FONT COLOR="#0000FF">structure</FONT></B> LargeIntVector: UNSAFE_MONO_VECTOR <B><FONT COLOR="#0000FF">structure</FONT></B> LargeRealArray: UNSAFE_MONO_ARRAY <B><FONT COLOR="#0000FF">structure</FONT></B> LargeRealVector: UNSAFE_MONO_VECTOR <B><FONT COLOR="#0000FF">structure</FONT></B> LargeWordArray: UNSAFE_MONO_ARRAY <B><FONT COLOR="#0000FF">structure</FONT></B> LargeWordVector: UNSAFE_MONO_VECTOR <B><FONT COLOR="#0000FF">structure</FONT></B> RealArray: UNSAFE_MONO_ARRAY <B><FONT COLOR="#0000FF">structure</FONT></B> RealVector: UNSAFE_MONO_VECTOR <B><FONT COLOR="#0000FF">structure</FONT></B> Real32Array: UNSAFE_MONO_ARRAY <B><FONT COLOR="#0000FF">structure</FONT></B> Real32Vector: UNSAFE_MONO_VECTOR <B><FONT COLOR="#0000FF">structure</FONT></B> Real64Array: UNSAFE_MONO_ARRAY <B><FONT COLOR="#0000FF">structure</FONT></B> Vector: <B><FONT COLOR="#0000FF">sig</FONT></B> <B><FONT COLOR="#A020F0">val</FONT></B> sub: 'a vector * int -> 'a <B><FONT COLOR="#0000FF">end</FONT></B> <B><FONT COLOR="#0000FF">structure</FONT></B> Word8Array: UNSAFE_MONO_ARRAY <B><FONT COLOR="#0000FF">structure</FONT></B> Word8Vector: UNSAFE_MONO_VECTOR <B><FONT COLOR="#0000FF">structure</FONT></B> Word16Array: UNSAFE_MONO_ARRAY <B><FONT COLOR="#0000FF">structure</FONT></B> Word16Vector: UNSAFE_MONO_VECTOR <B><FONT COLOR="#0000FF">structure</FONT></B> Word32Array: UNSAFE_MONO_ARRAY <B><FONT COLOR="#0000FF">structure</FONT></B> Word32Vector: UNSAFE_MONO_VECTOR <B><FONT COLOR="#0000FF">structure</FONT></B> Word64Array: UNSAFE_MONO_ARRAY <B><FONT COLOR="#0000FF">structure</FONT></B> Word64Vector: UNSAFE_MONO_VECTOR <B><FONT COLOR="#0000FF">structure</FONT></B> PackReal32Big : PACK_REAL <B><FONT COLOR="#0000FF">structure</FONT></B> PackReal32Little : PACK_REAL <B><FONT COLOR="#0000FF">structure</FONT></B> PackReal64Big : PACK_REAL <B><FONT COLOR="#0000FF">structure</FONT></B> PackReal64Little : PACK_REAL <B><FONT COLOR="#0000FF">structure</FONT></B> PackRealBig : PACK_REAL <B><FONT COLOR="#0000FF">structure</FONT></B> PackRealLittle : PACK_REAL <B><FONT COLOR="#0000FF">structure</FONT></B> PackWord16Big : PACK_WORD <B><FONT COLOR="#0000FF">structure</FONT></B> PackWord16Little : PACK_WORD <B><FONT COLOR="#0000FF">structure</FONT></B> PackWord32Big : PACK_WORD <B><FONT COLOR="#0000FF">structure</FONT></B> PackWord32Little : PACK_WORD <B><FONT COLOR="#0000FF">structure</FONT></B> PackWord64Big : PACK_WORD <B><FONT COLOR="#0000FF">structure</FONT></B> PackWord64Little : PACK_WORD <B><FONT COLOR="#0000FF">end</FONT></B> </PRE> <p> </p> </div> <p> <hr> Last edited on 2009-09-11 16:43:43 by <span title="ottawa.dvs.informatik.tu-darmstadt.de"><a href="WesleyTerpstra">WesleyTerpstra</a></span>. </body></html>