问在shapeless中有没有基础设施可以让类型构造函数发挥Nat的威力？
EN

Stack Overflow用户

提问于 2017-02-23 16:36:29

回答 1查看 53关注 0票数 2

对我来说，这似乎是一个非常基本的功能，但我在当前的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实例？

回答已采纳

发布于 2017-02-23 16:49:10

不，没有。正如你观察到的，这很可能需要一个Point-like类型的类才有用。我建议在Kittens中添加类似这样的东西，它依赖于shapeless和Cats。

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/42410653

复制

相似问题

问在shapeless中有没有基础设施可以让类型构造函数发挥Nat的威力？EN