next node: ArrayReduce,
prev node: ArrayFold,
up to node: Subsystem Arrays


ArrayMap

Signature of ArrayMap

List of Import References :
See Array
See BOOL
See DENOTATION
See Nat

SIGNATURE ArrayMap [from,to]

$Date: 1998/06/16 16:00:03 $ ($Revision: 1.1.1.1 $)

-- mappings of arrays

SORT from to

IMPORT Array[from] ONLY array
       Array[to]   ONLY array

FUN * : (from->to)**array[from]->array[to]              
        -- f * a
        -- map: apply f to all elements of a


next node: ArrayReduce,
prev node: ArrayFold,
up to node: Subsystem Arrays