Idris2Doc : System.Clock

System.Clock

dataClock : ClockType -> Type
Totality: total
Constructor: 
MkClock : Integer -> Integer -> Clocktype
dataClockType : 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
dataClockTypeMandatory : 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.

Totality: total
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)).

Totality: total
clockTimeReturnType : ClockType -> Type
Totality: total
isClockMandatory : ClockType -> ClockTypeMandatory
Totality: total
makeDuration : Integer -> Integer -> ClockDuration
  Make a duration value.

Totality: total
nanoseconds : Clocktype -> Integer
  A helper to deconstruct a Clock.

Totality: total
seconds : Clocktype -> Integer
  A helper to deconstruct a Clock.

Totality: total
showTime : Nat -> Nat -> Clocktype -> String
Totality: total
subtractDuration : Clocktype -> ClockDuration -> Clocktype
  Subtract a duration from a clock value.

Totality: total
timeDifference : Clocktype -> Clocktype -> ClockDuration
  Compute difference between two clocks of the same type.

Totality: total