...das gleiche für Bäume

tmap :: (a -> b) -> Tree a -> Tree b
tmap f Leaf = Leaf
tmap f ( n @ Node {} ) = 
    Node { key = f ( key n )
         , left = tmap f ( left n )
         , right = tmap f ( right n )
         }
wieder gilt: tmap f . tmap g = tmap (f . g)



Johannes Waldmann 2006-06-22