Hi, Am Montag, den 18.12.2006, 17:42 +0100 schrieb Tomasz Zielonka:
On Mon, Dec 18, 2006 at 09:29:24AM +0000, Joachim Breitner wrote:
dons mentions in his blog post that Data.Map???s lookup is generalized over the Monads, whereas Prelude.maybe isn???t. Are there good reasons not to do that to Prelude.maybe as well?
I can't see how such a generalization could look like, especially since "maybe" can be used with arbitrary monad: maybe (fail "Nothing") return
Well, that’s a possible implementation of a maybeToM. The question is: Is it useful enough for a name on it’s own? Greetings, Joachim -- Joachim "nomeata" Breitner mail: mail@joachim-breitner.de | ICQ# 74513189 | GPG-Key: 4743206C JID: joachimbreitner@amessage.de | http://www.joachim-breitner.de/ Debian Developer: nomeata@debian.org