mirror of
https://github.com/dhall-lang/dhall-kubernetes.git
synced 2024-09-19 03:17:33 +03:00
381306bcc3
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.
19 lines
781 B
Plaintext
19 lines
781 B
Plaintext
{ apiVersion : Text
|
|
, involvedObject : ./io.k8s.api.core.v1.ObjectReference.dhall
|
|
, kind : Text
|
|
, metadata : ./io.k8s.apimachinery.pkg.apis.meta.v1.ObjectMeta.dhall
|
|
, action : Optional Text
|
|
, count : Optional Natural
|
|
, eventTime : Optional ./io.k8s.apimachinery.pkg.apis.meta.v1.MicroTime.dhall
|
|
, firstTimestamp : Optional ./io.k8s.apimachinery.pkg.apis.meta.v1.Time.dhall
|
|
, lastTimestamp : Optional ./io.k8s.apimachinery.pkg.apis.meta.v1.Time.dhall
|
|
, message : Optional Text
|
|
, reason : Optional Text
|
|
, related : Optional ./io.k8s.api.core.v1.ObjectReference.dhall
|
|
, reportingComponent : Optional Text
|
|
, reportingInstance : Optional Text
|
|
, series : Optional ./io.k8s.api.core.v1.EventSeries.dhall
|
|
, source : Optional ./io.k8s.api.core.v1.EventSource.dhall
|
|
, type : Optional Text
|
|
}
|