"Cofunctor" as a name

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

"Cofunctor" as a name

Conal Elliott
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

Haskell-Cafe mailing list
[hidden email]