search

nick8325 / quickcheck

Automatic testing of Haskell programs.
Other
713 stars 119 forks source link

Num instances #284

Closed BebeSparkelSparkel closed 4 years ago

BebeSparkelSparkel commented 4 years ago

Is there any reason that the following do not have Num instances? Positive Negative NonZero NonNegative NonPositive

phadej commented 4 years ago

What would negate :: Num n => Positive n -> Positive n do?

When you write properties, unwrap early:

myProp (Positive p) = ... with p ...
BebeSparkelSparkel commented 4 years ago

Wish the Num class was implemented right.