def one.dq

emerging-ezhttp@0.21.0.0 · src/html.bend:15

import emerging-ezhttp@0.21.0.0/src/html.bend as Html
import Base

15# one character that is not `&`, `<` or `>`
16def one.dq(+c: Char, rest: String, hit: Bool) -> String:
17  match hit:
18    case True{}:
19      "&#34;" ++ rest
20    case False{}:
21      one.sq(c, rest, Char.is_eq(c, '\''))

Uses (6)

Used by (1)