flix

0.69.3

Fs.ModificationTime

eff ModificationTimeSource

An effect used to read the last modification time of a file.

Use the ModificationTime.runWithFileTime handler.

Operations

def modificationTime(f: String): Result[IoError, Int64] \ ModificationTime Source

Returns the last-modified timestamp of the given file f in milliseconds since the epoch.

Definitions

def runWithFileTime(f: Unit -> a \ ef): a \ (ef - ModificationTime) + FileTime Source

Handles the ModificationTime effect of the given function f using the FileTime effect.