Fs.IsExecutable

eff IsExecutableSource

An effect used to check if 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.

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

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