flix

0.78.0
Prelude / Fs / FileExists

FileExists

Effect for checking whether a file exists, and its functions.

eff FileExistsSource

Effect for checking whether a file exists.

Use the FileExists.runWithFileTest handler.

Operations

def exists(f: String): Result[IoError, Bool] \ FileExists§ Source

Returns true if the given file f exists.

Definitions

def runWithFileTest(f: Unit -> a \ ef): a \ (ef - FileExists) + FileTest§ Source

Handles the FileExists effect of the given function f using the FileTest effect.