def head.id

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

import bend-kit-dns@0.7.0.0/dns.bend as Dns

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

322def head.id(+id: U32, r: Bytes.Cursor & Maybe<&2, U32>) -> Maybe<&2, String>:
323  (c, m) = r
324  match m:
325    case None{}:
326      None{}
327    case Some{got}:
328      head.id.if(U32.is_eq(id, got), c)

Uses (8)

Used by (1)

bend-kit-dns@0.7.0.0/dns:answer