checkers 0.4.2 → 0.4.3

raw patch · 2 files changed

+13/−2 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• checkers.cabal +1/−1
• src/Test/QuickCheck/Classes.hs +12/−1

@@ -1,5 +1,5 @@ Name:                checkers-Version:             0.4.2+Version:             0.4.3 Cabal-Version:       >= 1.6 Synopsis:            Check properties on standard classes and data structures. Category:            Testing

@@ -22,7 +22,7 @@   , applicative, applicativeMorphism, semanticApplicative   , monad, monadMorphism, semanticMonad, monadFunctor   , monadApplicative, arrow, arrowChoice, traversable-  , monadPlus, monadOr+  , monadPlus, monadOr, alternative   )   where @@ -429,6 +429,17 @@     leftZeroP k = (mzero >>= k) =-= mzero    leftCatchP a b = return a `mplus` b =-= return a++-- | Check Alternative Monoid laws+alternative :: forall f a. ( Alternative f, Arbitrary a, Arbitrary (f a)+                           , EqProp (f a), Show (f a)) =>+               f a -> TestBatch+alternative = const ( "Alternative laws"+                    , [ ("left identity", leftId (<|>) (empty :: f a))+                      , ("right identity", rightId (<|>) (empty :: f a))+                      , ("associativity", isAssoc ((<|>) :: Binop (f a)))+                      ]+                    )   arrow :: forall a b c d e.