lib:property
Modules
- Test.Property
- Test.Property.Function
- Test.Property.Function.Equivalent
- Test.Property.Function.Idempotent
- Test.Property.Function.Injective
- Test.Property.Function.Invertible
- Test.Property.Function.Monotone
- Test.Property.Operation
- Test.Property.Operation.Annihilative
- Test.Property.Operation.Associative
- Test.Property.Operation.Commutative
- Test.Property.Operation.Distributive
- Test.Property.Operation.Neutral
- Test.Property.Relation
- Test.Property.Relation.Connex
- Test.Property.Relation.Reflexive
- Test.Property.Relation.Symmetric
- Test.Property.Relation.Transitive
- Test.Property.Util
Dependencies
- base lib:base <5.0
Reverse dependencies
Direct only. Not exhaustive.
- connections lib:connections
- connections test:test
- rings lib:rings
- rings test:test