def write.bytes

mylsm-lsm-store@0.6.0.1 · src/ByteManifestIo.bend:136

import Base
import mylsm-lsm-store@0.6.0.1/src/Fs.bend as Fs
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

136def write.bytes(
137  directory: String,
138  bytes: Bytes.Bytes,
139  opened: Result<&1, &1, U32 & String, File>
140) -> IO(Result<&1, &1, U32 & String, Unit>):
141  match opened:
142    case Fail{error}: IO.pure(Result<&1, &1, U32 & String, Unit>, Fail{error})
143    case Done{file}:
144      do IO<Result<&1, &1, U32 & String, Unit>>:
145        result : File & Result<&1, &1, U32 & String, Unit> <- Fs.write_bytes(file, bytes)
146        write.file.synced(directory, result)