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

5 lines
226 B
Plaintext

\(_params : {preference : (../types/io.k8s.api.core.v1.NodeSelectorTerm.dhall), weight : (Natural)}) ->
{ preference = _params.preference
, weight = _params.weight
} : ../types/io.k8s.api.core.v1.PreferredSchedulingTerm.dhall