From 0ea4fa96f4e6a1de27f50a97db9007e14958547d Mon Sep 17 00:00:00 2001
From: Profpatsch <mail@profpatsch.de>
Date: Tue, 2 Apr 2019 12:10:28 +0200
Subject: pkgs/profpatsch: add dhall types for s6 servicedir

First version of a way to build s6 services using `dhall-to-nix`.
Includes a small library that formalizes the tables in `man 7 signal`.
---
 .../s6/dhall/unix/Signal/common/alpha-sparc.dhall  | 35 ++++++++++++
 .../s6/dhall/unix/Signal/common/constants.dhall    |  0
 .../s6/dhall/unix/Signal/common/mips.dhall         | 35 ++++++++++++
 .../s6/dhall/unix/Signal/common/standard.dhall     | 25 +++++++++
 .../s6/dhall/unix/Signal/common/type.dhall         | 63 ++++++++++++++++++++++
 .../s6/dhall/unix/Signal/common/x86-arm.dhall      | 35 ++++++++++++
 6 files changed, 193 insertions(+)
 create mode 100644 pkgs/profpatsch/s6/dhall/unix/Signal/common/alpha-sparc.dhall
 create mode 100644 pkgs/profpatsch/s6/dhall/unix/Signal/common/constants.dhall
 create mode 100644 pkgs/profpatsch/s6/dhall/unix/Signal/common/mips.dhall
 create mode 100644 pkgs/profpatsch/s6/dhall/unix/Signal/common/standard.dhall
 create mode 100644 pkgs/profpatsch/s6/dhall/unix/Signal/common/type.dhall
 create mode 100644 pkgs/profpatsch/s6/dhall/unix/Signal/common/x86-arm.dhall

(limited to 'pkgs/profpatsch/s6/dhall/unix/Signal/common')

diff --git a/pkgs/profpatsch/s6/dhall/unix/Signal/common/alpha-sparc.dhall b/pkgs/profpatsch/s6/dhall/unix/Signal/common/alpha-sparc.dhall
new file mode 100644
index 00000000..cebdc49c
--- /dev/null
+++ b/pkgs/profpatsch/s6/dhall/unix/Signal/common/alpha-sparc.dhall
@@ -0,0 +1,35 @@
+	./standard.dhall
+  ⫽ { SIGUSR1 =
+		30
+	, SIGUSR2 =
+		31
+	, SIGCHLD =
+		20
+	, SIGCONT =
+		19
+	, SIGSTOP =
+		17
+	, SIGTSTP =
+		18
+	, SIGTTIN =
+		21
+	, SIGTTOU =
+		22
+	, SIGBUS =
+		10
+	, SIGPOLL =
+		23
+	, SIGPROF =
+		27
+	, SIGSYS =
+		12
+	, SIGURG =
+		16
+	, SIGVTALRM =
+		26
+	, SIGXCPU =
+		24
+	, SIGXFSZ =
+		25
+	}
+: ./type.dhall
\ No newline at end of file
diff --git a/pkgs/profpatsch/s6/dhall/unix/Signal/common/constants.dhall b/pkgs/profpatsch/s6/dhall/unix/Signal/common/constants.dhall
new file mode 100644
index 00000000..e69de29b
diff --git a/pkgs/profpatsch/s6/dhall/unix/Signal/common/mips.dhall b/pkgs/profpatsch/s6/dhall/unix/Signal/common/mips.dhall
new file mode 100644
index 00000000..be70924e
--- /dev/null
+++ b/pkgs/profpatsch/s6/dhall/unix/Signal/common/mips.dhall
@@ -0,0 +1,35 @@
+	./standard.dhall
+  ⫽ { SIGUSR1 =
+		16
+	, SIGUSR2 =
+		17
+	, SIGCHLD =
+		18
+	, SIGCONT =
+		25
+	, SIGSTOP =
+		23
+	, SIGTSTP =
+		24
+	, SIGTTIN =
+		26
+	, SIGTTOU =
+		27
+	, SIGBUS =
+		10
+	, SIGPOLL =
+		22
+	, SIGPROF =
+		29
+	, SIGSYS =
+		12
+	, SIGURG =
+		21
+	, SIGVTALRM =
+		28
+	, SIGXCPU =
+		30
+	, SIGXFSZ =
+		31
+	}
+: ./type.dhall
\ No newline at end of file
diff --git a/pkgs/profpatsch/s6/dhall/unix/Signal/common/standard.dhall b/pkgs/profpatsch/s6/dhall/unix/Signal/common/standard.dhall
new file mode 100644
index 00000000..7836bf10
--- /dev/null
+++ b/pkgs/profpatsch/s6/dhall/unix/Signal/common/standard.dhall
@@ -0,0 +1,25 @@
+{ SIGHUP =
+	1
+, SIGINT =
+	2
+, SIGQUIT =
+	3
+, SIGILL =
+	4
+, SIGTRAP =
+	5
+, SIGABRT =
+	6
+, SIGFPE =
+	8
+, SIGKILL =
+	9
+, SIGSEGV =
+	11
+, SIGPIPE =
+	13
+, SIGALRM =
+	14
+, SIGTERM =
+	15
+}
\ No newline at end of file
diff --git a/pkgs/profpatsch/s6/dhall/unix/Signal/common/type.dhall b/pkgs/profpatsch/s6/dhall/unix/Signal/common/type.dhall
new file mode 100644
index 00000000..76ecb01d
--- /dev/null
+++ b/pkgs/profpatsch/s6/dhall/unix/Signal/common/type.dhall
@@ -0,0 +1,63 @@
+let POSIX1990 =
+	  { SIGHUP :
+		  Natural
+	  , SIGINT :
+		  Natural
+	  , SIGQUIT :
+		  Natural
+	  , SIGILL :
+		  Natural
+	  , SIGABRT :
+		  Natural
+	  , SIGFPE :
+		  Natural
+	  , SIGKILL :
+		  Natural
+	  , SIGSEGV :
+		  Natural
+	  , SIGPIPE :
+		  Natural
+	  , SIGALRM :
+		  Natural
+	  , SIGTERM :
+		  Natural
+	  , SIGUSR1 :
+		  Natural
+	  , SIGUSR2 :
+		  Natural
+	  , SIGCHLD :
+		  Natural
+	  , SIGCONT :
+		  Natural
+	  , SIGSTOP :
+		  Natural
+	  , SIGTSTP :
+		  Natural
+	  , SIGTTIN :
+		  Natural
+	  , SIGTTOU :
+		  Natural
+	  }
+
+let POSIX2001 =
+	  { SIGBUS :
+		  Natural
+	  , SIGPOLL :
+		  Natural
+	  , SIGPROF :
+		  Natural
+	  , SIGSYS :
+		  Natural
+	  , SIGTRAP :
+		  Natural
+	  , SIGURG :
+		  Natural
+	  , SIGVTALRM :
+		  Natural
+	  , SIGXCPU :
+		  Natural
+	  , SIGXFSZ :
+		  Natural
+	  }
+
+in  POSIX1990 ⩓ POSIX2001
\ No newline at end of file
diff --git a/pkgs/profpatsch/s6/dhall/unix/Signal/common/x86-arm.dhall b/pkgs/profpatsch/s6/dhall/unix/Signal/common/x86-arm.dhall
new file mode 100644
index 00000000..787afad9
--- /dev/null
+++ b/pkgs/profpatsch/s6/dhall/unix/Signal/common/x86-arm.dhall
@@ -0,0 +1,35 @@
+	./standard.dhall
+  ⫽ { SIGUSR1 =
+		10
+	, SIGUSR2 =
+		12
+	, SIGCHLD =
+		17
+	, SIGCONT =
+		18
+	, SIGSTOP =
+		19
+	, SIGTSTP =
+		20
+	, SIGTTIN =
+		21
+	, SIGTTOU =
+		22
+	, SIGBUS =
+		7
+	, SIGPOLL =
+		29
+	, SIGPROF =
+		27
+	, SIGSYS =
+		31
+	, SIGURG =
+		23
+	, SIGVTALRM =
+		26
+	, SIGXCPU =
+		24
+	, SIGXFSZ =
+		25
+	}
+: ./type.dhall
\ No newline at end of file
-- 
cgit 1.4.1