Safe Haskell	None
Language	Haskell98

Test.QuickCheck.Instances

Contents

Orphan instances

Description

Instances are provided for the types in the packages:

array
bytestring
containers
old-time
text
time
unordered-containers

Since all of these instances are provided as orphans, I recommend that you do not use this library within another library module, so that you don't impose these instances on down-stream consumers of your code.

For information on writing a test-suite with Cabal see http://www.haskell.org/cabal/users-guide/#test-suites

Orphan instances

Function Text #
Methods function :: (Text -> b) -> Text :-> b #
Function Text #
Methods function :: (Text -> b) -> Text :-> b #
Function UTCTime #
Methods function :: (UTCTime -> b) -> UTCTime :-> b #
Function Day #
Methods function :: (Day -> b) -> Day :-> b #
Function DiffTime #
Methods function :: (DiffTime -> b) -> DiffTime :-> b #
Arbitrary ByteString #
Methods arbitrary :: Gen ByteString # shrink :: ByteString -> [ByteString] #
Arbitrary ByteString #
Methods arbitrary :: Gen ByteString # shrink :: ByteString -> [ByteString] #
Arbitrary Month #
Methods arbitrary :: Gen Month # shrink :: Month -> [Month] #
Arbitrary Day #
Methods arbitrary :: Gen Day # shrink :: Day -> [Day] #
Arbitrary ClockTime #
Methods arbitrary :: Gen ClockTime # shrink :: ClockTime -> [ClockTime] #
Arbitrary CalendarTime #
Methods arbitrary :: Gen CalendarTime # shrink :: CalendarTime -> [CalendarTime] #
Arbitrary TimeDiff #
Methods arbitrary :: Gen TimeDiff # shrink :: TimeDiff -> [TimeDiff] #
Arbitrary Scientific #
Methods arbitrary :: Gen Scientific # shrink :: Scientific -> [Scientific] #
Arbitrary Text #
Methods arbitrary :: Gen Text # shrink :: Text -> [Text] #
Arbitrary Text #
Methods arbitrary :: Gen Text # shrink :: Text -> [Text] #
Arbitrary AbsoluteTime #
Methods arbitrary :: Gen AbsoluteTime # shrink :: AbsoluteTime -> [AbsoluteTime] #
Arbitrary LocalTime #
Methods arbitrary :: Gen LocalTime # shrink :: LocalTime -> [LocalTime] #
Arbitrary ZonedTime #
Methods arbitrary :: Gen ZonedTime # shrink :: ZonedTime -> [ZonedTime] #
Arbitrary TimeOfDay #
Methods arbitrary :: Gen TimeOfDay # shrink :: TimeOfDay -> [TimeOfDay] #
Arbitrary TimeZone #
Methods arbitrary :: Gen TimeZone # shrink :: TimeZone -> [TimeZone] #
Arbitrary UTCTime #
Methods arbitrary :: Gen UTCTime # shrink :: UTCTime -> [UTCTime] #
Arbitrary NominalDiffTime #
Methods arbitrary :: Gen NominalDiffTime # shrink :: NominalDiffTime -> [NominalDiffTime] #
Arbitrary Day #
Methods arbitrary :: Gen Day # shrink :: Day -> [Day] #
Arbitrary UniversalTime #
Methods arbitrary :: Gen UniversalTime # shrink :: UniversalTime -> [UniversalTime] #
Arbitrary DiffTime #
Methods arbitrary :: Gen DiffTime # shrink :: DiffTime -> [DiffTime] #
CoArbitrary ByteString #
Methods coarbitrary :: ByteString -> Gen b -> Gen b #
CoArbitrary ByteString #
Methods coarbitrary :: ByteString -> Gen b -> Gen b #
CoArbitrary Month #
Methods coarbitrary :: Month -> Gen b -> Gen b #
CoArbitrary Day #
Methods coarbitrary :: Day -> Gen b -> Gen b #
CoArbitrary ClockTime #
Methods coarbitrary :: ClockTime -> Gen b -> Gen b #
CoArbitrary CalendarTime #
Methods coarbitrary :: CalendarTime -> Gen b -> Gen b #
CoArbitrary TimeDiff #
Methods coarbitrary :: TimeDiff -> Gen b -> Gen b #
CoArbitrary Scientific #
Methods coarbitrary :: Scientific -> Gen b -> Gen b #
CoArbitrary Text #
Methods coarbitrary :: Text -> Gen b -> Gen b #
CoArbitrary Text #
Methods coarbitrary :: Text -> Gen b -> Gen b #
CoArbitrary AbsoluteTime #
Methods coarbitrary :: AbsoluteTime -> Gen b -> Gen b #
CoArbitrary LocalTime #
Methods coarbitrary :: LocalTime -> Gen b -> Gen b #
CoArbitrary ZonedTime #
Methods coarbitrary :: ZonedTime -> Gen b -> Gen b #
CoArbitrary TimeOfDay #
Methods coarbitrary :: TimeOfDay -> Gen b -> Gen b #
CoArbitrary TimeZone #
Methods coarbitrary :: TimeZone -> Gen b -> Gen b #
CoArbitrary UTCTime #
Methods coarbitrary :: UTCTime -> Gen b -> Gen b #
CoArbitrary NominalDiffTime #
Methods coarbitrary :: NominalDiffTime -> Gen b -> Gen b #
CoArbitrary Day #
Methods coarbitrary :: Day -> Gen b -> Gen b #
CoArbitrary UniversalTime #
Methods coarbitrary :: UniversalTime -> Gen b -> Gen b #
CoArbitrary DiffTime #
Methods coarbitrary :: DiffTime -> Gen b -> Gen b #
Arbitrary a => Arbitrary (Tree a) #
Methods arbitrary :: Gen (Tree a) # shrink :: Tree a -> [Tree a] #
(Hashable a, Eq a, Arbitrary a) => Arbitrary (HashSet a) #
Methods arbitrary :: Gen (HashSet a) # shrink :: HashSet a -> [HashSet a] #
Arbitrary a => Arbitrary (Vector a) #
Methods arbitrary :: Gen (Vector a) # shrink :: Vector a -> [Vector a] #
(Storable a, Arbitrary a) => Arbitrary (Vector a) #
Methods arbitrary :: Gen (Vector a) # shrink :: Vector a -> [Vector a] #
(Unbox a, Arbitrary a) => Arbitrary (Vector a) #
Methods arbitrary :: Gen (Vector a) # shrink :: Vector a -> [Vector a] #
CoArbitrary a => CoArbitrary (Tree a) #
Methods coarbitrary :: Tree a -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary (HashSet a) #
Methods coarbitrary :: HashSet a -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary (Vector a) #
Methods coarbitrary :: Vector a -> Gen b -> Gen b #
(Storable a, CoArbitrary a) => CoArbitrary (Vector a) #
Methods coarbitrary :: Vector a -> Gen b -> Gen b #
(Unbox a, CoArbitrary a) => CoArbitrary (Vector a) #
Methods coarbitrary :: Vector a -> Gen b -> Gen b #
(IArray UArray e, Ix i, Arbitrary i, Arbitrary e) => Arbitrary (UArray i e) #
Methods arbitrary :: Gen (UArray i e) # shrink :: UArray i e -> [UArray i e] #
(Ix i, Arbitrary i, Arbitrary e) => Arbitrary (Array i e) #
Methods arbitrary :: Gen (Array i e) # shrink :: Array i e -> [Array i e] #
(Hashable k, Eq k, Arbitrary k, Arbitrary v) => Arbitrary (HashMap k v) #
Methods arbitrary :: Gen (HashMap k v) # shrink :: HashMap k v -> [HashMap k v] #
(IArray UArray e, Ix i, CoArbitrary i, CoArbitrary e) => CoArbitrary (UArray i e) #
Methods coarbitrary :: UArray i e -> Gen b -> Gen b #
(Ix i, CoArbitrary i, CoArbitrary e) => CoArbitrary (Array i e) #
Methods coarbitrary :: Array i e -> Gen b -> Gen b #
(CoArbitrary k, CoArbitrary v) => CoArbitrary (HashMap k v) #
Methods coarbitrary :: HashMap k v -> Gen b -> Gen b #