21 Feb
2007
21 Feb
'07
7:39 p.m.
[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 [2] http://www.haskell.org/ghc/docs/latest/html/libraries/base/Control-Applicati...
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.