Fs.IsWritable

eff IsWritableSource

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

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

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