def one.amp

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

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

import Base

39# one character, once it is known whether it is `&`
40def one.amp(+c: Char, rest: String, hit: Bool) -> String:
41  match hit:
42    case True{}:
43      "&amp;" ++ rest
44    case False{}:
45      one.lt(c, rest, Char.is_eq(c, '<'))

Uses (6)

Used by (1)

emerging-ezhttp@0.21.0.0/src/html:one