Shapeless

Question

kullanarak yöntem için gerekli olandan daha fazla kanıt gerekli Dün birkaç meslektaşla Shapeless'ı araştırıyordum ve bu parametre Int:

mutlaka o E :: T =:= Int :: T sonucuna varılabilir, ancak derleyici bunun gerçekleştirilebilmesi mümkün değildi -

def addOneToCaseClass[C, H <: HList, E, T <: HList] 
    (c: C) 
    (implicit gen: Generic.Aux[C, H], 
       h: IsHCons.Aux[H, E, T], 
       ev: E =:= Int, 
       ev2: (Int :: T) =:= H 
    ): C = { 

    val hList = gen.to(c) 

    val elem = hList.head 
    val tail = hList.tail 

    val newElem = elem + 1 

    gen.from(newElem :: tail) 
} 

o ev2 parametre gereksiz geliyor bana.

Neden belli bir nedeni var mı?

Answer 1

Sezgileriniz makul, ancak ne yazık ki, Scala derleyicisi ve ev'dan ev2 türetmek için yeterince akıllı değildir. Sorun, h'un yalnızca H'un E :: T'a ayrıştığını belirlemesidir; bu, E ve T eşittir H eşittir.

Ben senin orijinaline benzer ile gelip, ama bir daha tanık vardır edebilirsiniz Bunun tersest formülasyonu, İşte

def addOneToCaseClass[C, R <: HList, T <: HList](c: C) 
    (implicit 
    gen: Generic.Aux[C, R], 
    h: IsHCons.Aux[R, Int, T], 
    ev: (Int :: T) =:= R) = { 
    val hList = gen.to(c) 
    val elem = hList.head 
    val tail = hList.tail 
    gen.from(elem+1 :: tail) 
} 

biz E =:= Inth kullanarak göstermek için kanıt ortadan edebiliyoruz

Bu R, Int :: T'a ayrışır. Yine de, gen'da güncellenen öğelerle geri dönmek için Int :: T'un R'a eşit olduğunu göstermemiz gerekiyor.