~/jendhub

def wsp.lead

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

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

24# a string without its leading WSP
25def wsp.lead(s: String) -> String:
26  match s:
27    case SNil{}:
28      SNil{}
29    case SCon{+h, +t}:
30      wsp.lead.if(t, h, wsp(h), _u => wsp.lead(t))

Uses (3)

Used by (1)