search

jobjo / popper

Property-based testing at ease
ISC License
43 stars 1 forks source link

Embed size information in generation #3

Closed jobjo closed 3 years ago

jobjo commented 3 years ago

Potentially as the first value of the input stream. Shrinking size has big impact so should also find a suitable strategy.

Should expose a combinator:

val sized : (int -> 'a t) -> 'a t

And:

val resize : int -> 'a t -> 'a t