Fs.DeleteFile

eff DeleteFileSource

An effect used to delete 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.

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

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