flix

0.78.0
Prelude / Fs / ModificationTime

ModificationTime

Effect for reading the last modification time of a file, and its functions.

eff ModificationTimeSource

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