Test.QuickCheck.Instances

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

Methods

function :: (Natural -> b) -> Natural :-> b

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 DiffTime

Methods

function :: (DiffTime -> b) -> DiffTime :-> b

Function Day

Methods

function :: (Day -> b) -> Day :-> b

Function UUID

Methods

function :: (UUID -> b) -> UUID :-> b

Arbitrary Natural

Methods

arbitrary :: Gen Natural

shrink :: Natural -> [Natural]

Arbitrary ByteString

Methods

arbitrary :: Gen ByteString

shrink :: ByteString -> [ByteString]

Arbitrary ByteString

Methods

arbitrary :: Gen ByteString

shrink :: ByteString -> [ByteString]

Arbitrary Text

Methods

arbitrary :: Gen Text

shrink :: Text -> [Text]

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 ZonedTime

Methods

arbitrary :: Gen ZonedTime

shrink :: ZonedTime -> [ZonedTime]

Arbitrary LocalTime

Methods

arbitrary :: Gen LocalTime

shrink :: LocalTime -> [LocalTime]

Arbitrary TimeOfDay

Methods

arbitrary :: Gen TimeOfDay

shrink :: TimeOfDay -> [TimeOfDay]

Arbitrary TimeZone

Methods

arbitrary :: Gen TimeZone

shrink :: TimeZone -> [TimeZone]

Arbitrary UniversalTime

Methods

arbitrary :: Gen UniversalTime

shrink :: UniversalTime -> [UniversalTime]

Arbitrary UTCTime

Methods

arbitrary :: Gen UTCTime

shrink :: UTCTime -> [UTCTime]

Arbitrary NominalDiffTime

Methods

arbitrary :: Gen NominalDiffTime

shrink :: NominalDiffTime -> [NominalDiffTime]

Arbitrary AbsoluteTime

Methods

arbitrary :: Gen AbsoluteTime

shrink :: AbsoluteTime -> [AbsoluteTime]

Arbitrary DiffTime

Methods

arbitrary :: Gen DiffTime

shrink :: DiffTime -> [DiffTime]

Arbitrary Day

Methods

arbitrary :: Gen Day

shrink :: Day -> [Day]

Arbitrary UUID

Uniform distribution.

Methods

arbitrary :: Gen UUID

shrink :: UUID -> [UUID]

Arbitrary1 Min

Methods

liftArbitrary :: Gen a -> Gen (Min a)

liftShrink :: (a -> [a]) -> Min a -> [Min a]

Arbitrary1 Max

Methods

liftArbitrary :: Gen a -> Gen (Max a)

liftShrink :: (a -> [a]) -> Max a -> [Max a]

Arbitrary1 First

Methods

liftArbitrary :: Gen a -> Gen (First a)

liftShrink :: (a -> [a]) -> First a -> [First a]

Arbitrary1 Last

Methods

liftArbitrary :: Gen a -> Gen (Last a)

liftShrink :: (a -> [a]) -> Last a -> [Last a]

Arbitrary1 WrappedMonoid

Methods

liftArbitrary :: Gen a -> Gen (WrappedMonoid a)

liftShrink :: (a -> [a]) -> WrappedMonoid a -> [WrappedMonoid a]

Arbitrary1 Option

Methods

liftArbitrary :: Gen a -> Gen (Option a)

liftShrink :: (a -> [a]) -> Option a -> [Option a]

Arbitrary1 NonEmpty

Methods

liftArbitrary :: Gen a -> Gen (NonEmpty a)

liftShrink :: (a -> [a]) -> NonEmpty a -> [NonEmpty a]

Arbitrary1 Tree

Methods

liftArbitrary :: Gen a -> Gen (Tree a)

liftShrink :: (a -> [a]) -> Tree a -> [Tree a]

Arbitrary1 Vector

Methods

liftArbitrary :: Gen a -> Gen (Vector a)

liftShrink :: (a -> [a]) -> Vector a -> [Vector a]

CoArbitrary Natural

Methods

coarbitrary :: Natural -> Gen b -> Gen b

CoArbitrary ByteString

Methods

coarbitrary :: ByteString -> Gen b -> Gen b

CoArbitrary ByteString

Methods

coarbitrary :: ByteString -> Gen b -> Gen b

CoArbitrary Text

Methods

coarbitrary :: Text -> 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 ZonedTime

Methods

coarbitrary :: ZonedTime -> Gen b -> Gen b

CoArbitrary LocalTime

Methods

coarbitrary :: LocalTime -> Gen b -> Gen b

CoArbitrary TimeOfDay

Methods

coarbitrary :: TimeOfDay -> Gen b -> Gen b

CoArbitrary TimeZone

Methods

coarbitrary :: TimeZone -> Gen b -> Gen b

CoArbitrary UniversalTime

Methods

coarbitrary :: UniversalTime -> Gen b -> Gen b

CoArbitrary UTCTime

Methods

coarbitrary :: UTCTime -> Gen b -> Gen b

CoArbitrary NominalDiffTime

Methods

coarbitrary :: NominalDiffTime -> Gen b -> Gen b

CoArbitrary AbsoluteTime

Methods

coarbitrary :: AbsoluteTime -> Gen b -> Gen b

CoArbitrary DiffTime

Methods

coarbitrary :: DiffTime -> Gen b -> Gen b

CoArbitrary Day

Methods

coarbitrary :: Day -> Gen b -> Gen b

CoArbitrary UUID

Methods

coarbitrary :: UUID -> Gen b -> Gen b

Function a => Function (Min a)

Methods

function :: (Min a -> b) -> Min a :-> b

Function a => Function (Max a)

Methods

function :: (Max a -> b) -> Max a :-> b

Function a => Function (First a)

Methods

function :: (First a -> b) -> First a :-> b

Function a => Function (Last a)

Methods

function :: (Last a -> b) -> Last a :-> b

Function a => Function (WrappedMonoid a)

Methods

function :: (WrappedMonoid a -> b) -> WrappedMonoid a :-> b

Function a => Function (Option a)

Methods

function :: (Option a -> b) -> Option a :-> b

Function a => Function (NonEmpty a)

Methods

function :: (NonEmpty a -> b) -> NonEmpty a :-> b

(FoldCase a, Function a) => Function (CI a)

Methods

function :: (CI a -> b) -> CI a :-> b

Arbitrary a => Arbitrary (Min a)

Methods

arbitrary :: Gen (Min a)

shrink :: Min a -> [Min a]

Arbitrary a => Arbitrary (Max a)

Methods

arbitrary :: Gen (Max a)

shrink :: Max a -> [Max a]

Arbitrary a => Arbitrary (First a)

Methods

arbitrary :: Gen (First a)

shrink :: First a -> [First a]

Arbitrary a => Arbitrary (Last a)

Methods

arbitrary :: Gen (Last a)

shrink :: Last a -> [Last a]

Arbitrary a => Arbitrary (WrappedMonoid a)

Methods

arbitrary :: Gen (WrappedMonoid a)

shrink :: WrappedMonoid a -> [WrappedMonoid a]

Arbitrary a => Arbitrary (Option a)

Methods

arbitrary :: Gen (Option a)

shrink :: Option a -> [Option a]

Arbitrary a => Arbitrary (NonEmpty a)

Methods

arbitrary :: Gen (NonEmpty a)

shrink :: NonEmpty a -> [NonEmpty a]

(FoldCase a, Arbitrary a) => Arbitrary (CI a)

Methods

arbitrary :: Gen (CI a)

shrink :: CI a -> [CI a]

Arbitrary a => Arbitrary (Tree a)

Methods

arbitrary :: Gen (Tree a)

shrink :: Tree a -> [Tree a]

(Hashable a, Arbitrary a) => Arbitrary (Hashed a)

Methods

arbitrary :: Gen (Hashed a)

shrink :: Hashed a -> [Hashed a]

(Hashable a, Eq a, Arbitrary a) => Arbitrary (HashSet a)

Methods

arbitrary :: Gen (HashSet a)

shrink :: HashSet a -> [HashSet a]

(Unbox 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]

Arbitrary a => Arbitrary (Vector a)

Methods

arbitrary :: Gen (Vector a)

shrink :: Vector a -> [Vector a]

(Num i, Ix i, Arbitrary i) => Arbitrary1 (Array i)

Methods

liftArbitrary :: Gen a -> Gen (Array i a)

liftShrink :: (a -> [a]) -> Array i a -> [Array i a]

Arbitrary1 (Proxy *)

Methods

liftArbitrary :: Gen a -> Gen (Proxy * a)

liftShrink :: (a -> [a]) -> Proxy * a -> [Proxy * a]

(Hashable k, Eq k, Arbitrary k) => Arbitrary1 (HashMap k)

Methods

liftArbitrary :: Gen a -> Gen (HashMap k a)

liftShrink :: (a -> [a]) -> HashMap k a -> [HashMap k a]

Arbitrary2 (Tagged *)

Methods

liftArbitrary2 :: Gen a -> Gen b -> Gen (Tagged * a b)

liftShrink2 :: (a -> [a]) -> (b -> [b]) -> Tagged * a b -> [Tagged * a b]

CoArbitrary a => CoArbitrary (Min a)

Methods

coarbitrary :: Min a -> Gen b -> Gen b

CoArbitrary a => CoArbitrary (Max a)

Methods

coarbitrary :: Max a -> Gen b -> Gen b

CoArbitrary a => CoArbitrary (First a)

Methods

coarbitrary :: First a -> Gen b -> Gen b

CoArbitrary a => CoArbitrary (Last a)

Methods

coarbitrary :: Last a -> Gen b -> Gen b

CoArbitrary a => CoArbitrary (WrappedMonoid a)

Methods

coarbitrary :: WrappedMonoid a -> Gen b -> Gen b

CoArbitrary a => CoArbitrary (Option a)

Methods

coarbitrary :: Option a -> Gen b -> Gen b

CoArbitrary a => CoArbitrary (NonEmpty a)

Methods

coarbitrary :: NonEmpty a -> Gen b -> Gen b

CoArbitrary a => CoArbitrary (CI a)

Methods

coarbitrary :: CI a -> Gen b -> Gen b

CoArbitrary a => CoArbitrary (Tree a)

Methods

coarbitrary :: Tree a -> Gen b -> Gen b

CoArbitrary (Hashed a)

Methods

coarbitrary :: Hashed a -> Gen b -> Gen b

CoArbitrary a => CoArbitrary (HashSet a)

Methods

coarbitrary :: HashSet a -> Gen b -> Gen b

(Unbox a, 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

CoArbitrary a => CoArbitrary (Vector a)

Methods

coarbitrary :: Vector a -> Gen b -> Gen b

Function (Proxy * a)

Methods

function :: (Proxy * a -> b) -> Proxy * a :-> b

(Num i, Ix i, IArray UArray a, Arbitrary i, Arbitrary a) => Arbitrary (UArray i a)

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)

Methods

arbitrary :: Gen (Array i a)

shrink :: Array i a -> [Array i a]

Arbitrary (Proxy * a)

Methods

arbitrary :: Gen (Proxy * a)

shrink :: Proxy * a -> [Proxy * a]

(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]

Arbitrary1 (Tagged * a)

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)

Methods

coarbitrary :: UArray i a -> Gen b -> Gen b

(Ix i, CoArbitrary i, CoArbitrary a) => CoArbitrary (Array i a)

Methods

coarbitrary :: Array i a -> Gen b -> Gen b

CoArbitrary (Proxy * a)

Methods

coarbitrary :: Proxy * a -> Gen b -> Gen b

(CoArbitrary k, CoArbitrary v) => CoArbitrary (HashMap k v)

Methods

coarbitrary :: HashMap k v -> Gen b -> Gen b

Function b => Function (Tagged * a b)

Methods

function :: (Tagged * a b -> b) -> Tagged * a b :-> b

Arbitrary b => Arbitrary (Tagged * a b)

Methods

arbitrary :: Gen (Tagged * a b)

shrink :: Tagged * a b -> [Tagged * a b]

(Arbitrary1 f, Arbitrary1 g) => Arbitrary1 (Sum * f g)

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)

Methods

coarbitrary :: Tagged * a b -> Gen b -> Gen b

(Arbitrary1 f, Arbitrary1 g, Arbitrary a) => Arbitrary (Sum * f g a)

Methods

arbitrary :: Gen (Sum * f g a)

shrink :: Sum * f g a -> [Sum * f g a]