import Wayland.Native

/-!
# POSIX Signals

Data type representing a POSIX signal number.
-/

namespace Wayland

/-- A POSIX signal number. -/
structure PosixSignal where
  signum : UInt32
  deriving Repr, BEq, Inhabited

/-- The SIGINT (interrupted) signal. -/
def PosixSignal.SIGINT : PosixSignal := ⟨Native.SIGINT ()⟩
/-- The SIGUSR1 (first user-defined) signal. -/
def PosixSignal.SIGUSR1 : PosixSignal := ⟨Native.SIGUSR1 ()⟩
/-- The SIGUSR2 (second user-defined) signal. -/
def PosixSignal.SIGUSR2 : PosixSignal := ⟨Native.SIGUSR2 ()⟩

end Wayland