IO.Async.Loop.Poller

(source)

Posix-compliant file polling based on the `poll` system call.

This form of file polling takes linear time with relation for
the number of file descriptors to be polled, which is perfectly
fine for polling small numbers of file descriptors. For polling
hundreds or thousands of file descriptors, consider using
the poller from async-epoll, which is based on the Linux-only
`epoll` system calls.

Definitions

dieOnErr : E1 World [Errno] a -> IO1 a

Totality: total
Visibility: export

0 FileHandle : Type

Totality: total
Visibility: public export

hdummy : FileHandle

Totality: total
Visibility: export

record Poller : Type

Totality: total
Visibility: public export
Constructor:

MkPoller : IO1 () -> (Clock Duration -> IO1 ()) -> IO1 () -> (Fd -> PollEvent -> Bool -> (Either Errno PollEvent -> IO1 ()) -> IO1 (IO1 ())) -> Poller

Projections:

.poll : Poller -> IO1 ()
.pollFile : Poller -> Fd -> PollEvent -> Bool -> (Either Errno PollEvent -> IO1 ()) -> IO1 (IO1 ())
.pollWait : Poller -> Clock Duration -> IO1 ()
.release : Poller -> IO1 ()

.poll : Poller -> IO1 ()

Totality: total
Visibility: public export

poll : Poller -> IO1 ()

Totality: total
Visibility: public export

.pollWait : Poller -> Clock Duration -> IO1 ()

Totality: total
Visibility: public export

pollWait : Poller -> Clock Duration -> IO1 ()

Totality: total
Visibility: public export

.release : Poller -> IO1 ()

Totality: total
Visibility: public export

release : Poller -> IO1 ()

Totality: total
Visibility: public export

.pollFile : Poller -> Fd -> PollEvent -> Bool -> (Either Errno PollEvent -> IO1 ()) -> IO1 (IO1 ())

Totality: total
Visibility: public export

pollFile : Poller -> Fd -> PollEvent -> Bool -> (Either Errno PollEvent -> IO1 ()) -> IO1 (IO1 ())

Totality: total
Visibility: public export

posixPoller : IO1 Poller

  initialize the state of a posix-compatible poller.

Totality: total
Visibility: export