def amp.name

emerging-ezhttp@0.21.0.0 · src/unescape.bend:211

import Base

211# after `&`: a name character opens a name, else the `&` is text
212def amp.name(+c: Char, k: Scan -> String, name: Bool) -> String:
213  match name:
214    case True{}:
215      k(Name{SCon{c, ""}, 1n})
216    case False{}:
217      SCon{'&', text(c, k)}