FileWrite

eff FileWriteSource

An effect used to write to the file system.

All operations on this effect are infallible. If an operation fails the handler must deal with it.

Operations

def append(data: { str = String }, f: String): Unit \ FileWrite Source

Appends str to the given file f.

Creates the file f if it does not exist.

def appendBytes(data: Vector[Int8], f: String): Unit \ FileWrite 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): Unit \ FileWrite Source

Appends lines to the given file f.

Creates the file f if it does not exist.

def mkDir(d: String): Unit \ FileWrite Source

Creates the directory d.

def mkDirs(d: String): Unit \ FileWrite Source

Creates the directory d and all its parent directories.

def mkTempDir(prefix: String): String \ FileWrite Source

Creates a new temporary directory with the given prefix.

Returns the path to the directory.

def truncate(f: String): Unit \ FileWrite Source

Truncates the given file f.

def write(data: { str = String }, f: String): Unit \ FileWrite 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): Unit \ FileWrite 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): Unit \ FileWrite 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 -> Result[IoError, b] \ (ef - FileWrite) + IO Source

Handles the FileWrite effect of the given function f.

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

def runWithIO(f: Unit -> a \ ef): Result[IoError, a] \ (ef - FileWrite) + IO Source

Runs the FileWrite effect of the given function f.

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