non-negative 0.1.1 → 0.1.1.1
raw patch · 3 files changed
+6/−8 lines, 3 files
Files
- Test/Utility.hs +0/−2
- non-negative.cabal +2/−2
- src/Numeric/NonNegative/Class.hs +4/−4
Test/Utility.hs view
@@ -19,10 +19,8 @@ instance Arbitrary Char where arbitrary = liftM (chr . (32+) . flip mod 96) arbitrary- coarbitrary = undefined instance Arbitrary a => Arbitrary (Maybe a) where arbitrary = arbitrary >>= \b -> if b then fmap Just arbitrary else return Nothing- coarbitrary = undefined
non-negative.cabal view
@@ -1,5 +1,5 @@ Name: non-negative-Version: 0.1.1+Version: 0.1.1.1 License: GPL License-File: LICENSE Author: Henning Thielemann <haskell@henning-thielemann.de>@@ -21,7 +21,7 @@ description: Choose the new smaller, split-up base package. Source-Repository this- Tag: 0.1.1+ Tag: 0.1.1.1 Type: darcs Location: http://code.haskell.org/~thielema/non-negative/
src/Numeric/NonNegative/Class.hs view
@@ -6,10 +6,10 @@ Portability : Haskell 98 A type class for non-negative numbers.-Prominent instances are 'Numeric.NonNegative.Wrapper.T',-peano numbers and types from "Data.Word".-However, there is Monoid class for Word types.-Maybe Word is not a candidate, since it has wrap-around semantics.+Prominent instances are 'Numeric.NonNegative.Wrapper.T' and peano numbers.+Types from "Data.Word" would also be candidates.+However, there is no 'Monoid' instance for 'Word' types+and they have wrap-around semantics. This class cannot do any checks, but it let you show to the user what arguments your function expects. Thus you must define class instances with care.