def quote.plus

emerging-ezhttp@0.21.0.0 · src/qs.bend:308

import Base

308# percent-encode a string with a space as `+`, as urllib.parse.quote_plus
309def quote.plus(s: String) -> String:
310  match s:
311    case SNil{}:
312      SNil{}
313    case SCon{Chr{+cp}, tail}:
314      plus.one(cp, quote.plus(tail), U32.is_eq(cp, 32))