dhall-kubernetes/io.k8s.api.rbac.v1alpha1.ClusterRole.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

7 lines

239 B

Plaintext

Raw Permalink Blame History

 { apiVersion = "rbac.authorization.k8s.io/v1alpha1"
 , kind = "ClusterRole"
 , aggregationRule =
     None ./../types/io.k8s.api.rbac.v1alpha1.AggregationRule.dhall
 , rules = None (List ./../types/io.k8s.api.rbac.v1alpha1.PolicyRule.dhall)
 }