Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.QuickCheck.SafeGen.Generic

Synopsis

class SafeArbitrary a where
- safeArbitrary :: SafeGen a
newtype FromSafeArbitrary a = FromSafeArbitrary a

Documentation

class SafeArbitrary a where Source #

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 Source #

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

Instances

Instances details

SafeArbitrary PrintableString Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen PrintableString Source #
SafeArbitrary UnicodeString Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen UnicodeString Source #
SafeArbitrary All Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen All Source #
SafeArbitrary Any Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen Any Source #
SafeArbitrary CChar Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CChar Source #
SafeArbitrary CClock Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CClock Source #
SafeArbitrary CDouble Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CDouble Source #
SafeArbitrary CFloat Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CFloat Source #
SafeArbitrary CInt Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CInt Source #
SafeArbitrary CIntMax Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CIntMax Source #
SafeArbitrary CIntPtr Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CIntPtr Source #
SafeArbitrary CLLong Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CLLong Source #
SafeArbitrary CLong Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CLong Source #
SafeArbitrary CPtrdiff Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CPtrdiff Source #
SafeArbitrary CSChar Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CSChar Source #
SafeArbitrary CSUSeconds Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CSUSeconds Source #
SafeArbitrary CShort Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CShort Source #
SafeArbitrary CSigAtomic Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CSigAtomic Source #
SafeArbitrary CSize Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CSize Source #
SafeArbitrary CTime Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CTime Source #
SafeArbitrary CUChar Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CUChar Source #
SafeArbitrary CUInt Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CUInt Source #
SafeArbitrary CUIntMax Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CUIntMax Source #
SafeArbitrary CUIntPtr Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CUIntPtr Source #
SafeArbitrary CULLong Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CULLong Source #
SafeArbitrary CULong Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CULong Source #
SafeArbitrary CUSeconds Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CUSeconds Source #
SafeArbitrary CUShort Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CUShort Source #
SafeArbitrary CWchar Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen CWchar Source #
SafeArbitrary Int16 Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen Int16 Source #
SafeArbitrary Int32 Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen Int32 Source #
SafeArbitrary Int64 Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen Int64 Source #
SafeArbitrary Int8 Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen Int8 Source #
SafeArbitrary Word16 Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen Word16 Source #
SafeArbitrary Word32 Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen Word32 Source #
SafeArbitrary Word64 Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen Word64 Source #
SafeArbitrary Word8 Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen Word8 Source #
SafeArbitrary Ordering Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen Ordering Source #
SafeArbitrary Integer Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen Integer Source #
SafeArbitrary () Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen () Source #
SafeArbitrary Bool Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen Bool Source #
SafeArbitrary Char Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen Char Source #
SafeArbitrary Double Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen Double Source #
SafeArbitrary Float Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen Float Source #
SafeArbitrary Int Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen Int Source #
SafeArbitrary Word Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen Word Source #
SafeArbitrary a => SafeArbitrary (ZipList a) Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen (ZipList a) Source #
SafeArbitrary a => SafeArbitrary (Complex a) Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen (Complex a) Source #
SafeArbitrary a => SafeArbitrary (Identity a) Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen (Identity a) Source #
SafeArbitrary a => SafeArbitrary (First a) Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen (First a) Source #
SafeArbitrary a => SafeArbitrary (Last a) Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen (Last a) Source #
SafeArbitrary a => SafeArbitrary (Dual a) Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen (Dual a) Source #
SafeArbitrary a => SafeArbitrary (Product a) Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen (Product a) Source #
SafeArbitrary a => SafeArbitrary (Sum a) Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen (Sum a) Source #
Integral a => SafeArbitrary (Ratio a) Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen (Ratio a) Source #
SafeArbitrary a => SafeArbitrary (NonEmpty a) Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen (NonEmpty a) Source #
SafeArbitrary a => SafeArbitrary (Maybe a) Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen (Maybe a) Source #
SafeArbitrary a => SafeArbitrary [a] Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen [a] Source #
(SafeArbitrary a, SafeArbitrary b) => SafeArbitrary (Either a b) Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen (Either a b) Source #
(SafeArbitrary a, SafeArbitrary b) => SafeArbitrary (a, b) Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen (a, b) Source #
(SafeArbitrary a, SafeArbitrary b, SafeArbitrary c) => SafeArbitrary (a, b, c) Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen (a, b, c) Source #
(SafeArbitrary a, SafeArbitrary b, SafeArbitrary c, SafeArbitrary d) => SafeArbitrary (a, b, c, d) Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen (a, b, c, d) Source #
(SafeArbitrary a, SafeArbitrary b, SafeArbitrary c, SafeArbitrary d, SafeArbitrary e) => SafeArbitrary (a, b, c, d, e) Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods safeArbitrary :: SafeGen (a, b, c, d, e) Source #

newtype FromSafeArbitrary a Source #

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

Instances details

(Generic a, SafeArbitrary a, RecursivelyShrink (Rep a), GSubterms (Rep a) a) => Arbitrary (FromSafeArbitrary a) Source #
Instance details Defined in Test.QuickCheck.SafeGen.Generic Methods arbitrary :: Gen (FromSafeArbitrary a) # shrink :: FromSafeArbitrary a -> [FromSafeArbitrary a] #