Contents
Index
lawz-0.0.1: Common mathematical laws.
lawz-0.0.1: Common mathematical laws.
Library of predicates for property testing.
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