Hi,
On Mon, Jan 11, 2010 at 8:44 PM, Steven E. Harris wrote:
> Konrad Hinsen writes:
>
>> For a function of a single argument, m-lift and m-fmap are equivalent.
>
> In Jim Duey's essay Higher Level MonadsĀ¹, he writes the following on the
> lift operator:
>
> ,[ m-lift ]
> | If you have a fun
You know, I think you're right. I would refer you to part 2 of
Konrad's monad tutorial, but the link is broken. Check google's cache,
if you want to read an explanation immediately.
I'll have to go change that. Thanks for pointing it out and sorry for
any confusion.
Jim
Steven E. Harris wrote:
>
Konrad Hinsen writes:
> For a function of a single argument, m-lift and m-fmap are equivalent.
In Jim Duey's essay Higher Level MonadsĀ¹, he writes the following on the
lift operator:
,[ m-lift ]
| If you have a function that you would like to turn into a monadic
| function, that is a functi