Package-level declarations
Functions
Link copied to clipboard
fun <Element> KoneList.Companion.lengthLexicographicOrder(elementOrder: Order<Element>): Order<KoneList<Element>>
Returns an Order instance for KoneList comparing lists first by length and then lexicographically based on the given elementOrder.
Link copied to clipboard
fun <Element> KoneList.Companion.lexicographicOrder(elementOrder: Order<Element>): Order<KoneList<Element>>
fun <Element> KoneList.Companion.lexicographicOrder(elementOrder: Order<Maybe<Element>>): Order<KoneList<Element>>
Returns an Order instance for KoneList comparing lists lexicographically based on the given elementOrder.
Link copied to clipboard
fun <Element> KoneList.Companion.reification(elementReification: Reification<Element>): Reification<KoneList<Element>>
Returns a Reification instance for KoneList based on the given elementReification.