Void type in base

[Edward Kmett]

You can get there if you use

newtype Void = Void { absurd :: forall a. a }

instead.

-Edward

On Wed, Jul 17, 2013 at 6:03 PM, Joachim Breitner
<mail at joachim-breitner.de>wrote:

> Hi,
>
> 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.
>
> Greetings,
> Joachim
>
>
> --
> Joachim “nomeata” Breitner
>   mail at joachim-breitner.de • http://www.joachim-breitner.de/
>   Jabber: nomeata at joachim-breitner.de  • GPG-Key: 0x4743206C
>   Debian Developer: nomeata at debian.org
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://www.haskell.org/mailman/listinfo/libraries
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20130718/c5477b2c/attachment.htm>