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

13 lines
744 B
Plaintext

\(_params : {currentNumberScheduled : (Natural), desiredNumberScheduled : (Natural), numberMisscheduled : (Natural), numberReady : (Natural)}) ->
{ collisionCount = ([] : Optional (Natural))
, conditions = ([] : Optional (List ../types/io.k8s.api.apps.v1beta2.DaemonSetCondition.dhall))
, currentNumberScheduled = _params.currentNumberScheduled
, desiredNumberScheduled = _params.desiredNumberScheduled
, numberAvailable = ([] : Optional (Natural))
, numberMisscheduled = _params.numberMisscheduled
, numberReady = _params.numberReady
, numberUnavailable = ([] : Optional (Natural))
, observedGeneration = ([] : Optional (Natural))
, updatedNumberScheduled = ([] : Optional (Natural))
} : ../types/io.k8s.api.apps.v1beta2.DaemonSetStatus.dhall