flix

0.75.2

Fs.CreationTime

eff CreationTimeSource

An effect used to read the creation time of a file.

Use the CreationTime.runWithFileTime handler.

Operations

def creationTime(f: String): Result[IoError, Int64] \ CreationTime§ Source

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

Definitions

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

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