System.Linux.Timerfd.Flags

Definitions

record TimerfdFlags : Type

Totality: total
Visibility: public export
Constructor: 

F : Bits32 -> TimerfdFlags

Projection: 

.flags : TimerfdFlags -> Bits32

Hints:

Eq TimerfdFlags

Monoid TimerfdFlags

Ord TimerfdFlags

Semigroup TimerfdFlags

Show TimerfdFlags

.flags : TimerfdFlags -> Bits32

Totality: total
Visibility: public export

flags : TimerfdFlags -> Bits32

Totality: total
Visibility: public export

TFD_CLOEXEC : TimerfdFlags

Totality: total
Visibility: public export

TFD_NONBLOCK : TimerfdFlags

Totality: total
Visibility: public export

TFD_TIMER_ABSTIME : Bits32

Totality: total
Visibility: public export