next node: ISeqZip,
prev node: ISeqSort,
up to node: Subsystem Infinite Sequences


ISeqUnreduce

Signature of ISeqUnreduce

List of Import References :
See BOOL
See DENOTATION
See ISeq
See Nat
See Option
See Seq

SIGNATURE ISeqUnreduce[from,to]

$Date: 1998/06/16 15:59:59 $ ($Revision: 1.1.1.1 $)

--

-- Parameter
SORT from to

IMPORT ISeq[from] ONLY iseq

FUN / : (to -> from ** to) ** to -> iseq

-- reduce would combine elements of a sequence to a result
-- unreduce decomposes the result into the first element of the sequence and 
-- an intermediate result, from which the next element is calculated, 
-- and so on ...


next node: ISeqZip,
prev node: ISeqSort,
up to node: Subsystem Infinite Sequences