~/jendhub

def record.encode.delete

mylsm-lsm-store@0.6.0.1 · src/Wal.bend:171

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

171def record.encode.delete(
172  key_result: Result<&1, &1, U32 & String, Bytes.Bytes>
173) -> Result<&1, &1, Error, Bytes.Bytes>:
174  match key_result:
175    case Fail{_}:
176      Fail{TooLarge{}}
177    case Done{key}:
178      record.delete(Bytes.length(key))

Uses (8)

Used by (1)