flix

0.78.0
Prelude / Fs / FileSize

FileSize

Effect for reading the size of a file, and its functions.

eff FileSizeSource

Effect for reading 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.

Definitions

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

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