def quote_path

emerging-ezhttp@0.21.0.0 · main.bend:26

import Base
import emerging-ezhttp@0.21.0.0/src/pct.bend as Pct

26# percent-encode a path (RFC 3986 §2.1), as Python's urllib.parse.quote(text):
27# unreserved characters and "/" stay, every other character becomes %XX per
28# UTF-8 byte, upper-case hex (SPEC.md HTTP-URL)
29def quote_path(text: String) -> String:  # noqa: L001 re-export of Pct.quote (the path form)
30  Pct.quote(True{}, text)