mirror of
https://github.com/dhall-lang/dhall-kubernetes.git
synced 2024-09-17 10:27:08 +03:00
6acb5b3e18
Switch Integer to Natural
20 lines
1.1 KiB
Plaintext
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
|