Test.Validity.Operations

leftIdentityOnElemWithEquality

leftIdentityOnGenWithEquality

leftIdentityOnGen

leftIdentityOnValid

leftIdentity

leftIdentityOnArbitrary

rightIdentityOnElemWithEquality

rightIdentityOnGenWithEquality

rightIdentityOnGen

rightIdentityOnValid

rightIdentity

rightIdentityOnArbitrary

identityOnGen

identityOnValid

identity

identityOnArbitrary

associativeOnGens

associativeOnValids

associative

associativeOnArbitrary

commutativeOnGens

commutativeOnValids

commutative

commutativeOnArbitrary