qcheck/shrink
Shrinking helper functions
This module contains helper functions that can be used to build custom generators (not by composing other generators).
They are mostly intended for internal use or “advanced” manual construction of generators. In typical usage, you will probably not need to interact with these functions much, if at all. As such, they are currently mostly undocumented.
In fact, if you are using these functions a lot, file a issue on GitHub and let me know if there are any generator combinators that you’re missing.
Functions
pub fn atomic() -> fn(a) -> Yielder(a)
The atomic
shrinker treats types as atomic, and never attempts to produce
smaller values.
pub fn float_towards(
destination: Float,
) -> fn(Float) -> Yielder(Float)
pub fn int_towards(destination: Int) -> fn(Int) -> Yielder(Int)