add package.dhall files

Dockerfile

@@ -4,7 +4,7 @@ FROM xena/alpine
 COPY --from=dyaml /bin/dhall-to-yaml-ng /usr/local/bin/dhall-to-yaml
 WORKDIR /drone
 COPY ./drone .
-RUN dhall-to-yaml --file pipeline.dhall
+RUN dhall-to-yaml --omit-empty --file pipeline.dhall
 WORKDIR /k8s
 COPY ./k8s .
-RUN cd apps && dhall-to-yaml --file hlang.dhall
+RUN dhall-to-yaml --omit-empty --documents --file allApps.dhall

drone/package.dhall

@@ -0,0 +1,5 @@
+{ dockerBuild = ./common/dockerBuild.dhall
+, dockerHost = ./common/dockerHost.dhall
+, goStep = ./common/go.dhall
+, types = ./types.dhall
+}

k8s/allApps.dhall

@@ -0,0 +1,5 @@
+[ ./apps/hlang.dhall
+, ./apps/olin.dhall
+, ./apps/tulpaforce.xyz.dhall
+, ./apps/within.website.dhall
+]

k8s/package.dhall

@@ -0,0 +1,11 @@
+{ app =
+    { Config = ./app/config.dhall
+    , K8sList = ./app/list.dhall
+    , make = ./app/make.dhall
+    }
+, http =
+    { deployment = ./http/deployment.dhall
+    , ingress = ./http/ingress.dhall
+    , service = ./http/service.dhall
+    }
+}