def write.encoder.opened

mylsm-lsm-store@0.6.0.1 · src/SstStreamIo.bend:543

import Base
import mylsm-lsm-store@0.6.0.1/src/SstFile.bend as SstFile

543def write.encoder.opened(
544  +path: String,
545  fuel: Nat,
546  encoder: SstFile.Encoder,
547  opened: Result<&1, &1, U32 & String, File>
548) -> IO(Result<&1, &1, U32 & String, Unit>):
549  match opened:
550    case Fail{error}:
551      IO.pure(Result<&1, &1, U32 & String, Unit>, Fail{error})
552    case Done{file}:
553      write.step(fuel, path, WriteNext{file, encoder})