flix

0.78.0
Prelude / Fs / ReadFile

ReadFile

Effect for reading the contents of a file as a string, and its functions.

eff ReadFileSource

Effect for reading 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.