Idris2Doc : System.Posix.Timer.Types

System.Posix.Timer.Types

(source)

Definitions

dataWhich : Type
Totality: total
Visibility: public export
Constructors:
ITIMER_REAL : Which
ITIMER_VIRTUAL : Which
ITIMER_PROF : Which

Hints:
EqWhich
FiniteWhich
OrdWhich
ShowWhich
dataClockId : Type
Totality: total
Visibility: public export
Constructors:
CLOCK_REALTIME : ClockId
CLOCK_MONOTONIC : ClockId
CLOCK_PROCESS_CPUTIME_ID : ClockId
CLOCK_THREAD_CPUTIME_ID : ClockId

Hints:
EqClockId
FiniteClockId
OrdClockId
ShowClockId
whichCode : Which->Bits8
Totality: total
Visibility: public export
clockCode : ClockId->Bits8
Totality: total
Visibility: public export
timeval_size : Bits32
Totality: total
Visibility: public export
itimerval_size : Bits32
Totality: total
Visibility: public export
itimerspec_size : Bits32
Totality: total
Visibility: public export
CLOCKS_PER_SEC : ClockT
Totality: total
Visibility: public export