flix

0.78.0
Prelude / Fs / WriteBytes

WriteBytes

Effect for writing bytes to a file, and its functions.

eff WriteBytesSource

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