Generates a partial order of Map<K, V> from the total orders of K and V.
Map<K, V>
K
V
The reason why it requires Ords is the algorithm compares their entry in sorted order.
Ord
Generated using TypeDoc
Generates a partial order of
Map<K, V>
from the total orders ofK
andV
.The reason why it requires
Ord
s is the algorithm compares their entry in sorted order.