flix

0.78.0
Prelude / Fs / IsRegularFile

IsRegularFile

Effect for checking whether a path is a regular file, and its functions.

eff IsRegularFileSource

Effect for checking whether a path is a regular file.

Use the IsRegularFile.runWithFileTest handler.

Operations

def isRegularFile(f: String): Result[IoError, Bool] \ IsRegularFile§ Source

Returns true if the given file f is a regular file.

Definitions

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

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