[Haskell] Composing applicative functors?
ross at soi.city.ac.uk
Wed Feb 21 19:39:13 EST 2007
[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 , 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
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
More information about the Libraries