dhall-kubernetes/io.k8s.api.apps.v1.Deployment.dhall at gabriel/fix_ci_2 - dhall-kubernetes - gitea: Gitea Service

dhall-lang/dhall-kubernetes

mirror of https://github.com/dhall-lang/dhall-kubernetes.git synced 2024-09-19 03:17:33 +03:00

Gabriel Gonzalez 381306bcc3

Go back to using --omitNull instead of --omitEmpty (#110 )

Fixes https://github.com/dhall-lang/dhall-kubernetes/issues/86

The motivation of this is to more accurately model the Kubernetes
API semantics by not auto-omitting empty fields.  This is because
a field set to `Some ([] : List T)` is not necessarily the same
as `None (List T)`.

This makes the typical case a bit more verbose (more `Some`s), but
the difference to the `./examples` shows that it's not too bad.

2020-01-31 06:52:20 -08:00

6 lines

183 B

Plaintext

Raw Permalink Blame History

 { apiVersion = "apps/v1"
 , kind = "Deployment"
 , spec = None ./../types/io.k8s.api.apps.v1.DeploymentSpec.dhall
 , status = None ./../types/io.k8s.api.apps.v1.DeploymentStatus.dhall
 }