def close

mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockReader.bend:722

import Base

722# Closes the file owned by a reader that has not reached its terminal state.
723def close(reader: Reader) -> IO(Result<&1, &1, U32 & String, Unit>):
724  match reader:
725    case Reader{file, _}:
726      do IO<Result<&1, &1, U32 & String, Unit>>:
727        _closed : Unit <- File.close(file)
728        return Done{Unit{}}