Run a SafeGen using the current context's size parameter. If the SafeGen value does not have a leaf within 20 layers, assume it has infinite recursion, and throw an exception.

like runSafeGen, but doesn't first check if this generator can terminate.

Lift a SafeGen generator into SafeGen.

Convenient synonym for 'gen arbitrary'.

SafeGen is a tree of SafeGen values, that automatically distributes the size parameter over its branches. To run/consume a tree, use runSafeGen. Branches are either product types (composed through the Applicative interface), or sum types composed using oneof or frequency.

Pick one of these branches, with equal probability. Only branches shallower than the current size are considered.

Pick one of these branches, with weighted probability. Only branches shallower than the current size are considered.

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.

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