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

6 lines
171 B
Plaintext

\(_params : {key : (Text), path : (Text)}) ->
{ key = _params.key
, mode = ([] : Optional (Natural))
, path = _params.path
} : ../types/io.k8s.api.core.v1.KeyToPath.dhall