def name.walk

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

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

142def name.walk(fuel: Nat, r: Bytes.Cursor & Step) -> Bytes.Cursor & Bool:
143  match fuel:
144    case 0n:
145      (c, s) = r
146      (c, False{})
147    case 1n+f:
148      (c, s) = r
149      match s:
150        case Stop{ok}:
151          (c, ok)
152        case Go{}:
153          name.walk(f, name.step(Bytes.Cursor.u8(c)))