alice
library
manual.

The `ORDERED` signature

^Synopsis^{____________________________________________}

    signature ORDERED

An abstract signature for types that provide an ordering, useful for functor arguments. Note that most basic types in the fundamental library match this signature.

^Import^{______________________________________________}

    import signature ORDERED from "x-alice:/lib/data/ORDERED-sig"

^Interface^{___________________________________________}

    signature ORDERED =
    sig
	type t

	val compare :  t * t -> order
    end

^Description^{_________________________________________}

type t: The abstract type of ordered values.
compare (x1, x2): Returns the relative order of x1 and x2. May raise Unordered if both values are incomparable in a partial ordering.

last modified 2007/Mar/30 17:10

alice library manual.

The ORDERED signature

________ Synopsis ____________________________________________________

________ Import ______________________________________________________

________ Interface ___________________________________________________

________ Description _________________________________________________

alice
library
manual.

The `ORDERED` signature

^Synopsis^{____________________________________________}

^Import^{______________________________________________}

^Interface^{___________________________________________}

^Description^{_________________________________________}