Makefile 🔗
@@ -0,0 +1,2 @@
+config-schema.dhall: config.dhall.sample
+ dhall type < config.dhall.sample > config-schema.dhall
Stephen Paul Weber created
Makefile | 2 ++
config-schema.dhall | 3 +++
config.dhall.sample | 10 ++++++++++
3 files changed, 15 insertions(+)
@@ -0,0 +1,2 @@
+config-schema.dhall: config.dhall.sample
+ dhall type < config.dhall.sample > config-schema.dhall
@@ -0,0 +1,3 @@
+{ component : { jid : Text, secret : Text }
+, server : { host : Text, port : Natural }
+}
@@ -0,0 +1,10 @@
+{
+ component = {
+ jid = "component.localhost",
+ secret = "secret"
+ },
+ server = {
+ host = "localhost",
+ port = 5347
+ }
+}