System.UV.Data.Signal

Definitions

data SigCode : Type

  Signalcodes we can react on.

Totality: total
Visibility: public export
Constructors:

SIGABRT : SigCode

SIGFPE : SigCode

SIGHUP : SigCode

SIGILL : SigCode

SIGINT : SigCode

SIGQUIT : SigCode

SIGSEGV : SigCode

SIGTRAP : SigCode

SIGUSR1 : SigCode

SIGUSR2 : SigCode

Hints:

Eq SigCode

Show SigCode

sigToCode : SigCode -> Bits32

Totality: total
Visibility: public export

sigFromCode : Bits32 -> SigCode

Totality: total
Visibility: public export