は、このコードを考えると型クラス

Question

のHListから型を構築しますか？私はそれが任意のHListのCol[_]を取ることができるようにマクロでなければならないと思う。

Answer 1

あなたは、これが直接の外側型コンストラクタとしてColを有する素子の種類に依存していることに注意

、shapeless.ops.Comappedであり

scala> import shapeless._, ops.hlist._ 
import shapeless._ 
import ops.hlist._ 

scala> Comapped[Col[String] :: Col[Int] :: HNil, Col] 
res0: shapeless.ops.hlist.Comapped[shapeless.::[Col[String],shapeless.::[Col[Int],shapeless.HNil]],Col]{type Out = shapeless.::[String,shapeless.::[Int,shapeless.HNil]]} = shapeless.ops.hlist$Comapped$$anon$162@69bb4bc0 

scala> type TableDef = res0.Out 
defined type alias TableDef 

scala> val foo: TableDef = "foo" :: 23 :: HNil 
foo: TableDef = foo :: 23 :: HNil 

scala> val foo: TableDef = "foo" :: true :: HNil 
<console>:18: error: type mismatch; 
found : shapeless.::[String,shapeless.::[Boolean,shapeless.HNil]] 
required: TableDef 
    (which expands to) shapeless.::[String,shapeless.::[Int,shapeless.HNil]] 
     val foo: TableDef = "foo" :: true :: HNil 
           ^

の道のほとんどを得ることができます。 Nameと Ageのようなタイプを収容したい場合は、サブタイプを介して Colを隠します。これはサブタイプを考慮に入れた Comappedのバリエーションを介して可能です。