List of Import References :
See Array
See BOOL
See Bitset
See Char
See DArray
See DENOTATION
See Nat
See Option
See Seq
See String
SIGNATURE DArrayConv[data]
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
-- Version 1.1
--
-- Parameter
SORT data
IMPORT DArray[data] ONLY dArray
Seq[data] ONLY seq
String ONLY string
Array[data] ONLY array
FUN asSeq: dArray -> seq -- asSeq([e0, e1, ..., en]) == <e0, e1, ..., en>
FUN asDArray: seq -> dArray /* asDArray(<e0, e1, ..., en>) == [e0,
e1, ..., en] */
FUN asArray: dArray -> array
FUN asDArray: array -> dArray
FUN ` : (data -> denotation) -> dArray -> denotation
FUN ` : (data -> string) -> dArray -> string
-- `(f)([e0, e1, ..., en]) == "[" f(e0) ":" f(e1) ":" ... ":" f(en) "]"
next node: DArrayMap,
prev node: DArray,
up to node: Subsystem Dynamic Arrays