flix

0.78.0
Prelude / Fs / ReadLines

ReadLines

Effect for reading the lines of a file, and its functions.

eff ReadLinesSource

Effect for reading the lines of a file.

Use the ReadLines.runWithFileRead handler.

Operations

def readLines(f: String): Result[IoError, List[String]] \ ReadLines§ Source

Returns a list of all lines in the given file f.

Definitions

def runWithFileRead(f: Unit -> a \ ef): a \ (ef - ReadLines) + FileRead§ Source

Handles the ReadLines effect of the given function f using the FileRead effect.