def text.upper

ezsys@0.1.0.0 · src/str.bend:424

import Base

424# the text in uppercase, character by character
425def text.upper(txt: String) -> String:
426  match txt:
427    case SNil{}:
428      SNil{}
429    case SCon{h, t}:
430      text.upper.char(h) ++ text.upper(t)