Index
| &> | Test.Invariant |
| <=> | Test.Invariant |
| <?> | Test.Invariant |
| <??> | Test.Invariant |
| <???> | Test.Invariant |
| <~~ | Test.Invariant |
| @~> | Test.Invariant |
| associative | Test.Invariant |
| commutative | Test.Invariant |
| cyclesWithin | Test.Invariant |
| deflating | Test.Invariant |
| deflating' | Test.Invariant |
| distributesLeftOver | Test.Invariant |
| distributesOver | Test.Invariant |
| distributesRightOver | Test.Invariant |
| fixedBy | Test.Invariant |
| idempotent | Test.Invariant |
| inflating | Test.Invariant |
| inflating' | Test.Invariant |
| invariatesOver | Test.Invariant |
| inverts | Test.Invariant |
| involutory | Test.Invariant |
| monotonicDecreasing | Test.Invariant |
| monotonicDecreasing' | Test.Invariant |
| monotonicIncreasing | Test.Invariant |
| monotonicIncreasing' | Test.Invariant |
| pointSymmetric | Test.Invariant |
| reflectionSymmetric | Test.Invariant |