def reopen_chunk_parse

mylsm-lsm-store@0.3.2.0 · src/Db.bend:349

import mylsm-lsm-store@0.3.2.0/src/Db.bend as Db

import Base
import mylsm-lsm-store@0.3.2.0/src/Decimal.bend as Decimal

349def reopen_chunk_parse(pair: Decimal.Parse) -> Result<&1, &1, U32 & String, ReChunk>:
350  match pair:
351    case Decimal.Rejected{error}:
352      Fail{(U32.from_nat(8n), "bad UTF-8 chunk envelope")}
353    case Decimal.Accepted{Decimal.Dec{value, rest}}:
354      Done{ReChunk{value, rest}}

Uses (9)

Used by (1)

mylsm-lsm-store@0.3.2.0/src/Db:reopen_read_loop