moonbitlang/core/quickcheck/shrink does not have a README file
Shrink
Types that can enumerate "smaller" variants of a given value for
the classical QuickCheck shrinker. Each call to shrink(x) returns
an Iter[Self] of candidates strictly simpler than x; the driver
walks these candidates after a failure, keeping the first one that
still falsifies the property.
The return type is Iter[Self] rather than Array[Self] so large
or recursive shrink spaces stay lazy. The default body (= _)
means "no shrinks" — a conservative starting point for types where
shrinking isn't meaningful.
test {
// `Int` has a built-in Shrink instance that walks toward 0.
let candidates : Array[Int] = Shrink::shrink(100).collect()
assert_true(candidates.contains(0))
assert_true(candidates.length() > 0)
// `Bool` shrinks `true` to `false`, and `false` has no shrinks.
@debug.assert_eq(Shrink::shrink(true).collect(), [false])
@debug.assert_eq(Shrink::shrink(false).collect(), [])
}impl Shrink for FixedArray[X]impl Shrink for ReadOnlyArray[X]impl Shrink for PriorityQueue[T]impl Shrink for PriorityQueue[T]Source Files
Install
Installed by default
corestandard library
Apache-2.0
Updated 13 days ago