Fs.CopyFile

eff CopyFileSource

An effect used to copy a file.

Use the CopyFile.runWithFileWrite handler.

Operations

def copyWith(src: { src = String }, dst: String, opts: Set[CopyOption]): Result[IoError, Unit] \ CopyFile Source

Copies the file src to dst with the given options.

def copy(src: { src = String }, dst: String): Result[IoError, Unit] \ CopyFile Source

Convenience function: copies src to dst with no options.

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

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