opentheory-primitive 1.7 → 1.8

raw patch · 2 files changed

+17/−18 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

- OpenTheory.Primitive.Natural: instance Arbitrary Natural

- OpenTheory.Primitive.Natural: instance Bits Natural

- OpenTheory.Primitive.Natural: instance Enum Natural

- OpenTheory.Primitive.Natural: instance Eq Natural

- OpenTheory.Primitive.Natural: instance Integral Natural

- OpenTheory.Primitive.Natural: instance Num Natural

- OpenTheory.Primitive.Natural: instance Ord Natural

- OpenTheory.Primitive.Natural: instance Read Natural

- OpenTheory.Primitive.Natural: instance Real Natural

- OpenTheory.Primitive.Natural: instance Show Natural

- OpenTheory.Primitive.Random: instance Arbitrary Random

- OpenTheory.Primitive.Random: instance Show Random

+ OpenTheory.Primitive.Natural: instance Data.Bits.Bits OpenTheory.Primitive.Natural.Natural

+ OpenTheory.Primitive.Natural: instance GHC.Classes.Eq OpenTheory.Primitive.Natural.Natural

+ OpenTheory.Primitive.Natural: instance GHC.Classes.Ord OpenTheory.Primitive.Natural.Natural

+ OpenTheory.Primitive.Natural: instance GHC.Enum.Enum OpenTheory.Primitive.Natural.Natural

+ OpenTheory.Primitive.Natural: instance GHC.Num.Num OpenTheory.Primitive.Natural.Natural

+ OpenTheory.Primitive.Natural: instance GHC.Read.Read OpenTheory.Primitive.Natural.Natural

+ OpenTheory.Primitive.Natural: instance GHC.Real.Integral OpenTheory.Primitive.Natural.Natural

+ OpenTheory.Primitive.Natural: instance GHC.Real.Real OpenTheory.Primitive.Natural.Natural

+ OpenTheory.Primitive.Natural: instance GHC.Show.Show OpenTheory.Primitive.Natural.Natural

+ OpenTheory.Primitive.Natural: instance Test.QuickCheck.Arbitrary.Arbitrary OpenTheory.Primitive.Natural.Natural

+ OpenTheory.Primitive.Random: instance GHC.Show.Show OpenTheory.Primitive.Random.Random

+ OpenTheory.Primitive.Random: instance Test.QuickCheck.Arbitrary.Arbitrary OpenTheory.Primitive.Random.Random

opentheory-primitive.cabal view

@@ -1,5 +1,5 @@ name: opentheory-primitive-version: 1.7+version: 1.8 category: Formal Methods synopsis: Haskell primitives used by OpenTheory packages license: MIT

src/OpenTheory/Primitive/Test.hs view

@@ -12,25 +12,24 @@     check ) where -import Test.QuickCheck+import qualified Test.QuickCheck as QuickCheck  assert :: String -> Bool -> IO () assert desc prop =-  do putStr desc-     if prop-       then putStrLn "+++ OK"-       else-         do putStr "**"-            putStrLn "* Failed!"-            error "Assertion failed"--checkArgs :: Test.QuickCheck.Args-checkArgs = Test.QuickCheck.stdArgs { maxSuccess = 100 }+    do putStr desc+       if prop+         then putStrLn "+++ OK"+         else+           do putStr "**"+              putStrLn "* Failed!"+              error "Assertion failed" -check :: Testable prop => String -> prop -> IO ()+check :: QuickCheck.Testable prop => String -> prop -> IO () check desc prop =-  do putStr desc-     res <- Test.QuickCheck.quickCheckWithResult checkArgs prop-     case res of-       Test.QuickCheck.Failure {} -> error "Proposition failed"-       _ -> return ()+    do putStr desc+       res <- QuickCheck.quickCheckWithResult args prop+       case res of+         QuickCheck.Failure {} -> error "Proposition failed"+         _ -> return ()+  where+    args = QuickCheck.stdArgs {QuickCheck.maxSuccess = 100}