clash-prelude-quickcheck 0.1.0.0 → 0.1.1.0

raw patch · 3 files changed

+6/−11 lines, 3 filesdep ~clash-preludePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: clash-prelude

API changes (from Hackage documentation)

Files

• clash-prelude-quickcheck.cabal +3/−3
• src/CLaSH/QuickCheck/Instances/Signal.hs +3/−2
• src/CLaSH/QuickCheck/Instances/Vec.hs +0/−6

@@ -1,5 +1,5 @@ name:                clash-prelude-quickcheck-version:             0.1.0.0+version:             0.1.1.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 && <4.8+  build-depends:       base           ==4.7.*                      , QuickCheck     >=2.7 && <2.8-                     , clash-prelude  >=0.6 && <0.7+                     , clash-prelude  ==0.7.*                      , mtl            >=2.1 && <2.3                      , containers     >=0.5 && <0.6 

@@ -8,12 +8,13 @@ import           Test.QuickCheck  import           CLaSH.Prelude.Explicit hiding (lift)+import           CLaSH.Signal import           CLaSH.Sized.Vector import           CLaSH.Promoted.Nat  -instance Arbitrary a => Arbitrary (CSignal clk a) where-  arbitrary = cfromList <$> infiniteList+instance Arbitrary a => Arbitrary (Signal' clk a) where+  arbitrary = fromList <$> infiniteList    --TODO: what does it mean to shrink an infinite stream   --shrink x  = [] : (fmap fromList $ shrink $ CLaSH.Prelude.sample x)

@@ -19,9 +19,3 @@ instance (KnownNat n, Arbitrary a) => Arbitrary (Vec n a) where   arbitrary = sequence $ repeat arbitrary   shrink x  = sequence $ shrink <$> x--instance (Ord a) => Ord (Vec n a) where-  compare x y = foldr f EQ $ zipWith compare x y-    where f EQ   keepGoing = keepGoing-          f done _         = done-