Shapeless zipWithKeys: Konnte den impliziten Parameter

Question

nicht finden Ich habe vor kurzem mit formlos gespielt. Es gibt dieses sehr grundlegende Ding, das ich meinen Kopf nicht einwickeln kann:

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

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

Ich erwarte dieses Schnipsel, um einen ausdehnbaren Rekord auszugeben. Aber der Compiler ist nicht in der Lage eine implizite für withKeys zu finden:

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) 

Es ist noch verwirrender, wie das Beispiel I Form von Testfällen Shapeless nahm funktioniert perfekt:

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

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

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

Was bin ich?

Answer 1

Der folgende Code kompiliert:

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

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

So ist es das scheint ein Problem mit Typinferenz für Typparameter des Verfahrens war.