Idris2Doc : IO.Async.Loop.SignalH

IO.Async.Loop.SignalH

(source)
Reexports
import public IO.Async.Loop
import public System.Posix.Errno
import public System.Posix.Signal
Definitions
interface SignalH : Type -> Type
  Parameters: a
Methods:
  
primOnSignals : a -> List Signal -> (Either Errno Siginfo -> IO1 ()) -> IO1 (IO1 ())

Implementation: 
SignalH Poll
primOnSignals : SignalH a => a -> List Signal -> (Either Errno Siginfo -> IO1 ()) -> IO1 (IO1 ())
  Totality: total
  Visibility: public export