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.).
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe