对我来说,这似乎是一个非常基本的功能,但是在当前的Shapeless(2.3.3)中我找不到它。
所以我在寻找一种Induction[X,F[_],N <: Nat]
与
Induction[X,F,Nat._0].Out =:= X
Induction[X,F,Nat._1].Out =:= F[X]
Induction[X,F,Nat._2].Out =:= F[F[X]]
...
也许还可以沿着类型构造链接一个函数,例如构造一个Point
实例?
不,没有。如您所见,这很可能需要一个类似Point
的类型类来使用。我建议向小猫添加类似这样的内容,这取决于无形和猫。
本文收集自互联网,转载请注明来源。
如有侵权,请联系 [email protected] 删除。
我来说两句