def record.delete.valid

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

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

87def record.delete.valid(
88  tag: U32,
89  key: Bytes.Bytes,
90  +key_len: U32,
91  valid: Bool
92) -> Result<&1, &1, Error, Bytes.Bytes>:
93  match valid:
94    case False{}:
95      Fail{TooLarge{}}
96    case True{}:
97      Done{Bytes.concat([u8_bytes(tag), u32_bytes(key_len), key])}