def create.written

mylsm-lsm-store@0.6.0.1 · src/ByteWalIo.bend:447

import Base

447def create.written(
448  pair: File & Result<&1, &1, U32 & String, Unit>,
449  +path: String
450) -> IO(Result<&1, &1, U32 & String, Unit>):
451  match pair:
452    case (file, result):
453      do IO<Result<&1, &1, U32 & String, Unit>>:
454        _closed : Unit <- File.close(file)
455        create.closed(result, path)