| c08bin | Data.Connection.Word |
| ceiling | Data.Connection.Class, Data.Connection |
| ceiling1 | Data.Connection.Class, Data.Connection |
| ceiling2 | Data.Connection.Class, 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 |
| 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 |
| ConnDouble | 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 |
| ConnFloat | Data.Connection.Class, Data.Connection |
| ConnInteger | 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 |
| counitL | Data.Connection.Conn |
| counitR | Data.Connection.Conn |
| covers | |
| 1 (Function) | Data.Connection.Float |
| 2 (Function) | Data.Connection.Double |