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

5 lines
216 B
Plaintext

\(_params : {sources : (List ../types/io.k8s.api.core.v1.VolumeProjection.dhall)}) ->
{ defaultMode = ([] : Optional (Natural))
, sources = _params.sources
} : ../types/io.k8s.api.core.v1.ProjectedVolumeSource.dhall