Index - D
| Deci | Data.Connection.Fixed |
| diffSystemTime | Data.Connection.Time |
| divide | Data.Connection.Cast, Data.Connection |
| Down | |
| 1 (Data Constructor) | Data.Order |
| 2 (Type/Class) | Data.Order |
| downL | Data.Connection.Cast |
| downR | Data.Connection.Cast |
connections-0.3.2: Orders, Galois connections, and lattices.