def Utf8.write.encoded

mylsm-lsm-store@0.6.0.1 · mylsm.bend:2074

import Base

2074def Utf8.write.encoded(
2075  inner: Bytes.Handle,
2076  encoded: Result<&1, &1, Utf8.Error, List<&1, Bytes.Mutation>>
2077) -> IO(Utf8.Handle & Result<&1, &1, Utf8.Error, Unit>):
2078      match encoded:
2079        case Fail{error}:
2080          IO.pure(Utf8.Handle & Result<&1, &1, Utf8.Error, Unit>,
2081            (Utf8Handle{inner}, Fail{error}))
2082        case Done{encoded}:
2083          do IO<Utf8.Handle & Result<&1, &1, Utf8.Error, Unit>>:
2084            pair : Bytes.Handle & Result<&1, &1, Bytes.Error, Unit> <- Bytes.write_batch(inner, encoded)
2085            return Utf8.write.result(pair)