是否可以使以下代码工作?
def zeroTo[N <: Nat]:Sized[List[Int], N] = {
new Sized[List[Int], N](List.iterate(0, toInt[N])(1+)) {
type A = Int
}
}
我收到一个编译错误,提示“找不到参数 toIntN 的隐式值:shapeless.ToInt[N]”。
是否可以使以下代码工作?
def zeroTo[N <: Nat]:Sized[List[Int], N] = {
new Sized[List[Int], N](List.iterate(0, toInt[N])(1+)) {
type A = Int
}
}
我收到一个编译错误,提示“找不到参数 toIntN 的隐式值:shapeless.ToInt[N]”。
您可以只添加一个上下文绑定:
def zeroTo[N <: Nat: ToInt]: Sized[List[Int], N] = {
new Sized[List[Int], N](List.iterate(0, toInt[N])(1+)) {
type A = Int
}
}
这给了我们:
scala> zeroTo[_6]
res0: shapeless.Sized[List[Int],shapeless.Nat._6] = List(0, 1, 2, 3, 4, 5)
请注意,您可以使用以下或多或少等效地编写它wrap
:
def zeroTo[N <: Nat: ToInt]: Sized[List[Int], N] =
Sized.wrap(List.iterate(0, toInt[N])(1+))
更新:Shapeless 2.2.0 版本:
def zeroTo[N <: Nat: ToInt]: Sized[List[Int], N] = {
Sized.wrap[List[Int], N]( List.iterate( 0, toInt[N] )( 1+ ) )
}