On Thu, Feb 17, 2011 at 4:57 PM, Max Bolingbroke batterseapo...@hotmail.com
wrote:
I think the problem is that the mtl1 Functor instances looked like:
instance Monad m = Functor (ReaderT e m) where
fmap = ...
But the mtl2/transformers instances look like:
instance Functor f = Functor
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 2/16/11 00:51 , Evan Laforge wrote:
On Tue, Feb 15, 2011 at 7:58 PM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
On 16 February 2011 14:46, Evan Laforge qdun...@gmail.com wrote:
I just got started on this because packages are
On Tue, Feb 15, 2011 at 07:46:29PM -0800, Evan Laforge wrote:
Do I really have to add (Functor m) to the 300 or so functions with
(Monad m) on them? Or just not use fmap or applicative?
If you're using Monad m to get Functor or Applicative instances for a
functor built from m, then I'm afraid
On Wed, Feb 16, 2011 at 7:01 AM, Ross Paterson r...@soi.city.ac.uk wrote:
On Tue, Feb 15, 2011 at 07:46:29PM -0800, Evan Laforge wrote:
Do I really have to add (Functor m) to the 300 or so functions with
(Monad m) on them? Or just not use fmap or applicative?
If you're using Monad m to get
On Thu, Feb 17, 2011 at 11:32 AM, Evan Laforge qdun...@gmail.com wrote:
Or will there just be massive signature rewriting in the wake of mtl2?
I must admit I still don't understand your exact problem. Could you help me
with an example where using mtl2 requires an additional (Functor m)
On Wed, Feb 16, 2011 at 11:28 PM, Sebastian Fischer fisc...@nii.ac.jp wrote:
On Thu, Feb 17, 2011 at 11:32 AM, Evan Laforge qdun...@gmail.com wrote:
Or will there just be massive signature rewriting in the wake of mtl2?
I must admit I still don't understand your exact problem. Could you help
On 17 February 2011 07:28, Sebastian Fischer fisc...@nii.ac.jp wrote:
I must admit I still don't understand your exact problem. Could you help me
with an example where using mtl2 requires an additional (Functor m)
constraint that is not required when using mtl1?
I think the problem is that the
On 16 February 2011 14:46, Evan Laforge qdun...@gmail.com wrote:
I just got started on this because packages are starting to use mtl2.
I had hoped it would be simple, and hopefully it is, but...
Do I really have to add (Functor m) to the 300 or so functions with
(Monad m) on them? Or just
On Tue, Feb 15, 2011 at 7:58 PM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
On 16 February 2011 14:46, Evan Laforge qdun...@gmail.com wrote:
I just got started on this because packages are starting to use mtl2.
I had hoped it would be simple, and hopefully it is, but...
Do I
