MapMap

Mapping on the codomain of a mapping.

Signature of MapMap

List of Import References :
See BOOL
See DENOTATION
See Map
See Nat
See Option
See Pair
See Seq
See Set

SIGNATURE MapMap[dom, <, codomFrom, codomTo]

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

IMPORT Map[dom, <, codomFrom] ONLY map 
       Map[dom, <, codomTo]   ONLY map

Parameter

dom is the type of the domain, codomFrom, codomTo the type of the codomain before and after the mapping. < is a total strict order: the formula ALL x y. ~(x < y) AND ~(y < x) => x === y must hold.

SORT dom codomFrom codomTo
FUN < : dom ** dom -> bool

Mapping

f * m: apply f to all elements of codom of m

FUN * : (codomFrom -> codomTo) ** map[dom,<,codomFrom] -> map[dom,<,codomTo]

next node: MapReduce,
prev node: MapFilter,
up to node: Subsystem Maps Proper