alice
library
manual.

The `Sited` structure

^Synopsis^{____________________________________________}

    signature SITED
    structure Sited : SITED

This structure provides an abstract data type that allows to create values that are sited, i.e. cannot be pickled or transferred to other processes.

^Import^{______________________________________________}

    import signature SITED from "x-alice:/lib/data/SITED-sig"
    import structure Sited from "x-alice:/lib/data/Sited"

^Interface^{___________________________________________}

    signature SITED =
    sig
	eqtype 'a sited
	type 'a t = 'a sited

	val sited : 'a -> 'a sited
	val value : 'a sited -> 'a
    end

^Description^{_________________________________________}

eqtype 'a sited type 'a t = 'a sited

A type of sited values of type 'a. Equality is defined structurally.

sited x

Turns x into a sited value.

value sit

Extracts the proper value from the sited sit. It holds that

        value (sited x) = x

for values that support equality.

last modified 2007/Mar/30 17:10

alice library manual.

The Sited structure

________ Synopsis ____________________________________________________

________ Import ______________________________________________________