flix

0.69.3

Fs.ReadFile

eff ReadFileSource

An effect used to read the contents of a file as a string.

Use the ReadFile.runWithFileRead handler.

Operations

def read(f: String): Result[IoError, String] \ ReadFile Source

Returns a string of all the contents of the given file f.

Definitions

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

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