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

Tony Morris tonymorris at gmail.com
Mon Jun 2 00:09:47 UTC 2014


Doubt it. What would be the instances?

What resulted in this requirement? Data.Distributive might help. Just
guessing.

On 02/06/14 07:55, Gregory Malecha wrote:
> 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
>
>
> _______________________________________________
> Beginners mailing list
> Beginners at haskell.org
> http://www.haskell.org/mailman/listinfo/beginners


-- 
Tony Morris
http://tmorris.net/

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/beginners/attachments/20140602/3fcb8fda/attachment.html>


More information about the Beginners mailing list