23 Sep
2010
23 Sep
'10
6:35 p.m.
On Thu, Sep 23, 2010 at 5:58 PM, Jake McArthur
I'd like to have a (,)-style writer instance alongside the (->)-based reader instance for Monad in Control.Monad.Instances.
+1
On Thu, Sep 23, 2010 at 6:19 PM, Felipe Lessa
I would just like to change ((,) o) to ((,) a) to be consistent with the Applicative instance [1].
Not that I find this terribly important, but I'm more in favor of making the variable names descriptive and consistent with mtl/transformers. So: ((->) r) a i.e. Reader r a ((,) w) a i.e. Writer w a Also the 'a' in ((,) a) is confusing since the 'value' parameter of a Monad is usually also called 'a', as in 'Reader r a'. Regards, Bas