| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
Synopsis | ||||||||||||||||
Documentation | ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
flexible variables (with identifiers drawn from Int), | ||||||||||||||||
rigid variables (also identified by Ints), or | ||||||||||||||||
constants (like 0, infinity, or anything between) | ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
Check that no edges get longer when completing a graph. | ||||||||||||||||
| ||||||||||||||||
Check that all transitive edges are added. | ||||||||||||||||
| ||||||||||||||||
Check that no edges are added between components. | ||||||||||||||||
Produced by Haddock version 2.4.2 |