flix

0.78.0
Prelude / Fs / DeleteFile

DeleteFile

Effect for deleting a file, and its functions.

eff DeleteFileSource

Effect for deleting a file.

Use the DeleteFile.runWithFileWrite handler.

Operations

def delete(f: String): Result[IoError, Unit] \ DeleteFile§ Source

Deletes the given file f.

Fails if the file does not exist.

Definitions

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

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