def one.of

emerging-ezhttp@0.21.0.0 · src/pct.bend:71

import Base

71# one character, once it is known whether the form keeps it
72def one.of(+cp: U32, rest: String, kept: Bool) -> String:
73  match kept:
74    case True{}:
75      SCon{Chr{cp}, rest}
76    case False{}:
77      pct(utf8(cp), rest)