quickcheck-special 0.1.0.3 → 0.1.0.4
raw patch · 2 files changed
+7/−2 lines, 2 filesPVP: minor bump suggested
API additions: PVP suggests at least a minor version bump
API changes (from Hackage documentation)
+ Test.QuickCheck.Special: instance Test.QuickCheck.Special.SpecialValues GHC.Real.Rational
Files
quickcheck-special.cabal view
@@ -3,7 +3,7 @@ -- see: https://github.com/sol/hpack name: quickcheck-special-version: 0.1.0.3+version: 0.1.0.4 synopsis: Edge cases and special values for QuickCheck Arbitrary instances description: The standard Arbitrary instances of QuickCheck don't generate special values. This is fixed by this package which provides the newtype Special with an Arbitrary instance. The special values are given by the SpecialValues typeclass. category: Testing@@ -14,7 +14,7 @@ copyright: 2016 Daniel Mendler license: MIT license-file: LICENSE-tested-with: GHC == 7.0.4, GHC == 7.2.2, GHC == 7.4.2, GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.3, GHC == 8.0.1+tested-with: GHC == 7.2.2, GHC == 7.4.2, GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.3, GHC == 8.0.1 build-type: Simple cabal-version: >= 1.10
src/Test/QuickCheck/Special.hs view
@@ -15,6 +15,7 @@ {-# LANGUAGE DeriveFunctor #-} {-# LANGUAGE GeneralizedNewtypeDeriving #-}+{-# LANGUAGE FlexibleInstances #-} module Test.QuickCheck.Special ( Special(..), SpecialValues(..),@@ -22,6 +23,7 @@ import Data.Int import Data.Word+import Data.Ratio import Numeric.Natural (Natural) import Numeric.IEEE import Test.QuickCheck@@ -65,6 +67,9 @@ instance SpecialValues Natural where specialValues = [ 0, 1, fromIntegral (maxBound :: Word64) + 1 ]++instance SpecialValues Rational where+ specialValues = [ 0, 1, -1, 0 % 1, - 0 % 1] instance SpecialValues Char where specialValues = specialBoundedEnum ++ "\0\a\b\f\n\r\t\v\'\"\\aä "