Fs.MoveFile

eff MoveFileSource

An effect used to move (rename) 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.