Test.QuickCheck.Instances

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