UnsafeStructure - MLton Standard ML Compiler (SML Compiler)

MLton MLTONWIKIVERSION | UnsafeStructure |
Home Index

This module is a subset of the `Unsafe` module provided by SML/NJ, with a few extract operations for Pack{Word,Real}.

    signature UNSAFE_MONO_ARRAY =
       sig
          type array
          type elem

          val create: int -> array
          val sub: array * int -> elem
          val update: array * int * elem -> unit
       end

    signature UNSAFE_MONO_VECTOR =
       sig
          type elem
          type vector

          val sub: vector * int -> elem
       end

    signature UNSAFE =
       sig
          structure Array:
             sig
                val create: int * 'a -> 'a array
                val sub: 'a array * int -> 'a
                val update: 'a array * int * 'a -> unit
             end
          structure CharArray: UNSAFE_MONO_ARRAY
          structure CharVector: UNSAFE_MONO_VECTOR
          structure IntArray: UNSAFE_MONO_ARRAY
          structure IntVector: UNSAFE_MONO_VECTOR
          structure Int8Array: UNSAFE_MONO_ARRAY
          structure Int8Vector: UNSAFE_MONO_VECTOR
          structure Int16Array: UNSAFE_MONO_ARRAY
          structure Int16Vector: UNSAFE_MONO_VECTOR
          structure Int32Array: UNSAFE_MONO_ARRAY
          structure Int32Vector: UNSAFE_MONO_VECTOR
          structure Int64Array: UNSAFE_MONO_ARRAY
          structure Int64Vector: UNSAFE_MONO_VECTOR
          structure IntInfArray: UNSAFE_MONO_ARRAY
          structure IntInfVector: UNSAFE_MONO_VECTOR
          structure LargeIntArray: UNSAFE_MONO_ARRAY
          structure LargeIntVector: UNSAFE_MONO_VECTOR
          structure LargeRealArray: UNSAFE_MONO_ARRAY
          structure LargeRealVector: UNSAFE_MONO_VECTOR
          structure LargeWordArray: UNSAFE_MONO_ARRAY
          structure LargeWordVector: UNSAFE_MONO_VECTOR
          structure RealArray: UNSAFE_MONO_ARRAY
          structure RealVector: UNSAFE_MONO_VECTOR
          structure Real32Array: UNSAFE_MONO_ARRAY
          structure Real32Vector: UNSAFE_MONO_VECTOR
          structure Real64Array: UNSAFE_MONO_ARRAY
          structure Vector:
             sig
                val sub: 'a vector * int -> 'a
             end
          structure Word8Array: UNSAFE_MONO_ARRAY
          structure Word8Vector: UNSAFE_MONO_VECTOR
          structure Word16Array: UNSAFE_MONO_ARRAY
          structure Word16Vector: UNSAFE_MONO_VECTOR
          structure Word32Array: UNSAFE_MONO_ARRAY
          structure Word32Vector: UNSAFE_MONO_VECTOR
          structure Word64Array: UNSAFE_MONO_ARRAY
          structure Word64Vector: UNSAFE_MONO_VECTOR

          structure PackReal32Big : PACK_REAL
          structure PackReal32Little : PACK_REAL
          structure PackReal64Big : PACK_REAL
          structure PackReal64Little : PACK_REAL
          structure PackRealBig : PACK_REAL
          structure PackRealLittle : PACK_REAL
          structure PackWord16Big : PACK_WORD
          structure PackWord16Little : PACK_WORD
          structure PackWord32Big : PACK_WORD
          structure PackWord32Little : PACK_WORD
          structure PackWord64Big : PACK_WORD
          structure PackWord64Little : PACK_WORD
       end

Last edited on 2009-09-11 16:43:43 by WesleyTerpstra.