acme-cofunctor alternatives and similar packages
Based on the "ACME" category.
Alternatively, view acme-cofunctor alternatives based on common mentions on social networks and blogs.
Do you think we are missing an alternative of acme-cofunctor or a related project?
Cofunctor is a structure from category theory dual to
We all know that a
Functor is defined by the operation 'fmap':
fmap :: (a -> b) -> (f a -> f b)
This means that its dual must be defined by the following operation:
cofmap :: (b -> a) -> (f b -> f a)
Since beginning his investigations, the author of this package has discovered
that this pattern is at least as commonly used as
Functor. In fact, many
ubiquitous Haskell types (e.g.
((->) a) turn out to have a