在Scala中自动导出密封特征/ ADT排序

是否可以在 Scala中自动派生密封特征族的订单？

例如,能够这样做会很高兴：

sealed trait Letters
case object A extends Letters
case object B extends Letters

(A < B) == True

这感觉就像Shapeless可以处理的东西,但我不知道这是否存在.

解决方法

我假设您希望排序反映定义的顺序,而不是按构造函数的名称排序.

这并不像您期望的那样有趣,因为ClassSymbol API上的kNownDirectSubclasses返回一组符号,而不是有序序列.我不是scalac内部的专家,但according to Eugene Burmako(谁),kNownDirectSubclasses的签名只反映了scalac中发生的事情.

顺便说一句,我已经complaining about this年了,在不同的时间点,我尝试过像reading positions off the symbols这样的东西,但它并没有真正起作用.

无形的通用机械必须在这里作出决定,因为它代表密封的特征作为副产品,它们对它们的元素进行排序.为了保持事物的确定性,它使用构造函数的名称来对案例进行排序：

// Entering paste mode (ctrl-D to finish)

sealed trait Letters
case object B extends Letters
case object A extends Letters

// Exiting paste mode,Now interpreting.

defined trait Letters
defined object B
defined object A

scala> shapeless.Generic[Letters]
res5: shapeless.Generic[Letters]{type Repr = shapeless.:+:[A.type,shapeless.:+:[B.type,shapeless.CNil]]} = anon$macro$45$1@71a11be4

如果这是您想要的,那么您已经完成了设置 – 只需找到关于无形通用推导的good tutorial并计算出详细信息.不幸的是,在大多数情况下,它可能不是你想要的(东方,北方,南方,西方？蓝色,绿色,红色？),你想要的(定义排序)似乎并不合理.