Clarify relationship between Functor and Applicative

Ross Paterson ross at
Tue Mar 1 00:37:11 CET 2011

On Fri, Feb 25, 2011 at 05:34:18PM -0500, roconnor at wrote:
> In the applicative documentation, it says for an Applicative functor f:
> The Functor instance should satisfy
>       fmap f x = pure f <*> x
> I think the documentation should be clarified that this does not
> need to be checked because it is a consequence of the other
> applicative laws.

Thanks, I've made this change.

More information about the Libraries mailing list