| Cast | |
| 1 (Type/Class) | Data.Connection.Cast, Data.Connection |
| 2 (Data Constructor) | Data.Connection.Cast, Data.Connection |
| cast | Data.Connection.Class, Data.Connection |
| CastL | Data.Connection.Cast, Data.Connection |
| castL | Data.Connection.Class, Data.Connection |
| CastR | Data.Connection.Cast, Data.Connection |
| castR | Data.Connection.Class, Data.Connection |
| ceiling | Data.Connection.Cast, Data.Connection |
| ceiling1 | Data.Connection.Cast, Data.Connection |
| ceiling2 | Data.Connection.Cast, Data.Connection |
| Centi | Data.Connection.Fixed |
| chain_22 | Data.Order.Property |
| chain_31 | Data.Order.Property |
| choice | Data.Connection.Cast, 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 |
| Connection | Data.Connection.Class |
| connex | Data.Order.Property |
| connex_le | Data.Order.Property |
| contains | Data.Order.Interval |
| converseL | Data.Lattice |
| converseR | Data.Lattice |
| coreflexive | Data.Order.Property |