Safe Haskell	None
Language	Haskell98

Test.QuickCheck.Instances

Contents

Orphan instances

Description

Instances are provided for the types in the packages:

array
bytestring
case-insensitive
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 Source #
Methods function :: (Text -> b) -> Text :-> b #
Function Text Source #
Methods function :: (Text -> b) -> Text :-> b #
Function UTCTime Source #
Methods function :: (UTCTime -> b) -> UTCTime :-> b #
Function Day Source #
Methods function :: (Day -> b) -> Day :-> b #
Function DiffTime Source #
Methods function :: (DiffTime -> b) -> DiffTime :-> b #
Function UUID Source #
Methods function :: (UUID -> b) -> UUID :-> b #
Arbitrary ByteString Source #
Methods arbitrary :: Gen ByteString # shrink :: ByteString -> [ByteString] #
Arbitrary ByteString Source #
Methods arbitrary :: Gen ByteString # shrink :: ByteString -> [ByteString] #
Arbitrary Text Source #
Methods arbitrary :: Gen Text # shrink :: Text -> [Text] #
Arbitrary Month Source #
Methods arbitrary :: Gen Month # shrink :: Month -> [Month] #
Arbitrary Day Source #
Methods arbitrary :: Gen Day # shrink :: Day -> [Day] #
Arbitrary ClockTime Source #
Methods arbitrary :: Gen ClockTime # shrink :: ClockTime -> [ClockTime] #
Arbitrary CalendarTime Source #
Methods arbitrary :: Gen CalendarTime # shrink :: CalendarTime -> [CalendarTime] #
Arbitrary TimeDiff Source #
Methods arbitrary :: Gen TimeDiff # shrink :: TimeDiff -> [TimeDiff] #
Arbitrary Scientific Source #
Methods arbitrary :: Gen Scientific # shrink :: Scientific -> [Scientific] #
Arbitrary Text Source #
Methods arbitrary :: Gen Text # shrink :: Text -> [Text] #
Arbitrary AbsoluteTime Source #
Methods arbitrary :: Gen AbsoluteTime # shrink :: AbsoluteTime -> [AbsoluteTime] #
Arbitrary LocalTime Source #
Methods arbitrary :: Gen LocalTime # shrink :: LocalTime -> [LocalTime] #
Arbitrary ZonedTime Source #
Methods arbitrary :: Gen ZonedTime # shrink :: ZonedTime -> [ZonedTime] #
Arbitrary TimeOfDay Source #
Methods arbitrary :: Gen TimeOfDay # shrink :: TimeOfDay -> [TimeOfDay] #
Arbitrary TimeZone Source #
Methods arbitrary :: Gen TimeZone # shrink :: TimeZone -> [TimeZone] #
Arbitrary UTCTime Source #
Methods arbitrary :: Gen UTCTime # shrink :: UTCTime -> [UTCTime] #
Arbitrary NominalDiffTime Source #
Methods arbitrary :: Gen NominalDiffTime # shrink :: NominalDiffTime -> [NominalDiffTime] #
Arbitrary Day Source #
Methods arbitrary :: Gen Day # shrink :: Day -> [Day] #
Arbitrary UniversalTime Source #
Methods arbitrary :: Gen UniversalTime # shrink :: UniversalTime -> [UniversalTime] #
Arbitrary DiffTime Source #
Methods arbitrary :: Gen DiffTime # shrink :: DiffTime -> [DiffTime] #
Arbitrary UUID Source #	Uniform distribution.
Methods arbitrary :: Gen UUID # shrink :: UUID -> [UUID] #
CoArbitrary ByteString Source #
Methods coarbitrary :: ByteString -> Gen b -> Gen b #
CoArbitrary ByteString Source #
Methods coarbitrary :: ByteString -> Gen b -> Gen b #
CoArbitrary Text Source #
Methods coarbitrary :: Text -> Gen b -> Gen b #
CoArbitrary Month Source #
Methods coarbitrary :: Month -> Gen b -> Gen b #
CoArbitrary Day Source #
Methods coarbitrary :: Day -> Gen b -> Gen b #
CoArbitrary ClockTime Source #
Methods coarbitrary :: ClockTime -> Gen b -> Gen b #
CoArbitrary CalendarTime Source #
Methods coarbitrary :: CalendarTime -> Gen b -> Gen b #
CoArbitrary TimeDiff Source #
Methods coarbitrary :: TimeDiff -> Gen b -> Gen b #
CoArbitrary Scientific Source #
Methods coarbitrary :: Scientific -> Gen b -> Gen b #
CoArbitrary Text Source #
Methods coarbitrary :: Text -> Gen b -> Gen b #
CoArbitrary AbsoluteTime Source #
Methods coarbitrary :: AbsoluteTime -> Gen b -> Gen b #
CoArbitrary LocalTime Source #
Methods coarbitrary :: LocalTime -> Gen b -> Gen b #
CoArbitrary ZonedTime Source #
Methods coarbitrary :: ZonedTime -> Gen b -> Gen b #
CoArbitrary TimeOfDay Source #
Methods coarbitrary :: TimeOfDay -> Gen b -> Gen b #
CoArbitrary TimeZone Source #
Methods coarbitrary :: TimeZone -> Gen b -> Gen b #
CoArbitrary UTCTime Source #
Methods coarbitrary :: UTCTime -> Gen b -> Gen b #
CoArbitrary NominalDiffTime Source #
Methods coarbitrary :: NominalDiffTime -> Gen b -> Gen b #
CoArbitrary Day Source #
Methods coarbitrary :: Day -> Gen b -> Gen b #
CoArbitrary UniversalTime Source #
Methods coarbitrary :: UniversalTime -> Gen b -> Gen b #
CoArbitrary DiffTime Source #
Methods coarbitrary :: DiffTime -> Gen b -> Gen b #
CoArbitrary UUID Source #
Methods coarbitrary :: UUID -> Gen b -> Gen b #
(FoldCase a, Function a) => Function (CI a) Source #
Methods function :: (CI a -> b) -> CI a :-> b #
(FoldCase a, Arbitrary a) => Arbitrary (CI a) Source #
Methods arbitrary :: Gen (CI a) # shrink :: CI a -> [CI a] #
Arbitrary a => Arbitrary (Tree a) Source #
Methods arbitrary :: Gen (Tree a) # shrink :: Tree a -> [Tree a] #
(Hashable a, Arbitrary a) => Arbitrary (Hashed a) Source #
Methods arbitrary :: Gen (Hashed a) # shrink :: Hashed a -> [Hashed a] #
(Hashable a, Eq a, Arbitrary a) => Arbitrary (HashSet a) Source #
Methods arbitrary :: Gen (HashSet a) # shrink :: HashSet a -> [HashSet a] #
Arbitrary a => Arbitrary (Vector a) Source #
Methods arbitrary :: Gen (Vector a) # shrink :: Vector a -> [Vector a] #
(Storable a, Arbitrary a) => Arbitrary (Vector a) Source #
Methods arbitrary :: Gen (Vector a) # shrink :: Vector a -> [Vector a] #
(Unbox a, Arbitrary a) => Arbitrary (Vector a) Source #
Methods arbitrary :: Gen (Vector a) # shrink :: Vector a -> [Vector a] #
CoArbitrary a => CoArbitrary (CI a) Source #
Methods coarbitrary :: CI a -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary (Tree a) Source #
Methods coarbitrary :: Tree a -> Gen b -> Gen b #
CoArbitrary (Hashed a) Source #
Methods coarbitrary :: Hashed a -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary (HashSet a) Source #
Methods coarbitrary :: HashSet a -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary (Vector a) Source #
Methods coarbitrary :: Vector a -> Gen b -> Gen b #
(Storable a, CoArbitrary a) => CoArbitrary (Vector a) Source #
Methods coarbitrary :: Vector a -> Gen b -> Gen b #
(Unbox a, CoArbitrary a) => CoArbitrary (Vector a) Source #
Methods coarbitrary :: Vector a -> Gen b -> Gen b #
(IArray UArray e, Ix i, Arbitrary i, Arbitrary e) => Arbitrary (UArray i e) Source #
Methods arbitrary :: Gen (UArray i e) # shrink :: UArray i e -> [UArray i e] #
(Ix i, Arbitrary i, Arbitrary e) => Arbitrary (Array i e) Source #
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) Source #
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) Source #
Methods coarbitrary :: UArray i e -> Gen b -> Gen b #
(Ix i, CoArbitrary i, CoArbitrary e) => CoArbitrary (Array i e) Source #
Methods coarbitrary :: Array i e -> Gen b -> Gen b #
(CoArbitrary k, CoArbitrary v) => CoArbitrary (HashMap k v) Source #
Methods coarbitrary :: HashMap k v -> Gen b -> Gen b #
Function b => Function (Tagged * a b) Source #
Methods function :: (Tagged * a b -> b) -> Tagged * a b :-> b #
Arbitrary b => Arbitrary (Tagged * a b) Source #
Methods arbitrary :: Gen (Tagged * a b) # shrink :: Tagged * a b -> [Tagged * a b] #
CoArbitrary b => CoArbitrary (Tagged * a b) Source #
Methods coarbitrary :: Tagged * a b -> Gen b -> Gen b #