[Haskell-cafe] "Cofunctor" as a name
Conal Elliott
conal at conal.net
Sun Sep 9 00:00:38 EDT 2007
I've heard contravariant functors referred to as "cofunctors", and I've also
heard objections to that term. As I'm preparing to release some libraries
using contravariant functors, I'd appreciate hearing preferences and/or
reasons. For instance, another name would be "Contrafunctor".
-- | Contravariant functors. often useful for /acceptors/ (consumers,
-- sinks) of values.
class Cofunctor acc where
cofmap :: (a -> b) -> (acc b -> acc a)
Thanks, - Conal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20070908/99818770/attachment.htm
More information about the Haskell-Cafe
mailing list