flix

0.78.0
Prelude / Fs / AppendLines

AppendLines

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

eff AppendLinesSource

Effect for appending lines to a file.

Use the AppendLines.runWithFileWrite handler.

Operations

def appendLines(data: { lines = List[String] }, f: String): Result[IoError, Unit] \ AppendLines§ Source

Appends lines to the given file f.

Creates the file f if it does not exist.

Definitions

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

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