[Haskell-cafe] Need an example of new type constructor with zero data constructors

[Jack Henahan]

I haven't used Void enough to really be able to answer this, so here are
some links to information about the empty type.

https://wiki.haskell.org/Empty_type

https://hackage.haskell.org/package/void

http://stackoverflow.com/questions/14131856/whats-the-absurd-function-in-data-void-useful-for

Hope that helps.

James Brown <james.brown5374 at gmail.com> writes:

> In the Haskell report 2010, a data declaration has the format of:
>
> <https://lh3.googleusercontent.com/-G-z92n-50B0/V63XKCCrJDI/AAAAAAAAAGA/w-Zdi9DaR18hX67n-OeQNkDB1iUR0IP7gCLcB/s1600/Screen%2BShot%2B2016-08-12%2Bat%2B10.03.00%2BAM.png>
>
> For a new type, there could be zero or more data constructors. What's the
> use case for a new type that has zero data constructor?
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.


--
Jack
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 800 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160812/954ad7f6/attachment.sig>