def write_batch.encoded

mylsm-lsm-store@0.6.0.1 · src/coordinator/ByteClient.bend:168

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

168def write_batch.encoded(
169  session: Client.Session,
170  encoded: Result<&1, &1, Wal.Error, Bytes.Bytes>
171) -> IO(Client.Session & Result<&1, &1, Client.Error, Unit>):
172  match encoded:
173    case Fail{_}:
174      IO.pure(Client.Session & Result<&1, &1, Client.Error, Unit>,
175        (session, Fail{Client.FrameTooLarge{}}))
176    case Done{payload}:
177      do IO<Client.Session & Result<&1, &1, Client.Error, Unit>>:
178        pair : Client.Session & Result<&1, &1, Client.Error, Protocol.Response> <-
179          Client.session.call(session, 8, payload)
180        return write.result(pair)