我如何从 dhall kubernetes 导出 IntOrString

Question

我想从 dhall kubernetes 导入：IntOrString， https://github.com/dhall-lang/dhall-kubernetes/blob/master/1.19/types/io.k8s.apimachinery.pkg.util.intstr.IntOrString.dhall; 但我不知道如何导入它？,

我有这个代码：

let kubernetes =
      https://raw.githubusercontent.com/dhall-lang/dhall-kubernetes/master/package.dhall
let Prelude =https://prelude.dhall-lang.org/package.dhall

Answer 1

您可以直接导入：

let IntOrString = https://raw.githubusercontent.com/dhall-lang/dhall-kubernetes/master/1.19/types/io.k8s.apimachinery.pkg.util.intstr.IntOrString.dhall

…

... 或将其作为 kubernetes 包的字段访问：

let kubernetes =
      https://raw.githubusercontent.com/dhall-lang/dhall-kubernetes/master/package.dhall

in  kubernetes.IntOrString

我如何从 dhall kubernetes 导出 IntOrString

how can i export IntOrString from dhall kubernetes

kubernetes

dhall