flix

0.78.0
Prelude / Fs / IsReadable

IsReadable

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

eff IsReadableSource

Effect for checking whether a file is readable.

Use the IsReadable.runWithFilePermission handler.

Operations

def isReadable(f: String): Result[IoError, Bool] \ IsReadable§ Source

Returns true if the given file f is readable.

Definitions

def runWithFilePermission(f: Unit -> a \ ef): a \ (ef - IsReadable) + FilePermission§ Source

Handles the IsReadable effect of the given function f using the FilePermission effect.