System.Posix.Timer.Types

Definitions

data Which : Type

Totality: total
Visibility: public export
Constructors:

ITIMER_REAL : Which

ITIMER_VIRTUAL : Which

ITIMER_PROF : Which

Hints:

Eq Which

Finite Which

Ord Which

Show Which

data ClockId : Type

Totality: total
Visibility: public export
Constructors:

CLOCK_REALTIME : ClockId

CLOCK_MONOTONIC : ClockId

CLOCK_PROCESS_CPUTIME_ID : ClockId

CLOCK_THREAD_CPUTIME_ID : ClockId

Hints:

Eq ClockId

Finite ClockId

Ord ClockId

Show ClockId

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