proposal #3335: make some Applicative functions into methods,
and split off Data.Functor
David Menendez
dave at zednenem.com
Mon Jun 29 14:37:56 EDT 2009
On Mon, Jun 29, 2009 at 8:45 AM, Ross Paterson<ross at soi.city.ac.uk> wrote:
> The proposal is that the following functions
>
> (<$) :: Functor f => a -> f b -> f a
> (*>) :: Applicative f => f a -> f b -> f b
> (<*) :: Applicative f => f a -> f b -> f a
> some :: Alternative f => f a -> f [a]
> many :: Alternative f => f a -> f [a]
>
> are moved into the corresponding classes, with the existing implementations
> as default definitions. This gives people creating instances the option of
> defining specialized implementations of these functions, though they should
> be equivalent to the default definitions.
How about liftA2?
--
Dave Menendez <dave at zednenem.com>
<http://www.eyrie.org/~zednenem/>
More information about the Libraries
mailing list