def text.digits.by

ezsys@0.1.0.0 · src/str.bend:479

import Base

479# the longer text is the greater; texts of one length compare code point
480# by code point
481def text.digits.by(chr: Cmp, +lhs: String, +rhs: String) -> Cmp:
482  match chr:
483    case LT{}:
484      LT{}
485    case EQ{}:
486      String.order(lhs, rhs)
487    case GT{}:
488      GT{}