flix

0.78.0
Prelude / Fs / AppendFile

AppendFile

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

eff AppendFileSource

Effect for appending a string to a file.

Use the AppendFile.runWithFileWrite handler.

Operations

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

Appends str to the given file f.

Creates the file f if it does not exist.

Definitions

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

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