PROPOSAL: Add 'Natural' type to base:Data.Word

Bardur Arantsson spam at scientician.net
Tue Nov 11 18:50:04 UTC 2014


On 2014-11-11 10:35, Herbert Valerio Riedel wrote:
> Hello CLC et al.,
> 
> I hereby suggest to add a type for encoding term-level naturals
> 
>   data Natural = <opaque/hidden>
>        deriving (...the usual standard classes...)
> 
> to `base:Data.Word` module
> 

+1, not that I've been particularly *missing* it as such, but it does
make sense in this context.



More information about the Libraries mailing list