dhall-kubernetes/default/io.k8s.api.events.v1beta1.Event.dhall
Fabrizio Ferrai 6acb5b3e18 Update to Dhall 1.14
Switch Integer to Natural
2018-07-08 20:47:09 +03:00

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