System.Posix.Poll.Types

Definitions

record PollEvent : Type

Totality: total
Visibility: public export
Constructor: 

PE : Bits32 -> PollEvent

Projection: 

.event : PollEvent -> Bits32

Hints:

Eq PollEvent

Monoid PollEvent

Ord PollEvent

Semigroup PollEvent

Show PollEvent

.event : PollEvent -> Bits32

Totality: total
Visibility: public export

event : PollEvent -> Bits32

Totality: total
Visibility: public export

hasEvent : PollEvent -> PollEvent -> Bool

Totality: total
Visibility: export

POLLIN : PollEvent

Totality: total
Visibility: public export

POLLOUT : PollEvent

Totality: total
Visibility: public export

POLLPRI : PollEvent

Totality: total
Visibility: public export

POLLERR : PollEvent

Totality: total
Visibility: public export

POLLHUP : PollEvent

Totality: total
Visibility: public export

pollfd_size : Bits32

Totality: total
Visibility: public export