essence-of-live-coding-quickcheck 0.2.8 → 0.2.9
raw patch · 1 files changed
+4/−4 lines, 1 filesdep ~basedep ~essence-of-live-codingPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base, essence-of-live-coding
API changes (from Hackage documentation)
- LiveCoding.QuickCheck: logTest :: Monad m => Cell m a prop -> Cell (WriterT [prop] m) a ()
+ LiveCoding.QuickCheck: logTest :: forall (m :: Type -> Type) a prop. Monad m => Cell m a prop -> Cell (WriterT [prop] m) a ()
- LiveCoding.QuickCheck: posSumC :: (Monad m, Num a, Data a) => Cell m a a
+ LiveCoding.QuickCheck: posSumC :: forall (m :: Type -> Type) a. (Monad m, Num a, Data a) => Cell m a a
- LiveCoding.QuickCheck: reinitialise :: Cell m a b -> Gen (Cell m a b)
+ LiveCoding.QuickCheck: reinitialise :: forall (m :: Type -> Type) a b. Cell m a b -> Gen (Cell m a b)
- LiveCoding.QuickCheck: testCell :: Monad m => Cell m (Positive Int) Bool
+ LiveCoding.QuickCheck: testCell :: forall (m :: Type -> Type). Monad m => Cell m (Positive Int) Bool
- LiveCoding.QuickCheck: testState :: GenericQ Property -> LiveProgram m -> Property
+ LiveCoding.QuickCheck: testState :: forall (m :: Type -> Type). GenericQ Property -> LiveProgram m -> Property
Files
essence-of-live-coding-quickcheck.cabal view
@@ -1,5 +1,5 @@ name: essence-of-live-coding-quickcheck-version: 0.2.8+version: 0.2.9 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: https://github.com/turion/essence-of-live-coding.git- tag: v0.2.8+ tag: v0.2.9 library exposed-modules: LiveCoding.QuickCheck build-depends:- base >= 4.13 && < 4.21- , essence-of-live-coding >= 0.2.8+ base >= 4.13 && < 4.22+ , essence-of-live-coding >= 0.2.9 , transformers >= 0.5 , syb >= 0.7 , QuickCheck >= 2.12