gen_example: Inspect a generator or disable its shrinking

In s7contract: Behavioral Contracts and Generative Laws for 'S7'

Inspect a generator or disable its shrinking

Description

gen_example() draws one value at a fixed size with a local seed, restoring the caller's RNG kind and state on exit, as check_law() does. It does not expand the shrink tree. gen_no_shrink() keeps generation unchanged but removes all shrink candidates, including those carried by composed generators.

Usage

gen_example(generator, size = 10L, seed = 1L)

gen_no_shrink(generator)

Arguments

generator	A generator.
size	Non-negative integer size.
seed	Integer seed for reproducible generation.

Value

gen_example() returns one generated value. gen_no_shrink() returns an S7 generator object with the original element prototype.

Examples

gen_example(gen_vector(gen_integer()), size = 5L, seed = 42L)

s7contract documentation built on Sept. 10, 2026, 1:09 a.m.