Configurability

dhall/Config/Type.dhall

@@ -0,0 +1,3 @@
+{ s3 : ../S3/Type.dhall
+, watcher : ../Watcher/Type.dhall
+}

dhall/Config/default.dhall

@@ -0,0 +1 @@
+{=}

dhall/Config/package.dhall

@@ -0,0 +1 @@
+{ Type = ./Type.dhall, default = ./default.dhall }

dhall/S3/Type.dhall

@@ -0,0 +1,4 @@
+{ region : Text
+, endpoint : Text
+, bucket : Text
+}

dhall/S3/default.dhall

@@ -0,0 +1 @@
+{=}

dhall/S3/package.dhall

@@ -0,0 +1 @@
+{ Type = ./Type.dhall, default = ./default.dhall }

dhall/Watcher/Type.dhall

@@ -0,0 +1,3 @@
+{ directories : List Text
+, period : Natural
+}

dhall/Watcher/default.dhall

@@ -0,0 +1 @@
+{ period = 300 }

dhall/Watcher/package.dhall

@@ -0,0 +1 @@
+{ Type = ./Type.dhall, default = ./default.dhall }

dhall/package.dhall

@@ -0,0 +1,2 @@
+    ./Config/package.dhall
+/\  { S3 = ./S3/package.dhall, Watcher = ./Watcher/package.dhall }