X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=monad_transformers.mdwn;h=f370f4a16323c87addbedf450321b8d9a5382cf2;hp=0b3506c1b82b74d794eecf9efba9a977dfdc6b95;hb=d0c1b524d79cd88b2979d7825dc297bbbddc4f22;hpb=4528f489f93c2f44f573678dff7359d54d9f9672 diff --git a/monad_transformers.mdwn b/monad_transformers.mdwn index 0b3506c1..f370f4a1 100644 --- a/monad_transformers.mdwn +++ b/monad_transformers.mdwn @@ -122,6 +122,13 @@ Some comments before we proceed: * We spell out all the common monads, their common dedicated operations (such as `lookup` for the Reader monad), and monad transformer cousins of all of these, in the following OCaml library: [[code/monads.ml]]. + + + Okay, now let's do the same thing for our Tree monad. (* monadic operations for the Tree monad *) @@ -166,6 +173,5 @@ Compare this definition of `bind` for the TreeT monadic transformer to our earli * This is excellent, everyone should read: [Monad Transformers Step by Step](http://www.grabmueller.de/martin/www/pub/Transformers.pdf) -* Read more about Monad Transformers [at the Haskell wikibook](http://en.wikibooks.org/wiki/Haskell/Monad_transformers) -* Read more at [All About Monads](http://web.archive.org/web/20071106232016/haskell.org/all_about_monads/html/introIII.html). This link is to an archived version, the main link to haskell.org seems to be broken. +* Read Part III of [All About Monads](http://web.archive.org/web/20071106232016/haskell.org/all_about_monads/html/introIII.html). This link is to an archived version, the main link to haskell.org seems to be broken. Some but not all of this site has been [absorbed into the Haskell wikibook](http://en.wikibooks.org/wiki/Haskell/Monad_transformers).