| ceiling | Data.Connection.Class, Data.Connection |
| ceiling1 | Data.Connection.Class, Data.Connection |
| ceiling2 | Data.Connection.Class, Data.Connection |
| ceilingWith | Data.Connection.Conn, Data.Connection |
| ceilingWith1 | Data.Connection.Conn, Data.Connection |
| ceilingWith2 | Data.Connection.Conn, Data.Connection |
| chain_22 | Data.Order.Property |
| chain_31 | Data.Order.Property |
| choice | Data.Connection.Conn, Data.Connection.Class, Data.Connection |
| closed | Data.Connection.Property |
| closedL | Data.Connection.Property |
| closedR | Data.Connection.Property |
| Coheyting | Data.Lattice |
| coheyting | Data.Lattice |
| coheyting0 | Data.Lattice.Property |
| coheyting1 | Data.Lattice.Property |
| coheyting10 | Data.Lattice.Property |
| coheyting11 | Data.Lattice.Property |
| coheyting12 | Data.Lattice.Property |
| coheyting13 | Data.Lattice.Property |
| coheyting14 | Data.Lattice.Property |
| coheyting15 | Data.Lattice.Property |
| coheyting16 | Data.Lattice.Property |
| coheyting17 | Data.Lattice.Property |
| coheyting18 | Data.Lattice.Property |
| coheyting19 | Data.Lattice.Property |
| coheyting2 | Data.Lattice.Property |
| coheyting20 | Data.Lattice.Property |
| coheyting3 | Data.Lattice.Property |
| coheyting4 | Data.Lattice.Property |
| coheyting5 | Data.Lattice.Property |
| coheyting6 | Data.Lattice.Property |
| coheyting7 | Data.Lattice.Property |
| coheyting8 | Data.Lattice.Property |
| coheyting9 | Data.Lattice.Property |
| compare | Data.Order.Syntax |
| comparing | Data.Order.Syntax |
| Conn | |
| 1 (Type/Class) | Data.Connection.Conn, Data.Connection.Class, Data.Connection |
| 2 (Data Constructor) | Data.Connection.Conn, Data.Connection.Class, Data.Connection |
| conn | Data.Connection.Class, Data.Connection |
| Connection | Data.Connection.Class, Data.Connection |
| connex | Data.Order.Property |
| ConnExtended | Data.Connection.Class, Data.Connection |
| connex_le | Data.Order.Property |
| ConnInteger | Data.Connection.Class, Data.Connection |
| ConnK | Data.Connection.Conn, Data.Connection.Class, Data.Connection |
| ConnL | |
| 1 (Type/Class) | Data.Connection.Conn, Data.Connection.Class, Data.Connection |
| 2 (Data Constructor) | Data.Connection.Conn, Data.Connection.Class, Data.Connection |
| connL | Data.Connection.Class, Data.Connection |
| ConnR | |
| 1 (Type/Class) | Data.Connection.Conn, Data.Connection.Class, Data.Connection |
| 2 (Data Constructor) | Data.Connection.Conn, Data.Connection.Class, Data.Connection |
| connR | Data.Connection.Class, Data.Connection |
| ConnRational | Data.Connection.Class, Data.Connection |
| contains | Data.Order.Interval |
| converseL | Data.Lattice |
| converseR | Data.Lattice |
| coreflexive | Data.Order.Property |
| counit | Data.Connection.Conn, Data.Connection |