net.jqwik.api.constraints

Annotation Type Unique

@Target(value={ANNOTATION_TYPE,PARAMETER,TYPE_USE})
 @Retention(value=RUNTIME)
 @Documented
 @API(status=MAINTAINED,
     since="1.0")
public @interface Unique

Make a generated value to be unique withing the same try.

Applies to any embedded types of a parameter that is annotated with @ForAll.

See Also:

ForAll