SeqMap

Mappings of sequences, written *.

Signature of SeqMap

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

SIGNATURE SeqMap[from,to]

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

Parameter

SORT from to

Imports

IMPORT Seq[from] ONLY seq
       Seq[to]   ONLY seq

Mapping

f * s: apply f to all elements of s

FUN * : (from -> to) ** seq[from] -> seq[to]

long name with and without currying

FUN map : (from -> to) ** seq[from] -> seq[to]
FUN map : (from -> to) -> seq[from] -> seq[to]

next node: SeqMapEnv,
prev node: SeqIndex,
up to node: Subsystem Sequences Proper