Alice Project

The General structure

________ Synopsis ____________________________________________________

    signature GENERAL
    structure General : GENERAL

An extended version of the Standard ML Basis' General structure.

All of the types and values defined in General are available unqualified in the top-level environment.

See also: Fn, Exn, Ref

________ Import ______________________________________________________

Imported implicitly.

________ Interface ___________________________________________________

    signature GENERAL =
	eqtype unit
	exttype exn

	datatype order = LESS | EQUAL | GREATER

	exception Assert of string * int
	exception Bind
	exception Chr
	exception Div
	exception Domain
	exception Fail of string
	exception Match
	exception Overflow
	exception Size
	exception Span
	exception Subscript
	exception Unordered

	val exnName :    exn -> string
	val exnMessage : exn -> string

	val inverse :    order -> order

	val ! :          'a ref -> 'a
	val op := :      'a ref * 'a -> unit
	val op :=: :     'a ref * 'a ref -> unit

	val ignore :     'a -> unit
	val before :     'a * unit -> 'a
	val op o :       ('b -> 'c) * ('a -> 'b) -> 'a -> 'c

________ Description _________________________________________________

Items not described here are as in the Standard ML Basis' General structure.

exception Assert of string * int

Indicates an assertion failes. The arguments are the file name and the line number of the respective assert expression.

exception Unordered

Indicates that two values are incomparable with respect to a partial ordering.

inverse order

Returns the inverse of the argument order.

re1 :=: re2

Swaps the values referred to by the references re1 and re2.

last modified 2007/Mar/30 17:10