Test.Validity.Operations

Properties of operations

Identity element

Left identity

leftIdentityOnElemWithEquality

leftIdentityOnGenWithEquality

leftIdentityOnGen

leftIdentityOnValid

leftIdentity

Right identity

rightIdentityOnElemWithEquality

rightIdentityOnGenWithEquality

rightIdentityOnGen

rightIdentityOnValid

rightIdentity

Identity

identityOnGen

identityOnValid

identity

Associativity

associativeOnGens

associativeOnValids

associative

associativeOnArbitrary

Commutativity

commutativeOnGens

commutativeOnValids

commutative

commutativeOnArbitrary