def count.push

bolt@1.27.0.0 · src/lsp/frame.bend:256

import Base

256# one more char's digit onto the count read so far; None once one is no digit
257def count.push(md: Maybe<&2, Digit>, acc: Maybe<&2, List<&2, Digit>>) -> Maybe<&2, List<&2, Digit>>:
258  match md acc:
259    case Some{d} Some{ds}:
260      Some{d <> ds}
261    case None{} _:
262      None{}
263    case Some{d} None{}:
264      None{}