dhall-kubernetes/io.k8s.api.core.v1.ResourceQuotaSpec.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

5 lines

159 B

Plaintext

Raw Permalink Blame History

 { hard = None (List { mapKey : Text, mapValue : Text })
 , scopeSelector = None ./../types/io.k8s.api.core.v1.ScopeSelector.dhall
 , scopes = None (List Text)
 }