Test.Validity.Shrinking.Property

shrinkPreservesValidOnGenValid

shrinkPreservesInvalidOnGenInvalid

shrinkValidPreservesValid

shrinkInvalidPreservesInvalid

shrinkingStaysValid

shrinkingStaysInvalid

shrinkingPreserves