lawz-0.0.1: Common mathematical laws.

Signatures

Modules

• Test
  Submodules

  •  Test.Function
    Submodules

    • Test.Function.Equivalent
    • Test.Function.Idempotent
    • Test.Function.Injective
    • Test.Function.Invertible
    • Test.Function.Monotone
  •  Test.Operation
    Submodules

    • Test.Operation.Annihilative
    • Test.Operation.Associative
    • Test.Operation.Commutative
    • Test.Operation.Distributive
    • Test.Operation.Neutral
  •  Test.Relation
    Submodules

    • Test.Relation.Connex
    • Test.Relation.Reflexive
    • Test.Relation.Symmetric
    • Test.Relation.Transitive
  • Test.Util