flix

0.78.0
Prelude / Fs / AppendBytes

AppendBytes

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

eff AppendBytesSource

Effect for appending bytes to a file.

Use the AppendBytes.runWithFileWrite handler.

Operations

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

Appends data to the given file f.

Creates the file f if it does not exist.

Definitions

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

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