dhall-kubernetes/default/io.k8s.apimachinery.pkg.apis.meta.v1.ObjectMeta.dhall
Fabrizio Ferrai 6acb5b3e18 Update to Dhall 1.14
Switch Integer to Natural
2018-07-08 20:47:09 +03:00

19 lines
1.0 KiB
Plaintext

\(_params : {name : (Text)}) ->
{ annotations = ([] : Optional ((List {mapKey : Text, mapValue : Text})))
, clusterName = ([] : Optional (Text))
, creationTimestamp = ([] : Optional (../types/io.k8s.apimachinery.pkg.apis.meta.v1.Time.dhall))
, deletionGracePeriodSeconds = ([] : Optional (Natural))
, deletionTimestamp = ([] : Optional (../types/io.k8s.apimachinery.pkg.apis.meta.v1.Time.dhall))
, finalizers = ([] : Optional (List Text))
, generateName = ([] : Optional (Text))
, generation = ([] : Optional (Natural))
, initializers = ([] : Optional (../types/io.k8s.apimachinery.pkg.apis.meta.v1.Initializers.dhall))
, labels = ([] : Optional ((List {mapKey : Text, mapValue : Text})))
, name = _params.name
, namespace = ([] : Optional (Text))
, ownerReferences = ([] : Optional (List ../types/io.k8s.apimachinery.pkg.apis.meta.v1.OwnerReference.dhall))
, resourceVersion = ([] : Optional (Text))
, selfLink = ([] : Optional (Text))
, uid = ([] : Optional (Text))
} : ../types/io.k8s.apimachinery.pkg.apis.meta.v1.ObjectMeta.dhall