~/jendhub

def truncate

mylsm-lsm-store@0.6.0.1 · src/Fs.bend:384

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

384# Handle truncate in the filesystem effects.
385def truncate(path: String, offset: Nat) -> IO(Result<&1, &1, U32 & String, Unit>):
386  import "./effs/truncate.c"
387  import "./effs/truncate.js"

Uses (7)

Used by (1)