Fs.ReadLines
eff ReadLinesSourceAn effect used to read the lines of a file.
Use the ReadLines.runWithFileRead handler.
Operations
def readLines(f: String): Result[IoError, List[String]] \ ReadLines
SourceReturns a list of all lines in the given file f.
Definitions
def runWithFileRead(f: Unit -> a \ ef): a \ (ef - ReadLines) + FileRead
SourceHandles the ReadLines effect of the given function f using the FileRead effect.