| && | Control.Object.Setoid, Control.Object |
| /= | Control.Object.Setoid, Control.Object |
| /\ | Control.Object.Semilattice, Control.Object |
| < | Control.Object.Chain, Control.Object |
| <= | Control.Object.Chain, Control.Object |
| <> | Control.Object.Semigroup, Control.Object |
| == | Control.Object.Setoid, Control.Object |
| > | Control.Object.Chain, Control.Object |
| >< | Control.Object.Semiring, Control.Object |
| >= | Control.Object.Chain, Control.Object |
| bool | Control.Object.Setoid, Control.Object |
| Boolean | Control.Object.Setoid, Control.Object |
| Chain | Control.Object.Chain, Control.Object |
| Equal | Control.Object.Chain, Control.Object |
| False | Control.Object.Setoid, Control.Object |
| Greater | Control.Object.Chain, Control.Object |
| Group | Control.Object.Group, Control.Object |
| Infimum | Control.Object.Semilattice, Control.Object |
| inverse | Control.Object.Group, Control.Object |
| Lattice | Control.Object.Lattice, Control.Object |
| Less | Control.Object.Chain, Control.Object |
| Monoid | Control.Object.Monoid, Control.Object |
| not | Control.Object.Setoid, Control.Object |
| order | Control.Object.Chain, Control.Object |
| Ordering | Control.Object.Chain, Control.Object |
| Semigroup | Control.Object.Semigroup, Control.Object |
| Semilattice | Control.Object.Semilattice, Control.Object |
| Semiring | Control.Object.Semiring, Control.Object |
| Setoid | Control.Object.Setoid, Control.Object |
| Supremum | Control.Object.Semilattice, Control.Object |
| True | Control.Object.Setoid, Control.Object |
| unit | Control.Object.Monoid, Control.Object |
| \/ | Control.Object.Semilattice, Control.Object |
| || | Control.Object.Setoid, Control.Object |