def read.name.decoded

mylsm-lsm-store@0.6.0.1 · src/Manifest.bend:234

import mylsm-lsm-store@0.6.0.1/src/Manifest.bend as Manifest
import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

234def read.name.decoded(
235  cursor: Bytes.Cursor,
236  limit: Bytes.CursorLimit,
237  decoded: Result<&1, &1, U32 & String, String>
238) -> Bytes.Cursor & Maybe<&2, String>:
239  match decoded:
240    case Fail{_}:
241      (Bytes.Cursor.leave(cursor, limit), None{})
242    case Done{+name}:
243      read.name.text(cursor, limit, name, name.text.valid(name))

Uses (11)

Used by (1)