|Did you know ...||Search Documentation:|
|Pack quickcheck -- prolog/quickcheck.pl|
The following types from library(error) have built in support.
code- printable ASCII for now
When defining shrink/3 for your own types, be sure to fail if Value cannot be shrunk any smaller. It's acceptable to produce additional shrunken values on backtracking. It's often best to bisect your type's values (rather than iterating all possible, smaller values) if bisecting makes for your type.