flix

0.78.0
Prelude / Fs / AccessTime

AccessTime

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

eff AccessTimeSource

Effect for reading the last access time of a file.

Use the AccessTime.runWithFileTime handler.

Operations

def accessTime(f: String): Result[IoError, Int64] \ AccessTime§ Source

Returns the last access time of the given file f in milliseconds since the epoch.

Definitions

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

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