checkers 0.2.7 → 0.2.8

raw patch · 5 files changed

+2/−43 lines, 5 filesdep ~QuickCheckdep ~basePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: QuickCheck, base

API changes (from Hackage documentation)

- Test.QuickCheck.Checkers: instance (EqProp a) => EqProp (Maybe a)

- Test.QuickCheck.Checkers: instance (EqProp a) => EqProp [a]

- Test.QuickCheck.Checkers: instance (Testable a) => Testable [a]

+ Test.QuickCheck.Checkers: instance EqProp a => EqProp (Maybe a)

+ Test.QuickCheck.Checkers: instance EqProp a => EqProp [a]

+ Test.QuickCheck.Checkers: instance Testable a => Testable [a]

- Test.QuickCheck.Checkers: (=-=) :: (EqProp a) => a -> a -> Property

+ Test.QuickCheck.Checkers: (=-=) :: EqProp a => a -> a -> Property

- Test.QuickCheck.Checkers: arbitrarySatisfying :: (Arbitrary a) => (a -> Bool) -> Gen a

+ Test.QuickCheck.Checkers: arbitrarySatisfying :: Arbitrary a => (a -> Bool) -> Gen a

- Test.QuickCheck.Checkers: arbs :: (Arbitrary a) => Int -> IO [a]

+ Test.QuickCheck.Checkers: arbs :: Arbitrary a => Int -> IO [a]

- Test.QuickCheck.Checkers: commutes :: (EqProp z) => (a -> a -> z) -> a -> a -> Property

+ Test.QuickCheck.Checkers: commutes :: EqProp z => (a -> a -> z) -> a -> a -> Property

- Test.QuickCheck.Checkers: eq :: (Eq a) => a -> a -> Property

+ Test.QuickCheck.Checkers: eq :: Eq a => a -> a -> Property

- Test.QuickCheck.Checkers: genR :: (Random a) => (a, a) -> Gen a

+ Test.QuickCheck.Checkers: genR :: Random a => (a, a) -> Gen a

- Test.QuickCheck.Checkers: idemElem :: (EqProp a) => (a -> a -> a) -> a -> Property

+ Test.QuickCheck.Checkers: idemElem :: EqProp a => (a -> a -> a) -> a -> Property

- Test.QuickCheck.Checkers: model :: (Model a b) => a -> b

+ Test.QuickCheck.Checkers: model :: Model a b => a -> b

- Test.QuickCheck.Checkers: model1 :: (Model1 f g) => f a -> g a

+ Test.QuickCheck.Checkers: model1 :: Model1 f g => f a -> g a

- Test.QuickCheck.Checkers: monoidD :: (Monoid a) => MonoidD a

+ Test.QuickCheck.Checkers: monoidD :: Monoid a => MonoidD a

- Test.QuickCheck.Later: delay :: (RealFrac t) => t -> a -> a

+ Test.QuickCheck.Later: delay :: RealFrac t => t -> a -> a

Files

Makefile +0/−2
README +0/−21
changes.tw +0/−5
checkers.cabal +2/−2
wikipage.tw +0/−13

− Makefile

@@ -1,2 +0,0 @@-# On code.haskell.org-include ../cho-cabal-make.inc

− README

@@ -1,21 +0,0 @@-Checkers [1] is a library for reusable QuickCheck properties, particularly-for standard type classes (class laws and class morphisms [2]).  Most of-Reactive [3] can be specified and tested using just these properties.-Also lots of support for randomly generating data values (thanks to Thomas-Davie).--Please share any comments & suggestions on the discussion (talk) page at-[1].--You can configure, build, and install all in the usual way with Cabal-commands.--  runhaskell Setup.lhs configure-  runhaskell Setup.lhs build-  runhaskell Setup.lhs install--References:--[1] http://haskell.org/haskellwiki/checkers-[2] http://conal.net/papers/simply-reactive-[3] http://haskell.org/haskellwiki/reactive

− changes.tw

@@ -1,5 +0,0 @@-== Version 0 ==--=== Version 0.0 ===--*

checkers.cabal view

@@ -1,5 +1,5 @@ Name:                checkers-Version:             0.2.7+Version:             0.2.8 Cabal-Version:       >= 1.2 Synopsis:            Check properties on standard classes and data structures. Category:            Testing@@ -27,7 +27,7 @@ Library   hs-Source-Dirs:      src   Extensions:-  Build-Depends:       base < 4.3, random, QuickCheck>=2.3, array >= 0.1+  Build-Depends:       base < 5, random, QuickCheck>=2.3, array >= 0.1   Exposed-Modules:                             Test.QuickCheck.Utils                        Test.QuickCheck.Checkers

− wikipage.tw

@@ -1,13 +0,0 @@-[[Category:Packages]]--== Abstract ==--'''checkers''' is a library for reusable QuickCheck properties, particularly for standard type classes (class laws and [http://conal.net/papers/simply-reactive class morphisms]).  For instance, a good deal of [[Reactive]] can be specified and tested using just these properties.  Checkers also lots of support for randomly generating data values (thanks to Thomas Davie).--Besides this wiki page, here are more ways to find out about checkers:-* Visit the [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/checkers Hackage page] for library documentation and to download & install.-* Or install with <tt>cabal install checkers</tt>.-* Get the code repository: <tt>darcs get http://code.haskell.org/checkers</tt>.-<!-- * See the [[checkers/Versions| version history]]. -->--Please leave comments at the [[Talk:checkers|Talk page]].