Overview  Index  Help 
Standard ML Basis Library

SYS_INFO

All Known Implementing Modules:

SysInfoSMLofNJ.SysInfo


signature SYS_INFO =
sig
  datatype os_kind = UNIX | WIN32 | MACOS | OS2 | BEOS
  exception UNKNOWN
  val getOSKind : unit -> os_kind
  val getOSName : unit -> string
  val getOSVersion : unit -> string
  val getHostArch : unit -> string
  val getTargetArch : unit -> string
  val hasSoftwarePolling : unit -> bool
  val hasMultiprocessing : unit -> bool
  val getHeapSuffix : unit -> string
end

   
Datatype detail

os_kind

datatype os_kind = UNIX | WIN32 | MACOS | OS2 | BEOS

 
DataConstructor detail

UNIX

constructor UNIX : os_kind


WIN32

constructor WIN32 : os_kind


MACOS

constructor MACOS : os_kind


OS2

constructor OS2 : os_kind


BEOS

constructor BEOS : os_kind

 
Value detail

getOSKind

val getOSKind : unit -> os_kind


getOSName

val getOSName : unit -> string


getOSVersion

val getOSVersion : unit -> string


getHostArch

val getHostArch : unit -> string


getTargetArch

val getTargetArch : unit -> string


hasSoftwarePolling

val hasSoftwarePolling : unit -> bool


hasMultiprocessing

val hasMultiprocessing : unit -> bool


getHeapSuffix

val getHeapSuffix : unit -> string

 
Exception detail

UNKNOWN

exception UNKNOWN


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