diff options
| author | Herbert Valerio Riedel <hvr@gnu.org> | 2014-12-02 08:38:38 +0100 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2014-12-02 08:38:38 +0100 |
| commit | a29e295c6fddfb0bbd390cff8cf2e5dbe9b1aa5b (patch) | |
| tree | 229770c084b76174bafa4cc551ab7b81ef4ad78f | |
| parent | 2d324dd41d1c5ee5f9fd667d6cae48539e6279ba (diff) | |
| download | haskell-a29e295c6fddfb0bbd390cff8cf2e5dbe9b1aa5b.tar.gz | |
Mention existence of 'Natural' in "Data.Word"
This replaces the note mentioning the lack of a `Natural`-type by a note
pointing to the new "Numeric.Natural" (#9818) module.
| -rw-r--r-- | libraries/base/Data/Word.hs | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/libraries/base/Data/Word.hs b/libraries/base/Data/Word.hs index 8af39b6d4d..f20844f991 100644 --- a/libraries/base/Data/Word.hs +++ b/libraries/base/Data/Word.hs @@ -43,10 +43,8 @@ import GHC.Word common cases so should be fast enough. Coercing word types to and from integer types preserves representation, not sign. -* It would be very natural to add a type @Natural@ providing an unbounded - size unsigned integer, just as 'Prelude.Integer' provides unbounded - size signed integers. We do not do that yet since there is no demand - for it. +* An unbounded size unsigned integer type is available with + 'Numeric.Natural.Natural'. * The rules that hold for 'Prelude.Enum' instances over a bounded type such as 'Prelude.Int' (see the section of the Haskell report dealing |