dhall-kubernetes/default/io.k8s.api.core.v1.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 : {involvedObject : (../types/io.k8s.api.core.v1.ObjectReference.dhall), metadata : (../types/io.k8s.apimachinery.pkg.apis.meta.v1.ObjectMeta.dhall)}) ->
{ action = ([] : Optional (Text))
, apiVersion = ("v1" : Text)
, count = ([] : Optional (Natural))
, eventTime = ([] : Optional (../types/io.k8s.apimachinery.pkg.apis.meta.v1.MicroTime.dhall))
, firstTimestamp = ([] : Optional (../types/io.k8s.apimachinery.pkg.apis.meta.v1.Time.dhall))
, involvedObject = _params.involvedObject
, kind = ("Event" : Text)
, lastTimestamp = ([] : Optional (../types/io.k8s.apimachinery.pkg.apis.meta.v1.Time.dhall))
, message = ([] : Optional (Text))
, metadata = _params.metadata
, reason = ([] : Optional (Text))
, related = ([] : Optional (../types/io.k8s.api.core.v1.ObjectReference.dhall))
, reportingComponent = ([] : Optional (Text))
, reportingInstance = ([] : Optional (Text))
, series = ([] : Optional (../types/io.k8s.api.core.v1.EventSeries.dhall))
, source = ([] : Optional (../types/io.k8s.api.core.v1.EventSource.dhall))
, type = ([] : Optional (Text))
} : ../types/io.k8s.api.core.v1.Event.dhall