Test.Validity.Functions

Validity tests involving functions

Standard tests involving validity

producesValidsOnGen

producesValidsOnValids

producesValid

producesValidsOnArbitrary

producesValidsOnGens2

producesValidsOnValids2

producesValid2

producesValidsOnArbitrary2

producesValidsOnGens3

producesValidsOnValids3

producesValid3

producesValidsOnArbitrary3

Standard tests involving functions that can fail

succeedsOnGen

succeedsOnValid

succeeds

succeedsOnArbitrary

succeedsOnGens2

succeedsOnValids2

succeeds2

succeedsOnArbitrary2

failsOnGen

failsOnInvalid

failsOnGens2

failsOnInvalid2

validIfSucceedsOnGen

validIfSucceedsOnValid

validIfSucceedsOnArbitrary

validIfSucceeds

validIfSucceedsOnGens2

validIfSucceedsOnValids2

validIfSucceeds2

validIfSucceedsOnArbitrary2

Standard tests involving equivalence of functions

equivalentOnGen

equivalentOnValid

equivalent

equivalentOnGens2

equivalentOnValids2

equivalent2

equivalentWhenFirstSucceedsOnGen

equivalentWhenFirstSucceedsOnValid

equivalentWhenFirstSucceeds

equivalentWhenFirstSucceedsOnGens2

equivalentWhenFirstSucceedsOnValids2

equivalentWhenFirstSucceeds2

equivalentWhenSecondSucceedsOnGen

equivalentWhenSecondSucceedsOnValid

equivalentWhenSecondSucceeds

equivalentWhenSecondSucceedsOnGens2

equivalentWhenSecondSucceedsOnValids2

equivalentWhenSecondSucceeds2

equivalentWhenSucceedOnGen

equivalentWhenSucceedOnValid

equivalentWhenSucceed

equivalentWhenSucceedOnGens2

equivalentWhenSucceedOnValids2

equivalentWhenSucceed2

Standard tests involving inverse functions

inverseFunctionsOnGen

inverseFunctionsOnValid

inverseFunctions

inverseFunctionsOnArbitrary

inverseFunctionsIfFirstSucceedsOnGen

inverseFunctionsIfFirstSucceedsOnValid

inverseFunctionsIfFirstSucceeds

inverseFunctionsIfFirstSucceedsOnArbitrary

inverseFunctionsIfSecondSucceedsOnGen

inverseFunctionsIfSecondSucceedsOnValid

inverseFunctionsIfSecondSucceeds

inverseFunctionsIfSecondSucceedsOnArbitrary

inverseFunctionsIfSucceedOnGen

inverseFunctionsIfSucceedOnValid

inverseFunctionsIfSucceed

inverseFunctionsIfSucceedOnArbitrary

Properties involving idempotence

idempotentOnGen

idempotentOnValid

idempotent

idempotentOnArbitrary