projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
7834e35
)
edits
author
Chris Barker
<barker@omega.(none)>
Sun, 31 Oct 2010 14:16:28 +0000
(10:16 -0400)
committer
Chris Barker
<barker@omega.(none)>
Sun, 31 Oct 2010 14:16:28 +0000
(10:16 -0400)
week7.mdwn
patch
|
blob
|
history
diff --git
a/week7.mdwn
b/week7.mdwn
index
62ef89f
..
9f139c1
100644
(file)
--- a/
week7.mdwn
+++ b/
week7.mdwn
@@
-62,8
+62,10
@@
that provides at least the following three elements:
* A bind operation (note the type):
+<pre>
let bind m f = match m with None -> None | Some n -> f n;;
val bind : 'a option -> ('a -> 'b option) -> 'b option = <fun>
+</pre>
`bind` takes two arguments (a monadic object and a function from
ordinary objects to monadic objects), and returns a monadic