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

11 lines
495 B
Plaintext

\(_params : {image : (Text), imageID : (Text), name : (Text), ready : (Bool), restartCount : (Natural)}) ->
{ containerID = ([] : Optional (Text))
, image = _params.image
, imageID = _params.imageID
, lastState = ([] : Optional (../types/io.k8s.api.core.v1.ContainerState.dhall))
, name = _params.name
, ready = _params.ready
, restartCount = _params.restartCount
, state = ([] : Optional (../types/io.k8s.api.core.v1.ContainerState.dhall))
} : ../types/io.k8s.api.core.v1.ContainerStatus.dhall