Prelude / Fs / MoveFile

MoveFile

Effect for moving or renaming a file or directory, and its functions.

eff MoveFileSource

Effect for moving or renaming a file or directory.

Use the MoveFile.runWithFileWrite handler.

Operations

def moveWith(src: { src = String }, dst: String, opts: Set[MoveOption]): Result[IoError, Unit] \ MoveFile§ Source

Moves (renames) the file or directory src to dst with the given options.

def move(src: { src = String }, dst: String): Result[IoError, Unit] \ MoveFile§ Source

Convenience function: moves src to dst with no options.

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

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