flix

0.69.3

Fs.WriteBytes

eff WriteBytesSource

An effect used to write bytes to a file.

Use the WriteBytes.runWithFileWrite handler.

Operations

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

Writes data to the given file f.

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

Definitions

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

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