[Haskell-cafe] <**> for nested applicative functors?
ryani.spam at gmail.com
Mon Oct 12 12:52:38 EDT 2009
fmap (<*>) :: m (n (a -> b)) -> m (n a -> n b)
f <**> x = (fmap (<*>) f) <*> x
On Mon, Oct 12, 2009 at 9:22 AM, Kim-Ee Yeoh <a.biurvOir4 at asuhan.com> wrote:
> Does anyone know if it's possible to write the following:
> <**> :: (Applicative m, Applicative n) =>
> m (n (a->b)) -> m (n a) -> m (n b)
> Clearly, if m and n were monads, it would be trivial.
> Rereading the original paper, I didn't see much discussion
> about such nested app. functors.
> Any help appreciated.
> View this message in context:
> Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe