def next.done

bend-kit-postgres@0.3.0.0 · codec.bend:651

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

651def next.done(ok: Bool, +pos: U32, +e: U32, buf: Bytes.Bytes, m: Back) -> Reader & Next:
652  match ok:
653    case True{}:
654      (Reader{buf, e}, Got{m})
655    case False{}:
656      (Reader{buf, pos}, Bad{})