(Co/Contra)Functor and Comonad
ml at isaac.cedarswampstudios.org
Fri Dec 24 06:22:24 CET 2010
On 12/23/10 16:43, Mario Blažević wrote:
> Cofunctor and Comonad
IMHO, as you say, there is only one design of cofunctor.
class Cofunctor cf where
cofmap :: (a -> b) -> cf b -> cf a
The only question is capitalization and spelling.*
Since there are multiple designs of Comonad floating around, it'll take
slightly more design work to make sure a standard design works for everyone.
*(CoFunctor or Cofunctor, cofmap or comap etc. IMHO your choices are
fine. And to choose a module to put it in.).
More information about the Libraries