lengthLexicographicOrder
fun <Element> KoneList.Companion.lengthLexicographicOrder(elementOrder: Order<Element>): Order<KoneList<Element>>(source)
Returns an Order instance for KoneList comparing lists first by length and then lexicographically based on the given elementOrder.
A shorter list is considered to be less than a longer one. If the lists have equal lengths, they are compared element by element.
Receiver
The list companion object.
Return
An Order instance for lists comparing them by length and then lexicographically.
Parameters
elementOrder
The order context for elements used to compare corresponding elements of the lists.
Type Parameters
Element
The element type.