[Haskell] Composing applicative functors?

[Conal Elliott]

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
> see
> > it in the McBride & Paterson paper [1], but not in the library docs [2].
>
> > I'd rather pull it in from a library than (re)define it myself.
> >
> > [1] http://www.soi.city.ac.uk/~ross/papers/Applicative.pdf<http://www.soi.city.ac.uk/%7Eross/papers/Applicative.pdf>
> > [2]
> >
> http://www.haskell.org/ghc/docs/latest/html/libraries/base/Control-Applicative.html
>
> 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
> http://www.haskell.org/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/libraries/attachments/20070308/760f1cf7/attachment.htm