Hello,
To update the optional record attribute of a Kubernetes resources template, is there a way to use the /\
operator?
For example, how could this be implemented:
let Kubernetes = ./package.dhall
in Kubernetes.DeploymentSpec::{
, template = Kubernetes.PodTemplateSpec::{
, metadata = Kubernetes.ObjectMeta::{ name = "test" }
, spec = Some Kubernetes.PodSpec::{=}
}
}
/\ { template =
{ spec = Some Kubernetes.PodSpec::{
, serviceAccount = Some "builder"
}
}
}
: Kubernetes.DeploymentSpec.Type
This is failing on a field collision of spec. It seems like I have to use a custom function to traverse the Optional type, but perhaps there is a more efficient way to do that? I was wondering if the /\
, or a new one, could be used to automatically unwrap the optional value (e.g. merge record when both operand are Some).