def form.one.dq

emerging-ezhttp@0.21.0.0 · src/form.bend:143

import Base

143# a character of a quoted name, once it is known whether it is `"`: as %22
144def form.one.dq(+cp: U32, rest: String, dq: Bool) -> String:
145  match dq:
146    case True{}:
147      "%22" ++ rest
148    case False{}:
149      form.one.cr(cp, rest, U32.is_eq(cp, 13))