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