通用数据集

通用数据表示的结构断言(全球总部。通用。代表a).

有时，我们希望编写只适用于特定数据类型的泛型特定形状，例如非sum类型（单个构造函数）。实现这一点是公平的如果我们添加一个类型错误对相关泛型的约束表示展开实例（此处(:+:)构造函数和类型）。

这个库有效地将这些检查从泛型代码中提取出来，并通过分别进行。这样，我们可以简化泛型，并使其更加灵活（例如，用户可以选择是否在编译时允许void类型）。

这是我的一个小功能通用数据函数库。

许可证

根据麻省理工学院许可证提供。请参见许可证用于许可证文本。