blob: a586e0dd4f85b9541981357eae7064632b7a1ed7 (
plain)
1
2
3
4
|
Contravariant functors, sometimes referred to colloquially as
cofunctor, even though the dual of a functor is just a functor. As
with functor the definition of contravariant for a given ADT is
unambiguous.
|
