셰이프가없는 zipWithKeys : 암시 적 매개 변수를 찾을 수 없습니다.

Question

저는 최근에 셰이프를 가지고 놀았습니다.

import shapeless._ 
import syntax.singleton._ 
import record._ 

object NotWorking { 
    val result = ("value" :: HNil).zipWithKeys("key" :: HNil) 
} 

I 출력 확장 기록이 조각을 기대 : 나는 주위에 내 머리를 정리 할 수없는이 매우 기본적인 것이있다. 그러나 컴파일러는 withKeys에 대한 암시를 찾을 수 없습니다 :

could not find implicit value for parameter withKeys: shapeless.ops.hlist.ZipWithKeys[shapeless.::[String,shapeless.HNil],shapeless.::[String,shapeless.HNil]] 
[error]  ("value" :: HNil).zipWithKeys("key" :: HNil) 

그것은 더욱 혼란, 나는 형태 볼품없는 '테스트 케이스를했다 예로의 완벽하게 작동합니다 : 나는 무엇을 놓치고

import shapeless._ 
import syntax.singleton._ 
import record._ 

object ShamelesslyStolenFromTests { 
    val orig = 
    ("intField" ->> 1) :: 
    ("boolField" ->> true) :: 
    HNil 

    val result = orig.values.zipWithKeys(orig.keys) 
} 

?

Answer 1

다음 코드는 컴파일 :

import shapeless._ 
    import syntax.singleton._ 
    import record._ 

    object FinallyWorking { 
    val result = ("value" :: HNil).zipWithKeys[Witness.`"key"`.T :: HNil]("key".narrow :: HNil) 
    } 

는 그래서이 메소드의 형식 매개 변수에 대한 형식 유추에 문제가 있었다 것 같다.