flix

0.78.0
Prelude / Fs / CopyFile

CopyFile

Effect for copying a file, and its functions.

eff CopyFileSource

Effect for copying 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.

Definitions

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.