X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=monad_library.mdwn;h=6c6a7a6fdb29f8e12373d130d2c37036e4b28091;hp=36b6962d10ce88a952325c31a3f6fbe1f3b4729b;hb=d663eae3baea394ba9d75c24fc05ebb091b87c17;hpb=79ba921bc184bed9458fa9aaea1662fcb64b498f;ds=sidebyside diff --git a/monad_library.mdwn b/monad_library.mdwn index 36b6962d..6c6a7a6f 100644 --- a/monad_library.mdwn +++ b/monad_library.mdwn @@ -89,7 +89,7 @@ Some comments on the design of this library. * `Writer_monad` (has to be parameterized on the type of the written data; use `Writer1` as a simple predefined case) * `Error_monad`, with `throw err` and `catch u handler_function` operations (this has to be parameterized on the type of `err`; use `Failure` as a simple predefined case, where `type err = string`) * `IO_monad` (you don't need this in OCaml, but it works analagously to the `IO` monad in Haskell, so it's handy for working with Haskell-written algorithms in OCaml) - * `Leaf_monad` (leaf-labeled, binary trees) + * `Tree_monad` (leaf-labeled, binary trees) * and of course, `Continuation_monad`, with `callcc`, `reset`, `shift` and `abort` operations. * All of these monads come with [[monad transformers]] too. To get a State monad wrapped around a Maybe monad, do this: