mirror of
https://github.com/dhall-lang/dhall-kubernetes.git
synced 2024-11-03 21:05:47 +03:00
6acb5b3e18
Switch Integer to Natural
20 lines
1.1 KiB
Plaintext
20 lines
1.1 KiB
Plaintext
\(_params : {eventTime : (../types/io.k8s.apimachinery.pkg.apis.meta.v1.MicroTime.dhall), metadata : (../types/io.k8s.apimachinery.pkg.apis.meta.v1.ObjectMeta.dhall)}) ->
|
|
{ action = ([] : Optional (Text))
|
|
, apiVersion = ("events.k8s.io/v1beta1" : Text)
|
|
, deprecatedCount = ([] : Optional (Natural))
|
|
, deprecatedFirstTimestamp = ([] : Optional (../types/io.k8s.apimachinery.pkg.apis.meta.v1.Time.dhall))
|
|
, deprecatedLastTimestamp = ([] : Optional (../types/io.k8s.apimachinery.pkg.apis.meta.v1.Time.dhall))
|
|
, deprecatedSource = ([] : Optional (../types/io.k8s.api.core.v1.EventSource.dhall))
|
|
, eventTime = _params.eventTime
|
|
, kind = ("Event" : Text)
|
|
, metadata = _params.metadata
|
|
, note = ([] : Optional (Text))
|
|
, reason = ([] : Optional (Text))
|
|
, regarding = ([] : Optional (../types/io.k8s.api.core.v1.ObjectReference.dhall))
|
|
, related = ([] : Optional (../types/io.k8s.api.core.v1.ObjectReference.dhall))
|
|
, reportingController = ([] : Optional (Text))
|
|
, reportingInstance = ([] : Optional (Text))
|
|
, series = ([] : Optional (../types/io.k8s.api.events.v1beta1.EventSeries.dhall))
|
|
, type = ([] : Optional (Text))
|
|
} : ../types/io.k8s.api.events.v1beta1.Event.dhall
|