dhall 无效的替代类型

问题描述

我已经定义了一个包含两个元素的联合类型，如下所示：

FunctionCode.dhall

{- Function Code union -}

let StaticFC = ./StaticFunctionCode.dhall
let DynamicFC = ./DynamicFunctionCode.dhall

in < Static : StaticFC | Dynamic : DynamicFC >

StaticFC 和 DynamicFC 这两种类型的定义如下：

StaticFunctionCode.dhall

let FieldList = ./FieldList.dhall
let FunctionCodeType = ./FunctionCodeType.dhall

in
{ Type =
    { dlc : Natural,fields : FieldList,telemjson : Text,fct : Natural,timestamp : Optional Text
    },default = { timestamp = None Text,fct = FunctionCodeType.Static }
}

DynamicFunctionCode.dhall

let FieldTypeID = ./FieldTypeID.dhall
let OptionList = ./OptionList.dhall
let FunctionCodeType = ./FunctionCodeType.dhall

in
{ Type =
    { idtype : FieldTypeID,idindex : Natural,options : OptionList,fct = FunctionCodeType.Dynamic }
}

忽略定义的其他类型，这是我尝试使用此联合编写 let 语句的方式：

let fc1 =
  FunctionCode.Dynamic FunctionCode.Dynamic::{
     idtype = FieldTypeID.U8,idindex =  0,options = [...]
   }

in {fc1}

当我运行 dhall-to-json 时，出现以下错误：

Error: Invalid alternative type

6|  < Static : StaticFC | Dynamic : DynamicFC >

FunctionCode.dhall:6:4

关于如何使用这个定义的联合，我尝试了一些不同的组合，但没有运气。我错过了什么？

解决方法

问题在于 StaticFC 和 DynamicFC 是值，而不是类型。但是需要类型来定义 FunctionCodeType 联合类型。

您可以通过访问 Type 和 StaticFC 中包含的 DynamicFC 字段轻松解决此问题：

let StaticFC = ./StaticFunctionCode.dhall
let DynamicFC = ./DynamicFunctionCode.dhall

in < Static : StaticFC.Type | Dynamic : DynamicFC.Type >