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.