Agda.Utils.TestHelpers

Algebraic properties

associative

commutative

idempotent

isZero

identity

leftDistributive

rightDistributive

distributive

Generators

natural

positive

maybeGen

maybeCoGen

listOfElements

elementsUnlessEmpty

two

three

Test driver.

runTests