[Haskell] Composing applicative functors?
conal at conal.net
Thu Mar 8 18:27:46 EST 2007
I made a first pass at a module of type compositions with some instances at
http://haskell.org/haskellwiki/TypeComposition and would love to get
comments & suggestions.
Is there an existing process for library proposals & discussions?
Cheers, - Conal
On 2/21/07, Ross Paterson <ross at soi.city.ac.uk> wrote:
> [redirecting to libraries]
> On Wed, Feb 21, 2007 at 04:23:50PM -0800, Conal Elliott wrote:
> > Is the composition instance of Control.Applicative defined somewhere? I
> > it in the McBride & Paterson paper , but not in the library docs .
> > I'd rather pull it in from a library than (re)define it myself.
> >  http://www.soi.city.ac.uk/~ross/papers/Applicative.pdf<http://www.soi.city.ac.uk/%7Eross/papers/Applicative.pdf>
> > 
> It's not defined in the libraries. The type (and the identity functor)
> should probably go in the module that defines Functor (currently
> Control.Monad) with a Functor instance, and an Applicative instance
> in Control.Applicative.
> Libraries mailing list
> Libraries at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Libraries