Module

Test.StrongCheck.Generic

Generic deriving for Arbitrary and CoArbitrary instances. Generation of arbitrary GenericSpines with corresponding GenericSignatures.

gArbitrary :: forall a. Generic a => Gen a

Generate arbitrary values for any Generic data structure

gCoarbitrary :: forall r a. Generic a => a -> Gen r -> Gen r

Perturb a generator using a Generic data structure

genGenericSignature :: Gen GenericSignature

Generates GenericSignatures. Size parameter affects how nested the structure is.

genGenericSpine :: GenericSignature -> Gen GenericSpine

Generates GenericSpines that conform to provided GenericSignature.