कैसे उपयोग कर एक स्केला सूची splitAt को निराकार

Question

मैं एन, जहां यह है कि जाना जाता है पर आकार एस की एक सूची विभाजित करने के लिए एस के एन, एम योग अप यह संकलन नहीं है कोशिश कर रहा हूँ:

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] 
} 

त्रुटियाँ

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. 

अंतिम सही संस्करण

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

typeAसूची के तत्वों के प्रकार की आवश्यकता है, आकार पुन: तर्क नहीं। यही कारण है कि यह GenTraversableLike[A, List[Int]] में कनवर्ट करने का प्रयास कर रहा है। आपको प्रत्येक मामले में A से Int सेट करने की आवश्यकता है।