Generic.md

June 6, 2016 · View on GitHub

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 a r. Generic a => a -> Gen r -> Gen r

Perturb a generator using a Generic data structure

newtype GenericValue

Contains representation of an arbitrary value. Consists of GenericSpine and corresponding GenericSignature.

Arbitrary GenericValue

runGenericValue :: GenericValue -> { signature :: GenericSignature, spine :: GenericSpine }

Extract GenericSignature and GenericSpine from a GenericValue

genericValue :: GenericSignature -> GenericSpine -> Maybe GenericValue

Smart constructor for GenericValue. Would return Nothing if given GenericSpine doesn't conform to given GenericSignature

genGenericSignature :: Size -> Gen GenericSignature

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

genGenericSpine :: GenericSignature -> Gen GenericSpine

Generates GenericSpines that conform to provided GenericSignature.