[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