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

10 lines
456 B
Plaintext

\(_params : {exitCode : (Natural)}) ->
{ containerID = ([] : Optional (Text))
, exitCode = _params.exitCode
, finishedAt = ([] : Optional (../types/io.k8s.apimachinery.pkg.apis.meta.v1.Time.dhall))
, message = ([] : Optional (Text))
, reason = ([] : Optional (Text))
, signal = ([] : Optional (Natural))
, startedAt = ([] : Optional (../types/io.k8s.apimachinery.pkg.apis.meta.v1.Time.dhall))
} : ../types/io.k8s.api.core.v1.ContainerStateTerminated.dhall