def write.encoder

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

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

555def write.encoder(
556  +path: String,
557  fuel: Nat,
558  result: Result<&1, &1, SstFile.Error, SstFile.Encoder>
559) -> IO(Result<&1, &1, U32 & String, Unit>):
560  match result:
561    case Fail{error}:
562      IO.pure(Result<&1, &1, U32 & String, Unit>, Fail{codec_error(error)})
563    case Done{encoder}:
564      do IO<Result<&1, &1, U32 & String, Unit>>:
565        opened : Result<&1, &1, U32 & String, File> <- File.open(path, "w")
566        write.encoder.opened(path, fuel, encoder, opened)