def record.put.valid

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

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

109def record.put.valid(
110  key: Bytes.Bytes,
111  +key_len: U32,
112  value: Bytes.Bytes,
113  +value_len: U32,
114  valid: Bool
115) -> Result<&1, &1, Error, Bytes.Bytes>:
116  match valid:
117    case False{}:
118      Fail{TooLarge{}}
119    case True{}:
120      Done{Bytes.concat([Bytes.new(1), u32_bytes(key_len), key,
121        u32_bytes(value_len), value])}