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

[Maciej Piechotka]

On Fri, 2010-12-24 at 05:36 -0500, Edward Kmett wrote:
> 
> +1 for adding Comonads. As an aside, since Haskell doesn't have (nor
> could it have) coexponential objects, there is no 'missing'
> Coapplicative concept that goes with it, so there can be no objection
> on the grounds of lack of symmetry even if the Functor => Applicative
> => Monad proposal goes through.  

There is still potentially useful Copointed/CoPointed:

class [Functor a =>] CoPointed a where
    copoint :: f a -> a

Regards

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 836 bytes
Desc: This is a digitally signed message part
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20101224/b0f2e96a/attachment.pgp>