[Haskell-beginners] Is there a name for the following?

Gregory Malecha gmalecha at gmail.com
Sun Jun 1 21:55:21 UTC 2014


Hello --

I'm wondering if there is any "name" for a functor "F" that has a function
with the following type:

(a -> F b) -> F (a -> b)

or

(F a -> F b) -> F (a -> b)

If there is, I would imagine it being related to Applicative in some way,
though clearly there are many Applicatives that do not have an
implementation of this.

Thanks.

-- 
gregory malecha
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/beginners/attachments/20140601/ac1de26d/attachment.html>


More information about the Beginners mailing list