
  0 | module IO.Async.Loop.SignalH
  1 | 
  2 | import public IO.Async.Loop
  3 | import public System.Posix.Errno
  4 | import public System.Posix.Signal
  5 | 
  6 | %default total
  7 | 
  8 | public export
  9 | interface SignalH a where
 10 |   primOnSignals :
 11 |        a
 12 |     -> List Signal
 13 |     -> (Either Errno Siginfo -> IO1 ())
 14 |     -> IO1 (IO1 ())
 15 |