def tail.closed

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

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

256def tail.closed(
257  +path: String,
258  +offset: Nat,
259  table: ByteMemTable.Table
260) -> IO(Result<&1, &1, U32 & String, ByteMemTable.Table>):
261  do IO<Result<&1, &1, U32 & String, ByteMemTable.Table>>:
262    truncated : Result<&1, &1, U32 & String, Unit> <- Fs.truncate(path, offset)
263    tail.truncated(truncated, path, table)