flix

0.69.3

Fs.AccessTime

eff AccessTimeSource

An effect used to read 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.