lfold
aus Vorlesung kopieren,
damit sum
, product
, append
, reverse
definieren
data Tree a = ...
,
tfold :: ...
aus voriger Vorlesung/Übung kopieren.
leaves, inorder, preorder
durch tfold
definieren und ausprobieren
nodes
(Anzahl aller inneren Knoten) durch tfold
contains
,
die Schlüssel in einem Suchbaum wiederfindet.
Benutze tfold
.
contains :: Ord a => a -> Tree a -> Bool -- contains 2 $ suchbaum [ 5,2,6,4,7,4,9 ] ==> True contains x = tfold False ( \ cl k cr -> undefined )