是否可以在
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并计算出详细信息.不幸的是,在大多数情况下,它可能不是你想要的(东方,北方,南方,西方?蓝色,绿色,红色?),你想要的(定义排序)似乎并不合理.