On Sat, Oct 16, 2010 at 21:39, Stephen Tetley stephen.tet...@gmail.com wrote:
Hello list
The Monad and Applicative instances for functions are equivalent to
the respective Reader vesions (I use equivalent along the lines of -
operationally the same but without the type distinction / newtype).
Hi Erik and wren
Thanks for both messages.
On 17 October 2010 10:12, Erik Hesselink hessel...@gmail.com wrote:
[Snip]
I think you can just use the original instance for Monoid for this. It
declares
instance Monoid b = Monoid a - b
since 'b' can itself be a function (and r1 - r2 - a is
Hello list
The Monad and Applicative instances for functions are equivalent to
the respective Reader vesions (I use equivalent along the lines of -
operationally the same but without the type distinction / newtype).
There is also the Monoid instance for functions which is pretty slick.
Has
On 10/16/10 3:39 PM, Stephen Tetley wrote:
Hello list
The Monad and Applicative instances for functions are equivalent to
the respective Reader vesions (I use equivalent along the lines of -
operationally the same but without the type distinction / newtype).
There is also the Monoid instance