def wsp.lead.if

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

import Base

14# one character of the leading strip: dropped, and the strip goes on, when
15# it is WSP
16def wsp.lead.if(t: String, +h: Char, space: Bool, rest: Unit -> String)
17  -> String:
18  match space:
19    case True{}:
20      rest(Unit{})
21    case False{}:
22      SCon{h, t}