reflexiveOnElem | Test.Validity |
reflexivity | Test.Validity |
reflexivityOnArbitrary | Test.Validity |
reflexivityOnGen | Test.Validity |
resultIfSucceeded | Test.Validity |
rightIdentity | Test.Validity |
rightIdentityOnArbitrary | Test.Validity |
rightIdentityOnElemWithEquality | Test.Validity |
rightIdentityOnGen | Test.Validity |
rightIdentityOnGenWithEquality | Test.Validity |