~/jendhub

def stats.remove.base.length

mylsm-lsm-store@0.6.0.1 · src/ByteDurableDb.bend:1569

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

1569def stats.remove.base.length(
1570  base_stats: VisibleStats.Stats,
1571  key_bytes: Nat,
1572  old_value: Maybe<&1, Bytes.Bytes>
1573) -> VisibleStats.Stats:
1574  match old_value:
1575    case None{}: base_stats
1576    case Some{Bytes.Bytes{+value_len, _}}:
1577      VisibleStats.result(VisibleStats.removed(base_stats, key_bytes,
1578        U32.to_nat(value_len)))

Uses (7)

Used by (1)