projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
c6ac543
)
manip trees: tweaks
author
Jim Pryor
<profjim@jimpryor.net>
Wed, 1 Dec 2010 07:33:41 +0000
(
02:33
-0500)
committer
Jim Pryor
<profjim@jimpryor.net>
Wed, 1 Dec 2010 07:33:41 +0000
(
02:33
-0500)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
manipulating_trees_with_monads.mdwn
patch
|
blob
|
history
diff --git
a/manipulating_trees_with_monads.mdwn
b/manipulating_trees_with_monads.mdwn
index
2debebe
..
dcba312
100644
(file)
--- 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 .
- ____|____
-
|
|
-
.
.
-
__|__ __|
__
-
| | |
|
- f
2 f3 f
5 .
- __|___
- | |
-
f7 f
11
+ \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