def string_push

qasim-bend-kit@0.1.0.2 · libs/JSON.bend:405

import Base

405def string_push(c: Char,
406                result: Result<&1, &1, Error, StringScan>) -> Result<&1, &1, Error, StringScan>:
407    match result:
408        case Fail{e}:
409            Fail{e}
410        case Done{scan}:
411            match scan:
412                case StringScan{s, rest}:
413                    Done{StringScan{SCon{c, s}, rest}}