Overview  Index  Help 
Standard ML Basis Library

StandardML Basis Library

These web pages contain the interface specifications for the modules of the SML Basis Library, which is a standard library for the 1997 Revision of SML[CITE]. The SML Basis Library provides interfaces and operations for basic types, such as integers and strings, support for input and output (I/O), interfaces to basic operating system interfaces, and support for standard datatypes, such as options and lists. The Library does not attempt to define higher-level APIs, such as collection types or graphical user-interface components. These APIs are left for other libraries.

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. The SML Basis Library is also published as a book by Cambridge University Press. In addition to the manual pages, the book also contains tutorial descriptions of programming techniques and idioms for effective use of the Library's interfaces.

The design philosophy of the SML Basis Library is to use the SML module system as an organizing tool. All type, exception, and value identifiers are bound in some module. A small number of these, which are called pervasive identifiers, are also bound at top-level (i.e., without qualification). In addition, the top-level environment defines overloading of some identifiers.

The components (i.e., signatures, structures, and functors) of the SML Basis Library are divided into required and optional components. Required components must be provided by all SML implementations, while optional components are just that. In some cases, support for one optional component entails providing support for others.  
Inner Signature summary

signature ARRAY

signature ARRAY2

signature ARRAY_SLICE

signature BIN_IO

signature BOOL

signature BYTE

signature CHAR

signature CINTERFACE

signature CLEAN_UP

signature COMMAND_LINE

signature CONT

signature DATE

signature EXPORT

signature GC

signature GENERAL

signature GENERIC_SOCK

signature IEEE_REAL

signature IMPERATIVE_IO

signature INET_SOCK

signature INTEGER

signature INTERNALS

signature INTERVAL_TIMER

signature INT_INF

signature IO

signature LIST

signature LIST_PAIR

signature MATH

signature MONO_ARRAY

signature MONO_ARRAY2

signature MONO_ARRAY_SLICE

signature MONO_VECTOR

signature MONO_VECTOR_SLICE

signature NET_DB

signature NET_HOST_DB

signature NET_PROT_DB

signature NET_SERV_DB

signature OPTION

signature OS

signature OS_FILE_SYS

signature OS_IO

signature OS_PATH

signature OS_PRIM_IO

signature OS_PROCESS

signature PACK_WORD

signature POLL

signature POSIX

signature POSIX_ERROR

signature POSIX_FILE_SYS

signature POSIX_FLAGS

signature POSIX_IO

signature POSIX_PROCESS

signature POSIX_PROC_ENV

signature POSIX_SIGNAL

signature POSIX_SYS_DB

signature POSIX_TTY

signature PRE_GENERAL

signature PRIM_IO

signature PROF_CONTROL

signature REAL

signature SIGNALS

signature SML90

signature SML_OF_NJ

signature SOCKET

signature STREAM_IO

signature STRING

signature STRING_CVT

signature SUBSTRING

signature SYS_INFO

signature TEXT

signature TEXT_IO

signature TEXT_STREAM_IO

signature TIME

signature TIMER

signature UNIX

signature UNIX_SIGNALS

signature UNIX_SOCK

signature UNSAFE

signature UNSAFE_ARRAY

signature UNSAFE_MONO_ARRAY

signature UNSAFE_MONO_VECTOR

signature UNSAFE_OBJECT

signature UNSAFE_VECTOR

signature VECTOR

signature VECTOR_SLICE

signature WEAK

signature WORD

 
Inner Structure summary

structure Array

structure Array2

structure ArraySlice

structure AtExit

structure BinIO

structure BinPrimIO

structure Bool

structure Byte

structure Char

structure Char

structure CharArray

structure CharArray

structure CharArraySlice

structure CharVector

structure CharVector

structure CharVectorSlice

structure CInterface

structure CleanIO

structure CleanUp

structure CommandLine

structure Cont

structure Date

structure ExnName

structure Export

structure FixedInt

structure FixedIntImp

structure GC

structure General

structure General

structure GenericSock

structure IEEEReal

structure INetSock

structure Int

structure Int31

structure Int31Imp

structure Int32

structure Int32Imp

structure Internals

structure InternalSignals

structure InternalTimer

structure IntervalTimer

structure IntImp

structure IntInf

structure IntInfImp

structure IO

structure LargeInt

structure LargeIntImp

structure LargeReal

structure LargeRealImp

structure LargeWord

structure LargeWordImp

structure Lazy

structure List

structure ListPair

structure Math

structure Math64

structure NetDB

structure NetHostDB

structure NetProtDB

structure NetServDB

structure NumFormat

structure NumScan

structure Object

structure Option

structure OS

structure OS

structure OSImp

structure OS_FileSys

structure OS_IO

structure OS_Path

structure OS_Process

structure Pack16Big

structure Pack16Little

structure Pack32Big

structure Pack32Little

structure Poll

structure Position

structure PositionImp

structure Posix

structure PosixBinPrimIO

structure PosixTextPrimIO

structure POSIX_Error

structure POSIX_FileSys

structure POSIX_IO

structure POSIX_ProcEnv

structure POSIX_Process

structure POSIX_Signal

structure POSIX_Sys_DB

structure POSIX_TTY

structure PreBasis

structure PreOS

structure PreSock

structure PreString

structure PrintHook

structure ProfControl

structure Real

structure Real64

structure Real64Array

structure Real64ArraySlice

structure Real64Imp

structure Real64Vector

structure Real64VectorSlice

structure RealArray

structure RealArraySlice

structure RealFormat

structure RealImp

structure RealVector

structure RealVectorSlice

structure Signals

structure SML90

structure SMLofNJ

structure SMLofNJ

structure Socket

structure Socket

structure SocketImp

structure String

structure StringCvt

structure StringImp

structure Substring

structure Substring

structure SysInfo

structure SysInt

structure SysWord

structure SysWordImp

structure Text

structure TextIO

structure TextPrimIO

structure Time

structure TimeImp

structure Timer

structure Unix

structure UnixSignals

structure UnixSock

structure Unsafe

structure Vector

structure VectorSlice

structure Weak

structure Word

structure Word31

structure Word31Imp

structure Word32

structure Word32Imp

structure Word8

structure Word8Array

structure Word8ArraySlice

structure Word8Imp

structure Word8Vector

structure Word8VectorSlice

structure WordImp

structure WrapExport

   
Inner Functor summary

functor BinIOFn

functor OS_PathFn

functor PrimIO

functor TextIOFn

         

         


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