def cut.at

emerging-ezjson@1.3.0.0 · src/fixed.bend:31

import Base

31# at a mark the cut is made; any other character is kept before it
32def cut.at(
33  hit: Bool,
34  ch: Char,
35  after: String,
36  more: Unit -> String & String
37) -> String & String:
38  match hit:
39    case True{}:
40      ("", after)
41    case False{}:
42      cut.put(ch, more(Unit{}))