kubernetes - 我如何从 dhall kubernetes 导出 IntOrString

Question

我想导入：IntOrString从 dhall kubernetes， 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