DynConv

The structure DynConv provides the conversions from and to dynamic types.

Note that strong typing is violated by the functions provided by this structure. The user is responsible to perform type checks manually using type tags.

Signature of DynConv

List of Import References :
See BOOL
See DENOTATION
See Dyn
See Option

SIGNATURE DynConv[data]

$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)

SORT data

IMPORT  Dyn             ONLY dyn
        Option[data]    ONLY option

The functions pack converts any value to a a dynamic typed object. The 2nd argument is the type tag.

FUN pack : data ** denotation -> dyn

The function unpack converts back from a dynamic type to the original type, 2nd argument beeing the type tag. The function is undefined if the passed tag doesn't match the packed tag. tryUnpack just delivers nil on type tag mismatch.

FUN unpack      : dyn ** denotation -> data
FUN tryUnpack   : dyn ** denotation -> option[data]

next node: EitherConv,
prev node: Union4,
up to node: Subsystem UnionLike