Test.Validity.Shrinking

shrinkValiditySpec

shrinkValidSpec

shrinkInvalidSpec

shrinkValidPreservesValidOnGenValid

shrinkInvalidPreservesInvalidOnGenInvalid

shrinkPreservesValidOnGenValid

shrinkPreservesInvalidOnGenInvalid

shrinkValidPreservesValid

shrinkInvalidPreservesInvalid

shrinkingStaysValid

shrinkingStaysInvalid

shrinkingPreserves