System.Linux.Signalfd.Flags

Definitions

record SignalfdFlags : Type

Totality: total
Visibility: public export
Constructor: 

F : Bits32 -> SignalfdFlags

Projection: 

.flags : SignalfdFlags -> Bits32

Hints:

Eq SignalfdFlags

Monoid SignalfdFlags

Ord SignalfdFlags

Semigroup SignalfdFlags

Show SignalfdFlags

.flags : SignalfdFlags -> Bits32

Totality: total
Visibility: public export

flags : SignalfdFlags -> Bits32

Totality: total
Visibility: public export

SFD_CLOEXEC : SignalfdFlags

Totality: total
Visibility: public export

SFD_NONBLOCK : SignalfdFlags

Totality: total
Visibility: public export

signalfd_siginfo_size : Bits32

Totality: total
Visibility: public export