quickcheck-classes 0.4.8 → 0.4.9

raw patch · 4 files changed

+20/−9 lines, 4 filesdep ~primitive

Dependency ranges changed: primitive

Files

• changelog.md +8/−0
• quickcheck-classes.cabal +6/−6
• src/Test/QuickCheck/Classes.hs +3/−1
• src/Test/QuickCheck/Classes/Prim.hs +3/−2

@@ -4,6 +4,14 @@ The format is based on [Keep a Changelog](http://keepachangelog.com/en/1.0.0/) and this project adheres to the [Haskell Package Versioning Policy](https://pvp.haskell.org/). +## [0.4.9] - 2018-04-06+### Change+- Be more careful with import of `Data.Primitive`. There is a+  branch of `primitive` that adds `PrimArray`. The implementation+  of `PrimArray` in this library should eventually be removed, but+  for now it will be sufficient to ensure that it does not create+  a conflicting import problem with the one in the branch.+ ## [0.4.8] - 2018-03-29 ### Change - Fix compilation regression for older versions of transformers.

@@ -1,12 +1,12 @@ name: quickcheck-classes-version: 0.4.8+version: 0.4.9 synopsis: QuickCheck common typeclasses description:-  This library provides quickcheck properties to-  ensure that typeclass instances the set of laws that they are-  supposed to. There are other libraries that do similar-  things, such as `genvalidity-hspec` and `checkers`. This-  library differs from other solutions by not introducing+  This library provides quickcheck properties to ensure+  that typeclass instances adhere to the set of laws that+  they are supposed to. There are other libraries that do+  similar things, such as `genvalidity-hspec` and `checkers`.+  This library differs from other solutions by not introducing   any new typeclasses that the user needs to learn. homepage: https://github.com/andrewthad/quickcheck-classes#readme license: BSD3

@@ -105,14 +105,16 @@ #endif #endif +-- -- used below+-- import Test.QuickCheck import Test.QuickCheck.Classes.Common (foldMapA, Laws(..)) import Data.Monoid (Monoid(..)) import Data.Semigroup (Semigroup) import qualified Data.Semigroup as SG --- | A convenience function for working testing properties in GHCi.+-- | A convenience function for testing properties in GHCi. --   See the test suite of this library for an example of how to --   integrate multiple properties into larger test suite. lawsCheck :: Laws -> IO ()

@@ -15,8 +15,9 @@ import Control.Monad.Primitive (PrimMonad, PrimState,primitive,primitive_) import Control.Monad.ST import Data.Proxy (Proxy)-import Data.Primitive hiding (sizeOf, newArray, copyArray)-import Data.Primitive.Addr (Addr(..))+import Data.Primitive.ByteArray+import Data.Primitive.Types+import Data.Primitive.Addr import Foreign.Marshal.Alloc import GHC.Exts   (Int(I#),(*#),newByteArray#,unsafeFreezeByteArray#,copyMutableByteArray#