Stockhausen is equipped with parts of the Standard ML Basis Library. In addition, we currently provide structures dealing with futures and threads:

• structure Future
• structure Promise
• structure Cell
• structure Thread

The Standard ML top-level environment has been implemented almost completely, except print (you have to import it from TextIO) and the special purpose procedure use.

Note however that Stockhausen does not currently support overloading, so all overloaded operations in the top-level evironment are only available at their default type.

Stockhausen adds the functions byneed and concur to the top-level, to provide for easy laziness and concurrency with futures.

Stockhausen Operette 1 only provides parts of the SML Basis Library. The following structures are complete:

• structure General
• structure Option
• structure List
• structure ListPair
• structure Vector
• structure Array
• structure Math
• structure StringCvt
• structure CommandLine (import from "x-alice:/lib/CommandLine.ozf")

Other structures are only partially implemented:

• structure Bool
• structure Char
• structure String
• structure Int
• structure LargeInt
• structure Word
• structure LargeWord
• structure Real
• structure LargeReal
• structure IEEEReal
• structure Time
• structure IO (import from "x-alice:/lib/IO.ozf")
• structure TextIO (import from "x-alice:/lib/TextIO.ozf")
• structure OS.Process (import OS from "x-alice:/lib/OS.ozf")
• structure Unix (import from "x-alice:/lib/Unix.ozf")

Structures from the Standard ML Basis Library not listed above are not available in Operette 1.

Some of the above structures must be imported explicitly. A program using the IO structure, for example, has to be prefixed by the following import announcement (see components):

	import structure IO from "x-alice:/lib/IO.ozf"