NOTE: the latest version is 5.0.2
String Ordering
String
Ordering
Order Strings by Chars first to last, specifying a Char Ordering:
Order
Char
import Order import Char.Order import String.Order Order.with (String.Order.earlier (Char.Order.aToZ Char.Order.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
Tag for earlier
earlier
Wrapper tag for Earlier
Earlier
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