def text.lstrip.if

ezsys@0.1.0.0 · src/str.bend:25

import Base

25# a character at the start: dropped when it is whitespace, and the rest
26# stripped too; else the text is kept from it
27def text.lstrip.if(
28  sp: Bool,
29  hd: Char,
30  tl: String,
31  more: Unit -> String
32) -> String:
33  match sp:
34    case True{}:
35      more(Unit{})
36    case False{}:
37      SCon{hd, tl}