packages feed

clash-prelude-quickcheck 0.1.1.0 → 0.1.2.0

raw patch · 5 files changed

+19/−52 lines, 5 filesdep ~QuickCheckdep ~basedep ~clash-preludePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: QuickCheck, base, clash-prelude

API changes (from Hackage documentation)

- CLaSH.QuickCheck.Instances.BitPack: instance (BitPack (Signed a), KnownNat (BitSize (Signed a))) => Arbitrary (Signed a)
- CLaSH.QuickCheck.Instances.BitPack: instance (BitPack (Unsigned a), KnownNat (BitSize (Unsigned a))) => Arbitrary (Unsigned a)
- CLaSH.QuickCheck.Instances.BitVector: instance KnownNat n => Arbitrary (BitVector n)
- CLaSH.QuickCheck.Instances.Signal: instance Arbitrary a => Arbitrary (Signal' clk a)
- CLaSH.QuickCheck.Instances.Vec: instance (KnownNat n, Arbitrary a) => Arbitrary (Vec n a)
+ CLaSH.QuickCheck.Instances.BitPack: instance (CLaSH.Class.BitPack.BitPack (CLaSH.Sized.Internal.Signed.Signed a), GHC.TypeLits.KnownNat (CLaSH.Class.BitPack.BitSize (CLaSH.Sized.Internal.Signed.Signed a))) => Test.QuickCheck.Arbitrary.Arbitrary (CLaSH.Sized.Internal.Signed.Signed a)
+ CLaSH.QuickCheck.Instances.BitPack: instance (CLaSH.Class.BitPack.BitPack (CLaSH.Sized.Internal.Unsigned.Unsigned a), GHC.TypeLits.KnownNat (CLaSH.Class.BitPack.BitSize (CLaSH.Sized.Internal.Unsigned.Unsigned a))) => Test.QuickCheck.Arbitrary.Arbitrary (CLaSH.Sized.Internal.Unsigned.Unsigned a)
+ CLaSH.QuickCheck.Instances.BitVector: instance GHC.TypeLits.KnownNat n => Test.QuickCheck.Arbitrary.Arbitrary (CLaSH.Sized.Internal.BitVector.BitVector n)
+ CLaSH.QuickCheck.Instances.Signal: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (CLaSH.Signal.Internal.Signal' clk a)
+ CLaSH.QuickCheck.Instances.Vec: instance (GHC.TypeLits.KnownNat n, Test.QuickCheck.Arbitrary.Arbitrary a) => Test.QuickCheck.Arbitrary.Arbitrary (CLaSH.Sized.Vector.Vec n a)

Files

clash-prelude-quickcheck.cabal view
@@ -1,5 +1,5 @@ name:                clash-prelude-quickcheck-version:             0.1.1.0+version:             0.1.2.0 synopsis:            QuickCheck instances for various types in the CλaSH Prelude bug-reports:         https://github.com/Ericson2314/clash-prelude-quickcheck/issues license:             OtherLicense@@ -36,9 +36,9 @@                      , GADTs                      , KindSignatures -  build-depends:       base           ==4.7.*+  build-depends:       base           ==4.8.*                      , QuickCheck     >=2.7 && <2.8-                     , clash-prelude  ==0.7.*+                     , clash-prelude  >=0.7.2 && <0.8                      , mtl            >=2.1 && <2.3                      , containers     >=0.5 && <0.6
src/CLaSH/QuickCheck/Instances/BitPack.hs view
@@ -1,16 +1,11 @@ module CLaSH.QuickCheck.Instances.BitPack () where -import           Data.Bits--import qualified Test.QuickCheck-import           Test.QuickCheck+import Test.QuickCheck -import           CLaSH.Prelude      hiding (lift)-import           CLaSH.Sized.Vector-import           CLaSH.Promoted.Nat+import CLaSH.Prelude -import           CLaSH.QuickCheck.Instances.BitVector-import           CLaSH.QuickCheck.Instances.Vec+import CLaSH.QuickCheck.Instances.BitVector ()+import CLaSH.QuickCheck.Instances.Vec ()   instance (BitPack (Unsigned a), KnownNat (BitSize (Unsigned a)))
src/CLaSH/QuickCheck/Instances/BitVector.hs view
@@ -1,18 +1,8 @@ module CLaSH.QuickCheck.Instances.BitVector () where -import           Prelude ()--import           Data.Bits-import           Data.Traversable--import qualified Test.QuickCheck-import           Test.QuickCheck--import           CLaSH.Prelude hiding (sequence, lift)-import           CLaSH.Sized.Vector-import           CLaSH.Promoted.Nat+import Test.QuickCheck -import qualified CLaSH.Sized.Vector as V+import CLaSH.Prelude   iso1 :: Bool -> Bit@@ -24,7 +14,7 @@              _ -> True  instance KnownNat n => Arbitrary (BitVector n) where-  arbitrary = fmap pack $ sequence $ V.repeat $ iso1 <$> arbitrary-  shrink v  = fmap pack x-    where x :: [Vec n Bit]-          x = (fmap . fmap) iso1 $ sequence $ shrink <$> iso2 <$> unpack v+  arbitrary = fmap pack $ sequence $ CLaSH.Prelude.repeat $ iso1 <$> arbitrary+  shrink v  = fmap pack vs+    where vs :: [Vec n Bit]+          vs = (fmap . fmap) iso1 $ sequence $ shrink <$> iso2 <$> unpack v
src/CLaSH/QuickCheck/Instances/Signal.hs view
@@ -1,16 +1,9 @@ module CLaSH.QuickCheck.Instances.Signal () where -import           Data.Bits--import           Control.Applicative--import qualified Test.QuickCheck-import           Test.QuickCheck+import Test.QuickCheck -import           CLaSH.Prelude.Explicit hiding (lift)-import           CLaSH.Signal-import           CLaSH.Sized.Vector-import           CLaSH.Promoted.Nat+import CLaSH.Prelude+import CLaSH.Prelude.Explicit   instance Arbitrary a => Arbitrary (Signal' clk a) where
src/CLaSH/QuickCheck/Instances/Vec.hs view
@@ -1,21 +1,10 @@ module CLaSH.QuickCheck.Instances.Vec () where -import           Prelude ()--import           Data.Traversable--import           Control.Applicative--import qualified Test.QuickCheck-import           Test.QuickCheck hiding ((.&.))--import           Unsafe.Coerce (unsafeCoerce)+import Test.QuickCheck -import           CLaSH.Prelude hiding (sequence)-import           CLaSH.Sized.Vector-import           CLaSH.Promoted.Nat+import CLaSH.Prelude   instance (KnownNat n, Arbitrary a) => Arbitrary (Vec n a) where-  arbitrary = sequence $ repeat arbitrary+  arbitrary = sequence $ CLaSH.Prelude.repeat arbitrary   shrink x  = sequence $ shrink <$> x