Generics.Regular.Functions.Arbitrary

Summary: Generic Test.QuickCheck instances.

Generic arbitrary functionality

type FrequencyTable = [(String, Int)]

A frequency table detailing how often certain constructors should be picked. The String corresponds to the constructor name, as returned by conNames.

class Arbitrary f where

Generic Arbitrary class

Methods

harbitrary :: (Int -> Gen a) -> FrequencyTable -> Int -> Int -> Maybe (Gen (f a))

Instances

Arbitrary I

Arbitrary U

Arbitrary a => Arbitrary (K a)

(Fixpoints f, Fixpoints g, ConNames f, Arbitrary f, ConNames g, Arbitrary g) => Arbitrary (:+: f g)

(Arbitrary f, Arbitrary g) => Arbitrary (:*: f g)

(Arbitrary f, Constructor c) => Arbitrary (C c f)

arbitraryWith :: (Regular a, Arbitrary (PF a)) => FrequencyTable -> Int -> Gen a

Generic arbitrary function, sized and with custom constructor frequencies.

arbitrary :: (Regular a, Arbitrary (PF a)) => Gen a

Generic arbitrary function with default sizes and constructor frequencies.

Generic coarbitrary functionality

class CoArbitrary f where

Generic CoArbitrary class

Methods

hcoarbitrary :: (b -> Gen a -> Gen a) -> Int -> f b -> Gen a -> Gen a

Instances

CoArbitrary I

CoArbitrary U

Arbitrary a => CoArbitrary (K a)

(CoArbitrary f, CoArbitrary g, ConNames g) => CoArbitrary (:+: f g)

(CoArbitrary f, CoArbitrary g) => CoArbitrary (:*: f g)

(CoArbitrary f, Constructor c) => CoArbitrary (C c f)

corbitrary :: (Regular b, CoArbitrary (PF b)) => b -> Gen a -> Gen a

Generic coarbitrary function.