mirror of
https://github.com/dhall-lang/dhall-kubernetes.git
synced 2024-09-19 03:17:33 +03:00
381306bcc3
Fixes https://github.com/dhall-lang/dhall-kubernetes/issues/86 The motivation of this is to more accurately model the Kubernetes API semantics by not auto-omitting empty fields. This is because a field set to `Some ([] : List T)` is not necessarily the same as `None (List T)`. This makes the typical case a bit more verbose (more `Some`s), but the difference to the `./examples` shows that it's not too bad.
36 lines
2.0 KiB
Plaintext
36 lines
2.0 KiB
Plaintext
{ name : Text
|
|
, awsElasticBlockStore :
|
|
Optional ./io.k8s.api.core.v1.AWSElasticBlockStoreVolumeSource.dhall
|
|
, azureDisk : Optional ./io.k8s.api.core.v1.AzureDiskVolumeSource.dhall
|
|
, azureFile : Optional ./io.k8s.api.core.v1.AzureFileVolumeSource.dhall
|
|
, cephfs : Optional ./io.k8s.api.core.v1.CephFSVolumeSource.dhall
|
|
, cinder : Optional ./io.k8s.api.core.v1.CinderVolumeSource.dhall
|
|
, configMap : Optional ./io.k8s.api.core.v1.ConfigMapVolumeSource.dhall
|
|
, csi : Optional ./io.k8s.api.core.v1.CSIVolumeSource.dhall
|
|
, downwardAPI : Optional ./io.k8s.api.core.v1.DownwardAPIVolumeSource.dhall
|
|
, emptyDir : Optional ./io.k8s.api.core.v1.EmptyDirVolumeSource.dhall
|
|
, fc : Optional ./io.k8s.api.core.v1.FCVolumeSource.dhall
|
|
, flexVolume : Optional ./io.k8s.api.core.v1.FlexVolumeSource.dhall
|
|
, flocker : Optional ./io.k8s.api.core.v1.FlockerVolumeSource.dhall
|
|
, gcePersistentDisk :
|
|
Optional ./io.k8s.api.core.v1.GCEPersistentDiskVolumeSource.dhall
|
|
, gitRepo : Optional ./io.k8s.api.core.v1.GitRepoVolumeSource.dhall
|
|
, glusterfs : Optional ./io.k8s.api.core.v1.GlusterfsVolumeSource.dhall
|
|
, hostPath : Optional ./io.k8s.api.core.v1.HostPathVolumeSource.dhall
|
|
, iscsi : Optional ./io.k8s.api.core.v1.ISCSIVolumeSource.dhall
|
|
, nfs : Optional ./io.k8s.api.core.v1.NFSVolumeSource.dhall
|
|
, persistentVolumeClaim :
|
|
Optional ./io.k8s.api.core.v1.PersistentVolumeClaimVolumeSource.dhall
|
|
, photonPersistentDisk :
|
|
Optional ./io.k8s.api.core.v1.PhotonPersistentDiskVolumeSource.dhall
|
|
, portworxVolume : Optional ./io.k8s.api.core.v1.PortworxVolumeSource.dhall
|
|
, projected : Optional ./io.k8s.api.core.v1.ProjectedVolumeSource.dhall
|
|
, quobyte : Optional ./io.k8s.api.core.v1.QuobyteVolumeSource.dhall
|
|
, rbd : Optional ./io.k8s.api.core.v1.RBDVolumeSource.dhall
|
|
, scaleIO : Optional ./io.k8s.api.core.v1.ScaleIOVolumeSource.dhall
|
|
, secret : Optional ./io.k8s.api.core.v1.SecretVolumeSource.dhall
|
|
, storageos : Optional ./io.k8s.api.core.v1.StorageOSVolumeSource.dhall
|
|
, vsphereVolume :
|
|
Optional ./io.k8s.api.core.v1.VsphereVirtualDiskVolumeSource.dhall
|
|
}
|