Test.QuickCheck.SafeGen.Generic

Documentation

class SafeArbitrary a where

Like Arbitrary, but with SafeGen instead of Gen. In practice, you probably won't interface with this class directly other than deriving an instance when deriving Arbitrary via FromSafeArbitrary.

One exception might be when you're not happy with the way FromSafeArbitrary derives shrink, and you want to manually implement it. In that case, you can manually write arbitrary = runSafeGen safeArbitrary

Another example is when working with lazy infinite data, in which case you might want to remove the termination check using arbitrary = runSafeGenNoCheck safeArbitrary.

Minimal complete definition

Nothing

Methods

safeArbitrary :: SafeGen a

default safeArbitrary :: (Generic a, GSafeArbitrary (Rep a)) => SafeGen a

Instances

SafeArbitrary PrintableString

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen PrintableString

SafeArbitrary UnicodeString

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen UnicodeString

SafeArbitrary All

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen All

SafeArbitrary Any

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen Any

SafeArbitrary CChar

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CChar

SafeArbitrary CClock

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CClock

SafeArbitrary CDouble

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CDouble

SafeArbitrary CFloat

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CFloat

SafeArbitrary CInt

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CInt

SafeArbitrary CIntMax

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CIntMax

SafeArbitrary CIntPtr

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CIntPtr

SafeArbitrary CLLong

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CLLong

SafeArbitrary CLong

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CLong

SafeArbitrary CPtrdiff

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CPtrdiff

SafeArbitrary CSChar

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CSChar

SafeArbitrary CSUSeconds

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CSUSeconds

SafeArbitrary CShort

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CShort

SafeArbitrary CSigAtomic

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CSigAtomic

SafeArbitrary CSize

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CSize

SafeArbitrary CTime

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CTime

SafeArbitrary CUChar

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CUChar

SafeArbitrary CUInt

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CUInt

SafeArbitrary CUIntMax

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CUIntMax

SafeArbitrary CUIntPtr

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CUIntPtr

SafeArbitrary CULLong

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CULLong

SafeArbitrary CULong

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CULong

SafeArbitrary CUSeconds

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CUSeconds

SafeArbitrary CUShort

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CUShort

SafeArbitrary CWchar

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen CWchar

SafeArbitrary Int16

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen Int16

SafeArbitrary Int32

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen Int32

SafeArbitrary Int64

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen Int64

SafeArbitrary Int8

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen Int8

SafeArbitrary Word16

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen Word16

SafeArbitrary Word32

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen Word32

SafeArbitrary Word64

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen Word64

SafeArbitrary Word8

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen Word8

SafeArbitrary Ordering

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen Ordering

SafeArbitrary Integer

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen Integer

SafeArbitrary ()

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen ()

SafeArbitrary Bool

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen Bool

SafeArbitrary Char

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen Char

SafeArbitrary Double

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen Double

SafeArbitrary Float

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen Float

SafeArbitrary Int

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen Int

SafeArbitrary Word

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen Word

SafeArbitrary a => SafeArbitrary (ZipList a)

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen (ZipList a)

SafeArbitrary a => SafeArbitrary (Complex a)

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen (Complex a)

SafeArbitrary a => SafeArbitrary (Identity a)

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen (Identity a)

SafeArbitrary a => SafeArbitrary (First a)

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen (First a)

SafeArbitrary a => SafeArbitrary (Last a)

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen (Last a)

SafeArbitrary a => SafeArbitrary (Dual a)

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen (Dual a)

SafeArbitrary a => SafeArbitrary (Product a)

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen (Product a)

SafeArbitrary a => SafeArbitrary (Sum a)

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen (Sum a)

Integral a => SafeArbitrary (Ratio a)

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen (Ratio a)

SafeArbitrary a => SafeArbitrary (NonEmpty a)

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen (NonEmpty a)

SafeArbitrary a => SafeArbitrary (Maybe a)

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen (Maybe a)

SafeArbitrary a => SafeArbitrary [a]

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen [a]

(SafeArbitrary a, SafeArbitrary b) => SafeArbitrary (Either a b)

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen (Either a b)

(SafeArbitrary a, SafeArbitrary b) => SafeArbitrary (a, b)

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen (a, b)

(SafeArbitrary a, SafeArbitrary b, SafeArbitrary c) => SafeArbitrary (a, b, c)

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen (a, b, c)

(SafeArbitrary a, SafeArbitrary b, SafeArbitrary c, SafeArbitrary d) => SafeArbitrary (a, b, c, d)

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen (a, b, c, d)

(SafeArbitrary a, SafeArbitrary b, SafeArbitrary c, SafeArbitrary d, SafeArbitrary e) => SafeArbitrary (a, b, c, d, e)

Defined in Test.QuickCheck.SafeGen.Generic

Methods

safeArbitrary :: SafeGen (a, b, c, d, e)

newtype FromSafeArbitrary a

Intended to be used as a deriving conduit for Arbitrary from SafeArbitrary. This defines arbitrary as runSafeGen arbitrary, and shrink as genericShrink.

Constructors

FromSafeArbitrary a

Instances

(Generic a, SafeArbitrary a, RecursivelyShrink (Rep a), GSubterms (Rep a) a) => Arbitrary (FromSafeArbitrary a)

Defined in Test.QuickCheck.SafeGen.Generic

Methods

arbitrary :: Gen (FromSafeArbitrary a)

shrink :: FromSafeArbitrary a -> [FromSafeArbitrary a]