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)
Search Document