def text.lower.char

ezsys@0.1.0.0 · src/str.bend:404

import ezsys@0.1.0.0/src/str.bend as Str
import Base

404# one character in lowercase
405def text.lower.char(chr: Char) -> String:
406  match chr:
407    case Chr{+x}:
408      text.case.of(text.lower.multi(), text.lower.rules(), x)

Uses (5)

Used by (1)