alice
library
manual.

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.

^Import^{______________________________________________}

Imported implicitly.

^Interface^{___________________________________________}

    signature GENERAL =
    sig
	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
    end

^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

alice library manual.

The General structure

________ Synopsis ____________________________________________________

________ Import ______________________________________________________