Idris2Doc : IO.Async.Loop.Epoll

IO.Async.Loop.Epoll

(source)
Reexports
import public Data.Nat
import public IO.Async
import public IO.Async.Loop
import public IO.Async.Loop.PollH
import public IO.Async.Loop.Posix
import public IO.Async.Loop.SignalH
import public IO.Async.Loop.TimerH
Definitions
epollPoller : IO1 Poller
  Initialize the state of a Linux epoll poller.

  Totality: total
  Visibility: export
epollApp : {default [SIGINT] sigs : List Signal} -> Has SIGINT sigs => Async Poll [] () -> IO ()
  Simplified version of `app`.
  
  We use environment variable `IDRIS2_ASYNC_THREADS` to determine the
  number of threads to use (default: 2) and cancel the running program
  on receiving `SIGINT`.
  
  By default, only `SIGINT` is masked. To handle other signals
  within your program, give `{sigs = [...]}` as the first
  argument. One of the signals must be SIGINT, which is enforced by
  the `Has SIGINT sigs` constraint.

  Visibility: export