diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-03-08 18:26:33 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-03-08 18:26:33 +0100 |
| commit | c290706fed69d622cfe988e732e1ad01d09e569d (patch) | |
| tree | 8822cb160e3596657fc6aa7020026d16632e8e5f /lib/Wayland/Basic/PosixSignal.lean | |
| parent | 658b74715751cb4b52b2a968325ece9a62a29fc3 (diff) | |
rework file structure
Diffstat (limited to 'lib/Wayland/Basic/PosixSignal.lean')
| -rw-r--r-- | lib/Wayland/Basic/PosixSignal.lean | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/lib/Wayland/Basic/PosixSignal.lean b/lib/Wayland/Basic/PosixSignal.lean new file mode 100644 index 0000000..45c7361 --- /dev/null +++ b/lib/Wayland/Basic/PosixSignal.lean @@ -0,0 +1,23 @@ +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 |