flix

0.69.3

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.