def text.replace.gaps

ezsys@0.1.0.0 · src/str.bend:119

import Base

119# an empty `old`: `new` after every character
120def text.replace.gaps(txt: String, +new: String) -> String:
121  match txt:
122    case SNil{}:
123      SNil{}
124    case SCon{h, t}:
125      SCon{h, new ++ text.replace.gaps(t, new)}