Overview  Index  Help 
Standard ML Basis Library

SML_OF_NJ

All Known Implementing Modules:

SMLofNJ


signature SML_OF_NJ =
sig
  structure Cont : CONT
  structure IntervalTimer : INTERVAL_TIMER
  structure Internals : INTERNALS
  structure SysInfo : SYS_INFO
  structure Weak : WEAK
  datatype 'a frag = QUOTE of string | ANTIQUOTE of 'a
  val exportML : string -> bool
  val exportFn : string * (string * string list -> OS.Process.status) -> unit
  val getCmdName : unit -> string
  val getArgs : unit -> string list
  val getAllArgs : unit -> string list
  val exnHistory : exn -> string list
end

   
Datatype detail

frag

datatype 'a frag = QUOTE of string | ANTIQUOTE of 'a

can't handle this yet ** val use : string -> unit

 
DataConstructor detail

QUOTE

constructor QUOTE : string -> 'a frag


ANTIQUOTE

constructor ANTIQUOTE : 'a -> 'a frag

 
Value detail

exportML

val exportML : string -> bool


exportFn

val exportFn : string * (string * string list -> OS.Process.status) -> unit


getCmdName

val getCmdName : unit -> string


getArgs

val getArgs : unit -> string list


getAllArgs

val getAllArgs : unit -> string list


exnHistory

val exnHistory : exn -> string list

 


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).