diff options
| author | Joey Hess <joey@kitenet.net> | 2014-02-24 19:40:14 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-02-24 19:40:14 -0400 |
| commit | 878e7471fa09dcc36b478e1ac1fd305d5a90b7bf (patch) | |
| tree | d552b8faa43078e3dfe1f8b10063ec566eced4e2 /Utility/QuickCheck.hs | |
| parent | d80c547a7d1261f158148ca85e627cc2ecb005f2 (diff) | |
| download | git-repair-878e7471fa09dcc36b478e1ac1fd305d5a90b7bf.tar.gz | |
merge from git-annex
Diffstat (limited to 'Utility/QuickCheck.hs')
| -rw-r--r-- | Utility/QuickCheck.hs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Utility/QuickCheck.hs b/Utility/QuickCheck.hs index 82af09f..e2539f3 100644 --- a/Utility/QuickCheck.hs +++ b/Utility/QuickCheck.hs @@ -1,6 +1,6 @@ {- QuickCheck with additional instances - - - Copyright 2012 Joey Hess <joey@kitenet.net> + - Copyright 2012-2014 Joey Hess <joey@kitenet.net> - - Licensed under the GNU GPL version 3 or higher. -} @@ -17,11 +17,15 @@ import Test.QuickCheck as X import Data.Time.Clock.POSIX import System.Posix.Types import qualified Data.Map as M +import qualified Data.Set as S import Control.Applicative instance (Arbitrary k, Arbitrary v, Eq k, Ord k) => Arbitrary (M.Map k v) where arbitrary = M.fromList <$> arbitrary +instance (Arbitrary v, Eq v, Ord v) => Arbitrary (S.Set v) where + arbitrary = S.fromList <$> arbitrary + {- Times before the epoch are excluded. -} instance Arbitrary POSIXTime where arbitrary = nonNegative arbitrarySizedIntegral |