next node: ArrayMap,
prev node: ArrayFilter,
up to node: Subsystem Arrays


ArrayFold

Signature of ArrayFold

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

SIGNATURE ArrayFold [data]

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

-- reductions of arrays

SORT data

IMPORT Array[data] ONLY array

FUN / \ : (data**data->data)**array[data]->data         
        -- left and right folding of arrays
        -- informally:
        -- + / [a,b,...,y,z] == a + (b + (...(y + z)...))
        -- + \ [a,b,...,y,z] == z + (y + (...(b + a)...))
        -- undefined for empty arrays


next node: ArrayMap,
prev node: ArrayFilter,
up to node: Subsystem Arrays