flix

0.78.0
Prelude / Fs / Truncate

Truncate

Effect for truncating a file, and its functions.

eff TruncateSource

Effect for truncating a file.

Use the Truncate.runWithFileWrite handler.

Operations

def truncate(f: String): Result[IoError, Unit] \ Truncate§ Source

Truncates the given file f.

Definitions

def runWithFileWrite(f: Unit -> a \ ef): a \ (ef - Truncate) + FileWrite§ Source

Handles the Truncate effect of the given function f using the FileWrite effect.