projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
transformers tweak
[lambda.git]
/
monad_transformers.mdwn
diff --git
a/monad_transformers.mdwn
b/monad_transformers.mdwn
index
ebe9b0c
..
57affe5
100644
(file)
--- a/
monad_transformers.mdwn
+++ b/
monad_transformers.mdwn
@@
-184,9
+184,9
@@
This is fun. Notice the difference it makes whether the second `plus` is native
# module LL = List_monad.T(List_monad);;
# LL.(run(plus (unit 1) (unit 2) >>= fun i -> plus (unit i) (unit(10*i)) ));;
# module LL = List_monad.T(List_monad);;
# LL.(run(plus (unit 1) (unit 2) >>= fun i -> plus (unit i) (unit(10*i)) ));;
- - : ('_a, int) LL.result = [[1; 10; 2; 20]]
+ - : ('_a, int) LL.result =
\
[[1; 10; 2; 20]]
# LL.(run(plus (unit 1) (unit 2) >>= fun i -> elevate L.(plus (unit i) (unit(10*i)) )));;
# LL.(run(plus (unit 1) (unit 2) >>= fun i -> elevate L.(plus (unit i) (unit(10*i)) )));;
- - : ('_a, int) LL.result = [[1; 2]; [1; 20]; [10; 2]; [10; 20]]
+ - : ('_a, int) LL.result =
\
[[1; 2]; [1; 20]; [10; 2]; [10; 20]]