FileWriteWithResult

eff FileWriteWithResultSource

An effect used to write to the file system.

Operations

def append(data: { str = String }, f: String): Result[IoError, Unit] Source

Appends str to the given file f.

Creates the file f if it does not exist.

def appendBytes(data: Vector[Int8], f: String): Result[IoError, Unit] Source

Appends data to the given file f.

Creates the file f if it does not exist.

def appendLines(data: { lines = List[String] }, f: String): Result[IoError, Unit] Source

Appends lines to the given file f.

Creates the file f if it does not exist.

def mkDir(d: String): Result[IoError, Unit] Source

Creates the directory d.

def mkDirs(d: String): Result[IoError, Unit] Source

Creates the directory d and all its parent directories.

def mkTempDir(prefix: String): Result[IoError, String] Source

Creates a new temporary directory with the given prefix.

Returns the path to the directory.

def truncate(f: String): Result[IoError, Unit] Source

Truncates the given file f.

def write(data: { str = String }, f: String): Result[IoError, Unit] Source

Writes str to the given file f.

Creates file f if it does not exist. Overwrites it if it exists.

def writeBytes(data: Vector[Int8], f: String): Result[IoError, Unit] Source

Writes data to the given file f.

Creates file f if it does not exist. Overwrites it if it exists.

def writeLines(data: { lines = List[String] }, f: String): Result[IoError, Unit] Source

Writes lines to the given file f.

Creates f if it does not exist. Overwrites it if it exists.

def handle(f: a -> b \ ef): a -> b \ (ef - FileWriteWithResult) + IO Source

Handles the FileWriteWithResult effect of the given function f.

In other words, re-interprets the FileWriteWithResult effect using the IO effect.

def runWithIO(f: Unit -> a \ ef): a \ (ef - FileWriteWithResult) + IO Source

Runs the FileWriteWithResult effect of the given function f.

In other words, re-interprets the FileWriteWithResult effect using the IO effect.