flix

0.78.0
Prelude / Fs / IsWritable

IsWritable

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

eff IsWritableSource

Effect for checking whether a file is writable.

Use the IsWritable.runWithFilePermission handler.

Operations

def isWritable(f: String): Result[IoError, Bool] \ IsWritable§ Source

Returns true if the given file f is writable.

Definitions

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

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