flix

0.78.0
Prelude / Fs / IsExecutable

IsExecutable

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

eff IsExecutableSource

Effect for checking whether a file is executable.

Use the IsExecutable.runWithFilePermission handler.

Operations

def isExecutable(f: String): Result[IoError, Bool] \ IsExecutable§ Source

Returns true if the given file f is executable.

Definitions

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

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