Idris2Doc : System.Posix.Signal.Types

System.Posix.Signal.Types

(source)
Definitions
data How : Type
  Totality: total
  Visibility: public export
  Constructors:
  
SIG_BLOCK : How
  
SIG_UNBLOCK : How
  
SIG_SETMASK : How

  Hints:
  
Eq How
  
Ord How
  
Show How
record Signal : Type
  Totality: total
  Visibility: public export
  Constructor: 
S : Bits32 -> Signal

  Projection: 
.sig : Signal -> Bits32

  Hints:
  
Eq Signal
  
Finite Signal
  
Ord Signal
  
Show Signal
.sig : Signal -> Bits32
  Totality: total
  Visibility: public export
sig : Signal -> Bits32
  Totality: total
  Visibility: public export
howCode : How -> Bits8
  Totality: total
  Visibility: public export
SIGRTMIN : Signal
  Totality: total
  Visibility: public export
SIGRTMAX : Signal
  Totality: total
  Visibility: public export
SIGHUP : Signal
  Totality: total
  Visibility: public export
SIGINT : Signal
  Totality: total
  Visibility: public export
SIGQUIT : Signal
  Totality: total
  Visibility: public export
SIGILL : Signal
  Totality: total
  Visibility: public export
SIGTRAP : Signal
  Totality: total
  Visibility: public export
SIGABRT : Signal
  Totality: total
  Visibility: public export
SIGBUS : Signal
  Totality: total
  Visibility: public export
SIGFPE : Signal
  Totality: total
  Visibility: public export
SIGKILL : Signal
  Totality: total
  Visibility: public export
SIGUSR1 : Signal
  Totality: total
  Visibility: public export
SIGSEGV : Signal
  Totality: total
  Visibility: public export
SIGUSR2 : Signal
  Totality: total
  Visibility: public export
SIGPIPE : Signal
  Totality: total
  Visibility: public export
SIGALRM : Signal
  Totality: total
  Visibility: public export
SIGTERM : Signal
  Totality: total
  Visibility: public export
SIGCHLD : Signal
  Totality: total
  Visibility: public export
SIGCONT : Signal
  Totality: total
  Visibility: public export
SIGSTOP : Signal
  Totality: total
  Visibility: public export
SIGTSTP : Signal
  Totality: total
  Visibility: public export
SIGTTIN : Signal
  Totality: total
  Visibility: public export
SIGTTOU : Signal
  Totality: total
  Visibility: public export
SIGURG : Signal
  Totality: total
  Visibility: public export
SIGXCPU : Signal
  Totality: total
  Visibility: public export
SIGXFSZ : Signal
  Totality: total
  Visibility: public export
SIGVTALRM : Signal
  Totality: total
  Visibility: public export
SIGPROF : Signal
  Totality: total
  Visibility: public export
SIGWINCH : Signal
  Totality: total
  Visibility: public export
SIGSYS : Signal
  Totality: total
  Visibility: public export
SIGPOLL : Signal
  Totality: total
  Visibility: public export
sigName : SortedMap Signal String
  Totality: total
  Visibility: export
siginfo_t_size : Bits32
  Totality: total
  Visibility: public export