在模块之间传播 Haskell Singleton 定义

Question

我正在使用singletons和singletons-th库，并且我想（如果可能）在文件之间拆分单例定义。 我尝试创建一个数据系列，但我收到一个Declaration cannot be promoted错误。

data family Field
data family SField :: Field -> Type

singletons
  [d|

  data instance Field = Field1 | Field2
  |]

>>> Other file:
singletons
  [d|
  data instance Field = Field3
  |]

如何在两个或多个文件之间拆分单例定义？

Answer 1

您有两个问题，其中一个与在文件或 TH 之间拆分无关。

• “目前无法推广数据族实例构造函数。GHC 的类型理论无法胜任推广数据族的任务，这需要完全依赖类型。” 我认为用户指南解释了cannot be promoted错误。 所以你不能这样定义SField 。

• data family应该有一个类型参数（与类相同）。 像data family Field a; ... data instance Field Int = ...; data instance Field Char = ...;类的东西data family Field a; ... data instance Field Int = ...; data instance Field Char = ...; data family Field a; ... data instance Field Int = ...; data instance Field Char = ...; . 如果没有参数，您只能定义一个实例，并且它的所有构造函数都必须在该实例中。

你为什么要定义一个data family ，为什么要通过 TH/这里的用例是什么？