Wie eine scala Liste mit formlos splitAt

Question

Ich versuche, eine Liste der Größe S in N aufzuspalten, wo es, dass N, M Summe S. up bekannt ist, wird dadurch nicht kompilieren:

def splitIt[N <: Nat, 
      M <: Nat, 
      S <: Nat](u: Sized[List[Int], N] {type A = N}, 
         v: Sized[List[Int], M] {type A = M}, 
         t: Sized[List[Int], S] {type A = S})(implicit sum: SumAux[N, M, S]): Unit = { 
    val z = t.splitAt[N] 
} 

Fehler

No implicit view available from List[Int] => scala.collection.GenTraversableLike[S,List[Int]]. 

not enough arguments for method sizedOps: (implicit evidence$2: List[Int] => scala.collection.GenTraversableLike[S,List[Int]])shapeless.SizedOps[S,List[Int],S]. Unspecified value parameter evidence$2. 

Schluss richtige Version

def splitIt[N <: Nat, 
      M <: Nat, S <: Nat](u: Sized[List[Int], N] {type A = Int}, 
           v: Sized[List[Int], M] {type A = Int}, 
           t: Sized[List[Int], S] {type A = Int})(implicit sum: DiffAux[S, N, M], toInt: ToInt[N]): Unit = { 
    val z = t.splitAt[N] 
} 

Answer 1

Die typeA muss der Typ der Elemente der Liste sein, nicht wieder die Größe Argument. Deshalb versucht es, zu GenTraversableLike[A, List[Int]] zu konvertieren. Sie müssen A auf Int in jedem Fall setzen.