Fs.IsReadable

eff IsReadableSource

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

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

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