Void type in base

Joachim Breitner mail at joachim-breitner.de
Thu Jul 18 00:03:16 CEST 2013


Am Mittwoch, den 17.07.2013, 15:27 -0400 schrieb Edward Kmett:
> Now the Data.Void.Unsafe module provides that functionality (as
> unsafeVacuous) and vacuous itself is provided for compatibility with
> code that used it, and is left in case we ever get something in
> Functor that lets us apply newtype coercions directly to the Functor's
> parameter.

how would lifting newtype coercions to functors help here:
  vacuous :: Functor f => f Void -> f a
Void is not a newtype of a.


Joachim “nomeata” Breitner
  mail at joachim-breitner.dehttp://www.joachim-breitner.de/
  Jabber: nomeata at joachim-breitner.de  • GPG-Key: 0x4743206C
  Debian Developer: nomeata at debian.org
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part
URL: <http://www.haskell.org/pipermail/libraries/attachments/20130718/d07a9573/attachment.pgp>

More information about the Libraries mailing list