Re: (Co/Contra)Functor and Comonad

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. -Isaac *(CoFunctor or Cofunctor, cofmap or comap etc. IMHO your choices are fine. And to choose a module to put it in.).