[Haskell-cafe] (Co/Contra)Functor and Comonad

[Isaac Dupree]

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.).