alice
library
manual.

Alice Project

the
alice
library


________ Structure ___________________________________________________

Alice is equipped with an extended version of the Standard ML Basis Library. Most additional modules deal with Alice ML extensions over Standard ML.

The library is split into components. Usually, one component exports a single module (structure or functor) or signature. The components are named after the module or signature they export. Signature component names have a -sig suffix appended to avoid problems with case insensitive operating systems.

Library components are imported through URIs using the x-alice: scheme. The library is organized hierarchically as follows:

The Standard ML top-level environment is available as usual.


________ Import ______________________________________________________

Components from the fundamental library, and those components of the system library that are part of the Standard ML Basis Library, are imported implicitly. Other components can be accessed through appropriate explicit import announcements. For example, a program using the Url component has to be prefixed by the following announcement:

import structure Url from "x-alice:/lib/system/Url"

The reference pages for the individual library items contain the synopsis of the appropriate import announcement for each item. Note that it is not necessary to import a signature in order to use a structure implementing that signature, although the library pages usually contain the synopsis for both. Signatures only need to be imported if used explicitly.

Interactive top-level

The interactive toplevel system imports the complete library, except /lib/gtk/, implicitly. Loading of the respective components is performed lazily.


________ Top-level ___________________________________________________

The top-level environment contains all types, exceptions and values that are available unqualified.


________ Fundamental library _________________________________________

Signatures

ALT
ARRAY
ARRAY2
ARRAY_SLICE
BOOL
BYTE
CHAR
FUTURE
GENERAL
HOLE
IEEE_REAL
INTEGER
LIST
LIST_PAIR
LOCK
MATH
MONO_ARRAY
MONO_ARRAY_SLICE
MONO_VECTOR
MONO_VECTOR_SLICE
OPTION
PACKAGE
PAIR
PROMISE
REAL
REF
STRING
SUBSTRING
TEXT
THREAD
TIME
VECTOR
VECTOR_PAIR
VECTOR_SLICE
WORD

Structures

Alt
Array
Array2
ArraySlice
Bool
Byte
Char
CharArray
CharArraySlice
CharVector
CharVectorSlice
Future
General
Hole
IEEEReal
Int
LargeInt
LargeReal
LargeWord
List
ListPair
Lock
Math
Option
Package
Pair
Position
Promise
Real
Ref
String
Substring
Text
Thread
Time
Vector
VectorPair
VectorSlice
WideChar
WideCharArray
WideCharArraySlice
WideCharVector
WideCharVectorSlice
WideString
WideSubstring
WideText
Word
Word8
Word31
Word8Array
Word8ArraySlice
Word8Vector
Word8VectorSlice

Functors

ByNeed

________ Data library ________________________________________________

Signatures

ATOM
HASHABLE
IMP_MAP
IMP_SET
MAP
ORDERED
SET
STACK
STAMP

Structures

Atom
GlobalStamp
Stack
WideAtom

Functors

MkHashImpMap
MkHashImpSet
MkRedBlackImpMap
MkRedBlackImpSet
MkRedBlackMap
MkRedBlackSet
MkStamp

________ System library ______________________________________________

Signatures

BIN_IO
COMMAND_LINE
COMPONENT
COMPONENT_MANAGER
CONFIG
HTTP
HTTP_CLIENT
HTTP_SERVER
IMPERATIVE_IO
IO
OS
OS_FILE_SYS
OS_IO
OS_PATH
OS_PROCESS
PICKLE
PRIM_IO
PRINT
RESOLVER
RESOLVER_HANDLER
SOCKET
STREAM_IO
TEXT_IO
TEXT_STREAM_IO
UNIX
URL

Structures

BinIO
BinPrimIO
CommandLine
Component
ComponentManager
Config
Http
HttpClient
HttpServer
IO
OS
OS.FileSys
OS.IO
OS.Path
OS.Process
Pickle
Print
Resolver
Socket
TextIO
TextPrimIO
TextIO.StreamIO
Unix
Url

Functors

ImperativeIO
PrimIO
StreamIO

________ Distribution library ________________________________________

Signatures

REMOTE

Structures

Remote

________ Constraints library _________________________________________

Signatures

FD
FS
LINEAR
SEARCH
SPACE

Structures

FD
FS
Linear
Search
Space

________ Tools library _______________________________________________

Signatures

EXPLORER
INSPECTOR

Structures

Explorer
Inspector

________ Gtk library _________________________________________________

Signatures

GDK
GTK
GTK_CANVAS

Structures

Gdk
Gtk
GtkCanvas


last modified 1970/01/01 01:00