def wsp.trim

emerging-ezhttp@0.21.0.0 · src/echo.bend:32

import emerging-ezhttp@0.21.0.0/src/echo.bend as Echo

import Base

32# a string without its leading and trailing WSP
33def wsp.trim(s: String) -> String:
34  String.reverse(wsp.lead(String.reverse(wsp.lead(s))))

Uses (3)

Used by (1)

emerging-ezhttp@0.21.0.0/src/echo:pair.cut