scala - 以 Shapeless 形式返回大小为 n 的列表的方法

Question

下面的代码可以运行吗？

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]”。

Answer 1

您只需添加上下文绑定(bind)即可:

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+ ) )
}