flix

0.78.0
Prelude / Fs / WriteLines

WriteLines

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

eff WriteLinesSource

Effect for writing lines to a file.

Use the WriteLines.runWithFileWrite handler.

Operations

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

Writes lines to the given file f.

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

Definitions

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

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