Proposal discussion summary: Adding on

Ross Paterson ross at soi.city.ac.uk
Thu Nov 9 03:45:09 EST 2006


On Wed, Nov 08, 2006 at 09:05:03PM -0600, Taral wrote:
> On 11/8/06, Ashley Yakeley <ashley at semantic.org> wrote:
> >If we're creating Data.Function, can we add an "instance Functor
> >((->)
> >a)" to it? I seem to remember it's currently in an odd place. Or
> >maybe
> >we should create a Data.Functor module.
> 
> Hm, that's not a bad idea. Functor instances for common types. Right
> now it's in the Control.Monad.Reader module, since (->) a is a reader
> monad.

It's currently in Control.Monad.Instances (in the base package).
(The instances there can't be in the Prelude, because that would be
incompatible with Haskell 98.)



More information about the Libraries mailing list