NOTE: the latest version is 11.2.0
Order Strings
Order
String
Order Strings by Chars first to last, specifying a Char Ordering:
Char
Ordering
import Case import Char.Order import String.Order String.Order.greaterEarlier (Char.Order.alphabetically Case.lowerUpper) "hello, human!" "hello, Human" --> LT
For string-number chunked text, you can use mcordova47/: NaturalOrdering.compare
mcordova47/
NaturalOrdering.compare
NaturalOrdering.compare "abc2.tff" "abc10.tff" --→ LT
Personally, I'd just store the String as something like
type TextChunked = TextChunked ( String, Maybe (List ( Int, String )) )
and order that to avoid converting too often
OrderStrings byChars first to last, specifying aCharOrdering:For string-number chunked text, you can use
mcordova47/:NaturalOrdering.comparePersonally, I'd just store the
Stringas something likeand order that to avoid converting too often