packages feed

PropRatt 0.2.0.0 → 0.2.0.1

raw patch · 4 files changed

+11/−7 lines, 4 filesdep ~QuickCheckdep ~containersPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: QuickCheck, containers

API changes (from Hackage documentation)

- PropRatt.Core: instance (AsyncRattus.InternalPrimitives.Stable a, AsyncRattus.InternalPrimitives.Stable (PropRatt.Value.Value a), PropRatt.Core.Flatten as bs, PropRatt.Core.Falsify bs) => PropRatt.Core.Flatten (AsyncRattus.Signal.Sig a : as) (PropRatt.Value.Value a : bs)
+ PropRatt.Core: instance (AsyncRattus.InternalPrimitives.Stable a, PropRatt.Core.Flatten as bs, PropRatt.Core.Falsify bs) => PropRatt.Core.Flatten (AsyncRattus.Signal.Sig a : as) (PropRatt.Value.Value a : bs)

Files

CHANGELOG.md view
@@ -1,3 +1,7 @@+# 0.2.0.1++- Updated version bounds of dependencies.+ # 0.2.0.0  - Revised syntax of specification language.
PropRatt.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.2 name:           PropRatt-version:        0.2.0.0+version:        0.2.0.1 synopsis:       Property-based testing framework for testing asynchronous FRP programs. category:       testing description:    @@ -47,9 +47,9 @@   ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints   build-depends:       AsyncRattus >= 0.2 && < 0.3-    , QuickCheck > 2.10 && < 3+    , QuickCheck >= 2.10 && < 3     , base >=4.7 && <5-    , containers  >=0.6.5 && < 0.8+    , containers  >=0.6.5 && < 0.9   default-language: Haskell2010  executable main-example
examples/main/Main.hs view
@@ -27,7 +27,7 @@ zipWrong (a ::: as) (b ::: bs) = (a :* b) ::: delay (         case select as bs of         Fst (a' ::: as') bs' -> zipWrong (a' ::: as') (b ::: bs')-        Snd as' (b' ::: bs') -> zipWrong (a ::: as') (b ::: bs')+        Snd as' (_b' ::: bs') -> zipWrong (a ::: as') (b ::: bs')         Both as' bs' -> zipWrong as' bs')  filterM :: Box (a -> Bool) -> Sig a -> Sig (Maybe' a)@@ -274,9 +274,9 @@     putStrLn "====================="     quickCheck prop_sigLength     putStrLn "====================="-    quickCheck (withMaxSuccess 1000 prop_switchR)+    quickCheck (withNumTests 1000 prop_switchR)     putStrLn "====================="-    quickCheck (withMaxSuccess 1000 prop_catchsubtle)+    quickCheck (withNumTests 1000 prop_catchsubtle)     putStrLn "====================="     quickCheck prop_predLengthOutsideDefault     putStrLn "====================="
src/PropRatt/Core.hs view
@@ -38,7 +38,7 @@   flatten :: HList '[] -> Sig (HList '[])   flatten HNil = emptySig -instance (Stable a, Stable (Value a), Flatten as bs, Falsify bs) => Flatten (Sig a ': as) (Value a ': bs) where+instance (Stable a, Flatten as bs, Falsify bs) => Flatten (Sig a ': as) (Value a ': bs) where   flatten :: HList (Sig a : as) -> Sig (HList (Value a : bs))   flatten (h :% t) = prepend h (flatten t)