System.Linux.Eventfd.Flags

Definitions

record EventfdFlags : Type

Totality: total
Visibility: public export
Constructor: 

F : Bits32 -> EventfdFlags

Projection: 

.flags : EventfdFlags -> Bits32

Hints:

Eq EventfdFlags

Monoid EventfdFlags

Ord EventfdFlags

Semigroup EventfdFlags

Show EventfdFlags

.flags : EventfdFlags -> Bits32

Totality: total
Visibility: public export

flags : EventfdFlags -> Bits32

Totality: total
Visibility: public export

EFD_CLOEXEC : EventfdFlags

Totality: total
Visibility: public export

EFD_NONBLOCK : EventfdFlags

Totality: total
Visibility: public export

EFD_SEMAPHORE : EventfdFlags

Totality: total
Visibility: public export