On 7 Apr 2009, at 07:37, David Menendez wrote:
On Mon, Apr 6, 2009 at 1:46 PM, Luke Palmer lrpal...@gmail.com
wrote:
On Mon, Apr 6, 2009 at 11:42 AM, David Menendez d...@zednenem.com
wrote:
Of course, this suggests that mfix should be fixM, so perhaps a
better
distinction is that mplus
On Mon, Apr 6, 2009 at 10:02 AM, Sjoerd Visscher sjo...@w3future.com wrote:
Considering these naming conventions:
http://haskell.org/ghc/docs/latest/html/libraries/base/Control-Monad.html#3
• A postfix 'M' always stands for a function in the Kleisli category: The
monad type constructor m is
On Mon, Apr 6, 2009 at 11:42 AM, David Menendez d...@zednenem.com wrote:
Of course, this suggests that mfix should be fixM, so perhaps a better
distinction is that mplus and mfix need to be defined per-monad,
whereas filterM and replicateM are generic.
Don't you think that is an incidental
On Mon, Apr 6, 2009 at 1:46 PM, Luke Palmer lrpal...@gmail.com wrote:
On Mon, Apr 6, 2009 at 11:42 AM, David Menendez d...@zednenem.com wrote:
Of course, this suggests that mfix should be fixM, so perhaps a better
distinction is that mplus and mfix need to be defined per-monad,
whereas