System.Posix.Poll.Struct

Definitions

record SPollFD : Type -> Type

  A wrapper around a `struct pollfd` pointer.

Totality: total
Visibility: export
Constructor: 

PF : AnyPtr -> SPollFD s

Projection: 

.ptr : SPollFD s -> AnyPtr

Hints:

SizeOf (SPollFD s)

Struct SPollFD

0 PollFD : Type

Totality: total
Visibility: public export

pollfd : SPollFD s -> F1 s Fd

  Reads the `fd` field of a `struct pollfd` pointer.

Totality: total
Visibility: export

setPollfd : SPollFD s -> Fd -> F1' s

  Sets the `fd` field of a `struct pollfd` pointer.

Totality: total
Visibility: export

events : SPollFD s -> F1 s PollEvent

  Reads the `events` field of a `struct pollfd` pointer.

Totality: total
Visibility: export

setEvents : SPollFD s -> PollEvent -> F1' s

  Sets the `events` field of a `struct pollfd` pointer.

Totality: total
Visibility: export

revents : SPollFD s -> F1 s PollEvent

  Reads the `revents` field of a `struct pollfd` pointer.

Totality: total
Visibility: export

setRevents : SPollFD s -> PollEvent -> F1' s

  Sets the `revents` field of a `struct pollfd` pointer.

Totality: total
Visibility: export

record PollPair : Type

Totality: total
Visibility: public export
Constructor: 

PP : Fd -> PollEvent -> PollPair

Projections:

.events : PollPair -> PollEvent

.fd : PollPair -> Fd

Hints:

Eq PollPair

Show PollPair

.fd : PollPair -> Fd

Totality: total
Visibility: public export

fd : PollPair -> Fd

Totality: total
Visibility: public export

.events : PollPair -> PollEvent

Totality: total
Visibility: public export

events : PollPair -> PollEvent

Totality: total
Visibility: public export

pollResults : CArray s n (SPollFD s) -> F1 s (List PollPair)

Totality: total
Visibility: export

writeFiles : CArray s n (SPollFD s) -> List PollPair -> F1' s

Totality: total
Visibility: export