flix

0.75.2

Fs.ReadLines

eff ReadLinesSource

An effect used to read 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.