checkers 0.2.6 → 0.2.7

raw patch · 5 files changed

+28/−71 lines, 5 filesdep ~QuickCheckPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: QuickCheck

API changes (from Hackage documentation)

Files

• COPYING +25/−0
• checkers.cabal +3/−4
• src/Test/QuickCheck/Instances.hs +0/−2
• src/Test/QuickCheck/Instances/Int.hs +0/−29
• src/Test/QuickCheck/Instances/Word.hs +0/−36

@@ -0,0 +1,25 @@+Copyright (c) 2009 Conal Elliott+All rights reserved.++Redistribution and use in source and binary forms, with or without+modification, are permitted provided that the following conditions+are met:+1. Redistributions of source code must retain the above copyright+   notice, this list of conditions and the following disclaimer.+2. Redistributions in binary form must reproduce the above copyright+   notice, this list of conditions and the following disclaimer in the+   documentation and/or other materials provided with the distribution.+3. The names of the authors may not be used to endorse or promote products+   derived from this software without specific prior written permission.++THIS SOFTWARE IS PROVIDED BY THE AUTHORS ``AS IS'' AND ANY EXPRESS OR+IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES+OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.+IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY DIRECT, INDIRECT,+INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT+NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF+THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.+

@@ -1,5 +1,5 @@ Name:                checkers-Version:             0.2.6+Version:             0.2.7 Cabal-Version:       >= 1.2 Synopsis:            Check properties on standard classes and data structures. Category:            Testing@@ -20,13 +20,14 @@ Package-Url:         http://code.haskell.org/checkers Copyright:           (c) 2008 by Conal Elliott License:             BSD3+License-File:        COPYING Stability:           experimental build-type:          Simple  Library   hs-Source-Dirs:      src   Extensions:-  Build-Depends:       base < 4.3, random, QuickCheck>=2.1.0.2, array >= 0.1+  Build-Depends:       base < 4.3, random, QuickCheck>=2.3, array >= 0.1   Exposed-Modules:                             Test.QuickCheck.Utils                        Test.QuickCheck.Checkers@@ -36,13 +37,11 @@                        Test.QuickCheck.Instances.Array                        Test.QuickCheck.Instances.Char                        Test.QuickCheck.Instances.Eq-                       Test.QuickCheck.Instances.Int                        Test.QuickCheck.Instances.List                        Test.QuickCheck.Instances.Maybe                        Test.QuickCheck.Instances.Num                        Test.QuickCheck.Instances.Ord                        Test.QuickCheck.Instances.Tuple-                       Test.QuickCheck.Instances.Word                        Test.QuickCheck.Later   Other-modules:                        Control.Monad.Extensions

@@ -12,10 +12,8 @@ import Test.QuickCheck.Instances.Array () import Test.QuickCheck.Instances.Char  import Test.QuickCheck.Instances.Eq-import Test.QuickCheck.Instances.Int   () import Test.QuickCheck.Instances.List import Test.QuickCheck.Instances.Maybe import Test.QuickCheck.Instances.Num import Test.QuickCheck.Instances.Ord import Test.QuickCheck.Instances.Tuple-import Test.QuickCheck.Instances.Word  ()

@@ -1,29 +0,0 @@-module Test.QuickCheck.Instances.Int where--import Control.Applicative-import Test.QuickCheck-import Data.Int--instance Arbitrary Int64 where-  arbitrary   = fromInteger <$> arbitrary--instance CoArbitrary Int64 where-  coarbitrary = variant . (fromIntegral :: Int64 -> Int)--instance Arbitrary Int32 where-  arbitrary   = fromInteger <$> arbitrary--instance CoArbitrary Int32 where-  coarbitrary = variant . (fromIntegral :: Int32 -> Int)--instance Arbitrary Int16 where-  arbitrary   = fromInteger <$> arbitrary--instance CoArbitrary Int16 where-  coarbitrary = variant . (fromIntegral :: Int16 -> Int)--instance Arbitrary Int8 where-  arbitrary   = fromInteger <$> arbitrary--instance CoArbitrary Int8 where-  coarbitrary = variant . (fromIntegral :: Int8 -> Int)

@@ -1,36 +0,0 @@-module Test.QuickCheck.Instances.Word where--import Control.Applicative-import Test.QuickCheck-import Data.Word--instance Arbitrary Word64 where-  arbitrary   = fromInteger <$> arbitrary--instance CoArbitrary Word64 where-  coarbitrary = variant . (fromIntegral :: Word64 -> Int)--instance Arbitrary Word32 where-  arbitrary   = fromInteger <$> arbitrary--instance CoArbitrary Word32 where-  coarbitrary = variant . (fromIntegral :: Word32 -> Int)--instance Arbitrary Word16 where-  arbitrary   = fromInteger <$> arbitrary--instance CoArbitrary Word16 where-  coarbitrary = variant . (fromIntegral :: Word16 -> Int)--instance Arbitrary Word8 where-  arbitrary   = fromInteger <$> arbitrary--instance CoArbitrary Word8 where-  coarbitrary = variant . (fromIntegral :: Word8 -> Int)---instance Arbitrary Word where-  arbitrary   = fromInteger <$> arbitrary--instance CoArbitrary Word where-  coarbitrary = variant . (fromIntegral :: Word -> Int)