dhall-kubernetes/types/io.k8s.api.coordination.v1beta1.LeaseSpec.dhall
Fabrizio Ferrai 6acb5b3e18 Update to Dhall 1.14
Switch Integer to Natural
2018-07-08 20:47:09 +03:00

7 lines
293 B
Plaintext

{ acquireTime : (Optional (./io.k8s.apimachinery.pkg.apis.meta.v1.MicroTime.dhall))
, holderIdentity : (Optional (Text))
, leaseDurationSeconds : (Optional (Natural))
, leaseTransitions : (Optional (Natural))
, renewTime : (Optional (./io.k8s.apimachinery.pkg.apis.meta.v1.MicroTime.dhall))
}