乙烯基：组成记录类别别名

Question

在Vinyl中，我可以为记录定义类型别名，以便更容易导出到其他模块：

import Data.Vinyl

name = Field :: "name" ::: String
age = Field :: "age" ::: Int
type Person = ["name" ::: String, "age" ::: Int]

现在假设我添加另一个存储高度的字段。

height = Field :: "height" ::: Int

我想很好地为包含Person和height的记录构建一个类型别名。天真，这可能看起来像这样：

type MeasuredPerson = ("height" ::: Int) : Person

显然，这种语法不起作用！有没有办法做到这一点？是否有任何好的参考资料可以解释这里似乎使用的类型级数组语法？

Answer 1

原来有一个非常简单的答案，我设法错过了：

Data.Vinyl.Rec为类型级别列表定义了cons和append，因此以下工作：

type MeasuredPerson = ("height" ::: Int) ': Person

如果我有两个列表，我可以按如下方式添加它们：

type Other = Person ++ Address