Overview  Index  Help 
Standard ML Basis Library

Unsafe


structure Unsafe :> UNSAFE =
struct
  structure CInterface = CInterface
  structure Object = Object
  structure Poll = Poll
  structure Vector =
  struct
    val sub : 'a vector * int -> 'a val create : int * 'a list -> 'a vector
  end
  structure Array =
  struct
    val sub : 'a array * int -> 'a
    val update : 'a array * int * 'a -> unit
    val create : int * 'a -> 'a array
  end
  structure CharVector =
  struct
    type vector = CharVector.vector
    type elem = CharVector.elem
    val sub : vector * int -> elem
    val update : vector * int * elem -> unit
    val create : int -> vector
  end
  structure CharArray =
  struct
    type array = CharArray.array
    type elem = CharArray.elem
    val sub : array * int -> elem
    val update : array * int * elem -> unit
    val create : int -> array
  end
  structure Word8Vector =
  struct
    type vector = Word8Vector.vector
    type elem = Word8Vector.elem
    val sub : vector * int -> elem
    val update : vector * int * elem -> unit
    val create : int -> vector
  end
  structure Word8Array =
  struct
    type array = Word8Array.array
    type elem = Word8Array.elem
    val sub : array * int -> elem
    val update : array * int * elem -> unit
    val create : int -> array
  end
  structure Real64Array =
  struct
    type array = Real64Array.array
    type elem = Real64Array.elem
    val sub : array * int -> elem
    val update : array * int * elem -> unit
    val create : int -> array
  end
  datatype runDynEnv =
           NILrde | CONSrde of Word8Vector.vector * Object.object * runDynEnv
  val getVar : unit -> 'a
  val setVar : 'a -> unit
  val getHdlr : unit -> 'a Cont.cont
  val setHdlr : 'a Cont.cont -> unit
  val getPseudo : int -> 'a
  val setPseudo : 'a * int -> unit
  val blastRead : Word8Vector.vector -> 'a
  val blastWrite : 'a -> Word8Vector.vector
  val boxed : 'a -> bool
  val cast : 'a -> 'b
  val pStruct : runDynEnv ref
  val topLevelCont : unit Cont.cont ref
  val sigHandler : (int * int * unit Cont.cont -> unit Cont.cont) ref
end

   
Datatype detail

runDynEnv

datatype runDynEnv =
         NILrde | CONSrde of Word8Vector.vector * Object.object * runDynEnv

 
DataConstructor detail

NILrde

constructor NILrde : runDynEnv


CONSrde

constructor CONSrde
            : Word8Vector.vector * Object.object * runDynEnv -> runDynEnv

 
Value detail

getVar

val getVar : unit -> 'a


setVar

val setVar : 'a -> unit


getHdlr

val getHdlr : unit -> 'a Cont.cont


setHdlr

val setHdlr : 'a Cont.cont -> unit


getPseudo

val getPseudo : int -> 'a


setPseudo

val setPseudo : 'a * int -> unit


blastRead

val blastRead : Word8Vector.vector -> 'a


blastWrite

val blastWrite : 'a -> Word8Vector.vector


boxed

val boxed : 'a -> bool


cast

val cast : 'a -> 'b


pStruct

val pStruct : runDynEnv ref


topLevelCont

val topLevelCont : unit Cont.cont ref


sigHandler

val sigHandler : (int * int * unit Cont.cont -> unit Cont.cont) ref

 


Overview  Index  Help 
Standard ML Basis Library

This document may be distributed freely over the internet as long as the copyright notice and license terms below are prominently displayed within every machine-readable copy.

Copyright © 2003 AT&T and Lucent Technologies. All rights reserved.

Permission is granted for internet users to make one paper copy for their own personal use. Further hardcopy reproduction is strictly prohibited. Permission to distribute the HTML document electronically on any medium other than the internet must be requested from the copyright holders by contacting the editors. Printed versions of the SML Basis Manual are available from Cambridge University Press. To order, please visit www.cup.org (North America) or www.cup.cam.ac.uk (outside North America).