From: Jim Pryor Date: Wed, 1 Dec 2010 07:33:41 +0000 (-0500) Subject: manip trees: tweaks X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=3ed8e56bf33b1c0cfa09b672abf26e9c397ea0f1 manip trees: tweaks Signed-off-by: Jim Pryor --- diff --git a/manipulating_trees_with_monads.mdwn b/manipulating_trees_with_monads.mdwn index 2debebe6..dcba3126 100644 --- a/manipulating_trees_with_monads.mdwn +++ b/manipulating_trees_with_monads.mdwn @@ -35,7 +35,7 @@ We'll be using trees where the nodes are integers, e.g., ___|___ | | . . - _|__ _|__ + _|_ _|__ | | | | 2 3 5 . _|__ @@ -93,16 +93,16 @@ tree that is ready to accept any `int->int` function and produce the updated tree. - \f . - ____|____ - | | - . . - __|__ __|__ - | | | | - f2 f3 f5 . - __|___ - | | - f7 f11 + \f . + _____|____ + | | + . . + __|___ __|___ + | | | | + f 2 f 3 f 5 . + __|___ + | | + f 7 f 11 That is, we want to transform the ordinary tree `t1` (of type `int tree`) into a reader object of type `(int->int)-> int tree`: something