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 Natural Source #
Methods function :: (Natural -> b) -> Natural :-> b #
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 Natural Source #
Methods arbitrary :: Gen Natural # shrink :: Natural -> [Natural] #
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] #
Arbitrary1 NonEmpty Source #
Methods liftArbitrary :: Gen a -> Gen (NonEmpty a) # liftShrink :: (a -> [a]) -> NonEmpty a -> [NonEmpty a] #
Arbitrary1 Tree Source #
Methods liftArbitrary :: Gen a -> Gen (Tree a) # liftShrink :: (a -> [a]) -> Tree a -> [Tree a] #
Arbitrary1 Vector Source #
Methods liftArbitrary :: Gen a -> Gen (Vector a) # liftShrink :: (a -> [a]) -> Vector a -> [Vector a] #
CoArbitrary Natural Source #
Methods coarbitrary :: Natural -> Gen b -> Gen b #
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 #
Function a => Function (NonEmpty a) Source #
Methods function :: (NonEmpty a -> b) -> NonEmpty a :-> b #
(FoldCase a, Function a) => Function (CI a) Source #
Methods function :: (CI a -> b) -> CI a :-> b #
Arbitrary a => Arbitrary (NonEmpty a) Source #
Methods arbitrary :: Gen (NonEmpty a) # shrink :: NonEmpty a -> [NonEmpty a] #
(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] #
(Num i, Ix i, Arbitrary i) => Arbitrary1 (Array i) Source #
Methods liftArbitrary :: Gen a -> Gen (Array i a) # liftShrink :: (a -> [a]) -> Array i a -> [Array i a] #
Arbitrary1 (Proxy *) Source #
Methods liftArbitrary :: Gen a -> Gen (Proxy * a) # liftShrink :: (a -> [a]) -> Proxy * a -> [Proxy * a] #
(Hashable k, Eq k, Arbitrary k) => Arbitrary1 (HashMap k) Source #
Methods liftArbitrary :: Gen a -> Gen (HashMap k a) # liftShrink :: (a -> [a]) -> HashMap k a -> [HashMap k a] #
Arbitrary2 (Tagged *) Source #
Methods liftArbitrary2 :: Gen a -> Gen b -> Gen (Tagged * a b) # liftShrink2 :: (a -> [a]) -> (b -> [b]) -> Tagged * a b -> [Tagged * a b] #
CoArbitrary a => CoArbitrary (NonEmpty a) Source #
Methods coarbitrary :: NonEmpty a -> Gen b -> Gen b #
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 #
Function (Proxy * a) Source #
Methods function :: (Proxy * a -> b) -> Proxy * a :-> b #
(Num i, Ix i, IArray UArray a, Arbitrary i, Arbitrary a) => Arbitrary (UArray i a) Source #
Methods arbitrary :: Gen (UArray i a) # shrink :: UArray i a -> [UArray i a] #
(Num i, Ix i, Arbitrary i, Arbitrary a) => Arbitrary (Array i a) Source #
Methods arbitrary :: Gen (Array i a) # shrink :: Array i a -> [Array i a] #
Arbitrary (Proxy * a) Source #
Methods arbitrary :: Gen (Proxy * a) # shrink :: Proxy * a -> [Proxy * a] #
(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] #
Arbitrary1 (Tagged * a) Source #
Methods liftArbitrary :: Gen a -> Gen (Tagged * a a) # liftShrink :: (a -> [a]) -> Tagged * a a -> [Tagged * a a] #
(Ix i, IArray UArray a, CoArbitrary i, CoArbitrary a) => CoArbitrary (UArray i a) Source #
Methods coarbitrary :: UArray i a -> Gen b -> Gen b #
(Ix i, CoArbitrary i, CoArbitrary a) => CoArbitrary (Array i a) Source #
Methods coarbitrary :: Array i a -> Gen b -> Gen b #
CoArbitrary (Proxy * a) Source #
Methods coarbitrary :: Proxy * a -> 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] #
(Arbitrary1 f, Arbitrary1 g) => Arbitrary1 (Sum * f g) Source #
Methods liftArbitrary :: Gen a -> Gen (Sum * f g a) # liftShrink :: (a -> [a]) -> Sum * f g a -> [Sum * f g a] #
CoArbitrary b => CoArbitrary (Tagged * a b) Source #
Methods coarbitrary :: Tagged * a b -> Gen b -> Gen b #
(Arbitrary1 f, Arbitrary1 g, Arbitrary a) => Arbitrary (Sum * f g a) Source #
Methods arbitrary :: Gen (Sum * f g a) # shrink :: Sum * f g a -> [Sum * f g a] #