Can shapeless Record type be used as a Poly1?
问题 Assuming if I have the following Record typed data, and a hlist of keys: val rr = ("a" ->> 1) :: ("b" -> "s") :: ("c" -> 3) :: HNil val hh = "c" :: "b" :: HNil And I want to extract values in rr for each key in hh , then combine them into a type level object, eventually yielding: (3: Int) :: ("s": String) :: HNil How this can be achieved with least amount of code? I could obviously write a inductively-summoned implicit function but it seems to be overkill 回答1: Firstly, you have typos. ->>