def name.advance

bend-kit-dns@0.7.0.0 · dns.bend:104

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

104def name.advance(stop: Bool, r: Bytes.Cursor & Bool) -> Bytes.Cursor & Step:
105  (c, ok) = r
106  match ok:
107    case False{}:
108      (c, Stop{False{}})
109    case True{}:
110      (c, Bool.pick(Step, stop, Stop{True{}}, Go{}))