def record.encode.put

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

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

158def record.encode.put(
159  key_result: Result<&1, &1, U32 & String, Bytes.Bytes>,
160  value_result: Result<&1, &1, U32 & String, Bytes.Bytes>
161) -> Result<&1, &1, Error, Bytes.Bytes>:
162  match key_result value_result:
163    case Fail{_} _:
164      Fail{TooLarge{}}
165    case _ Fail{_}:
166      Fail{TooLarge{}}
167    case Done{key} Done{value}:
168      record.put(Bytes.length(key), Bytes.length(value))