def read.step

ezsys@0.1.0.0 · src/step.bend:28

import Base

28# what one read's answer means, with the text read before it
29def read.step(res: Result<&1, &1, U32 & String, String>, got: String) -> Read:
30  match res:
31    case Fail{error}:
32      ReadStop{Fail{error}}
33    case Done{+text}:
34      read.more(String.is_empty(text), text, got)