def record.value.finish.checked

mylsm-lsm-store@0.6.0.1 · src/SstFile.bend:95

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

95# Encode one mutation as a tagged, length-delimited record.
96def record.value.finish.checked(
97  key_bytes: Bytes.Bytes,
98  +key_len: U32,
99  value_bytes: Bytes.Bytes,
100  +value_len: U32,
101  valid: Bool
102) -> Result<&1, &1, Error, Bytes.Bytes>:
103  match valid:
104    case False{}:
105      Fail{TooLarge{}}
106    case True{}:
107      Done{Bytes.concat([u8_bytes(0), u32_bytes(key_len), key_bytes,
108        u32_bytes(value_len), value_bytes])}