Const
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
Generates a partial order of
Map<K, V>from the total orders ofKandV.The reason why it requires
Ords is the algorithm compares their entry in sorted order.