1

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

函数代码.dhall

{- Function Code union -}

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

in < Static : StaticFC | Dynamic : DynamicFC >

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

静态函数代码.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 }
}

动态函数代码.dhall

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

in
{ Type =
    { idtype : FieldTypeID
    , idindex : Natural
    , options : OptionList
    , fct : Natural
    , timestamp : Optional Text
    }
, default = { timestamp = None Text, 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

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

4

1 回答 1

2

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

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

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

in < Static : StaticFC.Type | Dynamic : DynamicFC.Type >
于 2021-07-20T11:05:32.313 回答