essence-of-live-coding-quickcheck 0.2.5 → 0.2.6
raw patch · 2 files changed
+6/−7 lines, 2 filesdep ~essence-of-live-codingPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: essence-of-live-coding
API changes (from Hackage documentation)
- LiveCoding.QuickCheck: mkGenericProperty :: Typeable b => (b -> Property) -> GenericQ Property
+ LiveCoding.QuickCheck: mkGenericProperty :: Typeable a => (a -> Property) -> a -> Property
Files
essence-of-live-coding-quickcheck.cabal view
@@ -1,5 +1,5 @@ name: essence-of-live-coding-quickcheck-version: 0.2.5+version: 0.2.6 synopsis: General purpose live coding framework - QuickCheck integration description: essence-of-live-coding is a general purpose and type safe live coding framework.@@ -31,14 +31,14 @@ source-repository this type: git location: git@github.com:turion/essence-of-live-coding.git- tag: v0.2.5+ tag: v0.2.6 library exposed-modules: LiveCoding.QuickCheck build-depends: base >= 4.11 && < 5- , essence-of-live-coding >= 0.2.5+ , essence-of-live-coding >= 0.2.6 , transformers >= 0.5 , syb >= 0.7 , QuickCheck >= 2.12
src/LiveCoding/QuickCheck.lhs view
@@ -231,10 +231,9 @@ testState query LiveProgram { .. } = conjoin $ gmapQ query liveState -mkGenericProperty- :: Typeable b- => (b -> Property)- -> GenericQ Property+mkGenericProperty :: Typeable a + => (a -> Property)+ -> a -> Property mkGenericProperty = mkQ $ property True posSumC :: (Monad m, Num a, Data a) => Cell m a a