flix

0.78.0
Prelude / Fs / CreationTime

CreationTime

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

eff CreationTimeSource

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