Idris2Doc : System.Clock

System.Clock

Clock : ClockType -> Type
Totality: total
Constructor: 
MkClock : Integer -> Integer -> Clocktype
ClockType : Type
The various types of system clock available.
Totality: total
Constructors:
UTC : ClockType
Monotonic : ClockType
Duration : ClockType
Process : ClockType
Thread : ClockType
GCCPU : ClockType
GCReal : ClockType
ClockTypeMandatory : Type
Note: Back-ends are required to implement UTC, monotonic time, CPU time
in current process/thread, and time duration; the rest are optional.
Totality: total
Constructors:
Mandatory : ClockTypeMandatory
Optional : ClockTypeMandatory
addDuration : Clocktype -> ClockDuration -> Clocktype
Add a duration to a clock value.
clockTime : (typ : ClockType) -> IO (clockTimeReturnTypetyp)
Fetch the system clock of a given kind. If the clock is mandatory,
we return a (Clock type) else (Maybe (Clock type)).
clockTimeReturnType : ClockType -> Type
isClockMandatory : ClockType -> ClockTypeMandatory
makeDuration : Integer -> Integer -> ClockDuration
Make a duration value.
nanoseconds : Clocktype -> Integer
A helper to deconstruct a Clock.
seconds : Clocktype -> Integer
A helper to deconstruct a Clock.
subtractDuration : Clocktype -> ClockDuration -> Clocktype
Subtract a duration from a clock value.
timeDifference : Clocktype -> Clocktype -> ClockDuration
Compute difference between two clocks of the same type.