Fs.FileSize

eff FileSizeSource

An effect used to read the size of a file.

Use the FileSize.runWithFileStat handler.

Operations

def size(f: String): Result[IoError, Size] \ FileSize Source

Returns the size of the given file f.

def runWithFileStat(f: Unit -> a \ ef): a \ (ef - FileSize) + FileStat Source

Handles the FileSize effect of the given function f using the FileStat effect.