Test.Validity.Functions.Equivalence

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