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
EXN
FN
FUTURE
GENERAL
HOLE
IEEE_REAL
INTEGER
INT_INF
LIST
LIST_PAIR
MATH
MONO_ARRAY
MONO_ARRAY_SLICE
MONO_VECTOR
MONO_VECTOR_SLICE
OPTION
PACKAGE
PAIR
PROMISE
REAL
REF
STRING
SUBSTRING
TEXT
THREAD
VECTOR
VECTOR_PAIR
VECTOR_SLICE
WORD

Structures

Alt
Array
Array2
ArraySlice
Bool
Byte
Char
CharArray
CharArraySlice
CharVector
CharVectorSlice
Exn
FixedInt
Fn
Future
General
Hole
IEEEReal
Int
IntInf
LargeInt
LargeReal
LargeWord
List
ListPair
Math
Option
Package
Pair
Position
Promise
Real
Ref
String
Substring
Text
Thread
Vector
VectorPair
VectorSlice
Word
Word8
Word31
Word8Array
Word8ArraySlice
Word8Vector
Word8VectorSlice

Functors

Future.ByNeed
Future.Concur
Package.Pack
Package.Unpack
Package.PackVal
Package.UnpackVal

________ Data library ________________________________________________

Signatures

ATOM
CHANNEL
HASHABLE
IMP_MAP
IMP_SET
LOCK
MAP
ORDERED
REF_MAP
SET
SITED
STACK
STAMP

Structures

Atom
Channel
GlobalStamp
Lock
RefMap
Sited
Stack

Functors

Lock.Sync
MkHashImpMap
MkHashImpSet
MkRedBlackImpMap
MkRedBlackImpSet
MkRedBlackMap
MkRedBlackSet
MkStamp

________ System library ______________________________________________

Signatures

BIN_IO
COMMAND_LINE
COMPILER
COMPONENT
COMPONENT_MANAGER
CONFIG
DATE
HTTP
HTTP_CLIENT
HTTP_SERVER
IMPERATIVE_IO
IO
OS
OS_FILE_SYS
OS_IO
OS_PATH
OS_PROCESS
PICKLE
POLICY
PRIM_IO
PRINT
RAND
RESOLVER
RESOLVER_HANDLER
SANDBOX
SOCKET
STORE
STREAM_IO
TEXT_IO
TEXT_STREAM_IO
TIME
TIMER
UNIX
URL

Structures

BinIO
BinPrimIO
CommandLine
Compiler
Component
ComponentManager
Config
Date
Http
HttpClient
HttpServer
IO
OS
OS.FileSys
OS.IO
OS.Path
OS.Process
Pickle
Print
Rand
Resolver
Sandbox
Socket
Store
Store.Map
TextIO
TextIO.StreamIO
TextPrimIO
Time
Timer
Unix
Url

Functors

ImperativeIO
PrimIO
StreamIO
Pickle.Save
Pickle.Load
Pickle.SaveVal
Pickle.LoadVal
Component.Create
Component.MkManager
ComponentManager.Eval
ComponentManager.Link
ComponentManager.Enter
Sandbox.MkManager
MkPolicy
MkReadOnlyPolicy
MkNetworkPolicy
MkUnrestrictedPolicy

________ Distribution library ________________________________________

Signatures

REMOTE

Structures

Remote

Functors

Remote.Proxy
Remote.Offer
Remote.Take
Remote.Eval
Remote.Run

________ Gecode library ______________________________________________

Signatures

FD
FS
MODELING
SEARCH
SPACE

Search Factory:

DEBUG
PATH
SEARCH
PROBLEM
ENGINE

Structures

FD
FD.Reflect
FD.Reified
FS
FS.Reflect
FS.Reified
FS.Value
FS.Int
FS.Selection
Modeling
Search
Search.Recompute
Space

Search Factory:

Debug
Path

Functors

Search Factory:

MkSearch
MkEngine

________ Tools library _______________________________________________

Signatures

EXPLORER
INSPECTOR

Structures

Explorer
Inspector

________ Gtk library _________________________________________________

Signatures

ATK
CANVAS
GDK
GLIB
GTK
CANVAS
PANGO

Structures

Atk
Canvas
Gdk
GLib
Gtk
Canvas
Pango

________ Regex library _______________________________________________

Signatures

REGEX

Structures

Regex

________ SQLite library ______________________________________________

Signatures

SQLITE

Structures

SQLite

________ XML parser library __________________________________________

Signatures

XML

Structures

XML


last modified 2007/Mar/30 17:10