twin/xmonad
1
0
Fork 0
mirror of https://github.com/xmonad/xmonad.git synced 2025-08-05 06:31:54 -07:00
Code Issues Packages Projects Releases Wiki Activity

Arbitrary Word64 for running tests on amd64

Browse Source 
Copied from Arbitrary Word8; I don't understand the coarbitrary definition and
the Word64 one may be erroneous, but Properties.hs now compiles and passes all
tests.
This commit is contained in:
Alec Berryman
2007-04-19 10:46:52 +00:00
parent e2d5bf05c8
commit ba97db3f87
1 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
tests/Properties.hs
View File

@@ -193,6 +193,14 @@ instance Arbitrary Word8 where
arbitrary = choose (minBound,maxBound) arbitrary = choose (minBound,maxBound)
coarbitrary n = variant (fromIntegral ((fromIntegral n) `rem` 4)) coarbitrary n = variant (fromIntegral ((fromIntegral n) `rem` 4))
instance Random Word64 where
randomR = integralRandomR
random = randomR (minBound,maxBound)
instance Arbitrary Word64 where
arbitrary = choose (minBound,maxBound)
coarbitrary n = variant (fromIntegral ((fromIntegral n) `rem` 4))
integralRandomR :: (Integral a, RandomGen g) => (a,a) -> g -> (a,g) integralRandomR :: (Integral a, RandomGen g) => (a,a) -> g -> (a,g)
integralRandomR (a,b) g = case randomR (fromIntegral a :: Integer, integralRandomR (a,b) g = case randomR (fromIntegral a :: Integer,
fromIntegral b :: Integer) g of fromIntegral b :: Integer) g of