withのShapeless
内部からマクロを呼び出そうとしていますが、取得したいものが取得できません。quasiquote
Scala
私のマクロはエラーを返しませんが、展開Witness(fieldName)
しませんWitness.Lt[String]
val implicits = schema.fields.map { field =>
val fieldName:String = field.name
val fieldType = TypeName(field.valueType.fullName)
val in = TermName("implicitField"+fieldName)
val tn = TermName(fieldName)
val cc = TermName("cc")
q"""implicit val $in = Field.apply[$className,$fieldType](Witness($fieldName), ($cc: $className) => $cc.$tn)"""
}
これが私のField
定義です:
sealed abstract class Field[CC, FieldName] {
val fieldName: String
type fieldType
// How to extract this field
def get(cc : CC) : fieldType
}
object Field {
// fieldType is existencial in Field but parametric in Fied.Aux
// used to explict constraints on fieldType
type Aux[CC, FieldName, fieldType_] = Field[CC, FieldName] {
type fieldType = fieldType_
}
def apply[CC, fieldType_](fieldWitness : Witness.Lt[String], ext : CC => fieldType_) : Field.Aux[CC, fieldWitness.T, fieldType_] =
new Field[CC, fieldWitness.T] {
val fieldName : String = fieldWitness.value
type fieldType = fieldType_
def get(cc : CC) : fieldType = ext(cc)
}
}
この場合、生成する暗黙のコードは次のようになります。
implicit val implicitFieldname : Field[MyCaseClass, fieldWitness.`type`#T]{
override type fieldType = java.lang.String
}
それが外部で定義されていた場合、quasiquote
次のようなものが生成されます。
implicit val implicitFieldname : Field.Aux[MyCaseClass, Witness.Lt[String]#T, String] = ...
できることはありますか?
@TravisBrownはい、私はこれをマクロ注釈(Macro Paradise)を使用して構築しています。私はこのようなタイプを提供しようとしました:
—
Roch
q"""implicit val $in : Field.Aux[$className, Witness.Lt[String]#T, String] = Field.apply[$className,$fieldType](Witness($fieldName), ($cc: $className) => $cc.$tn)"""
ただし、型注釈には特定のフィールド名が必要です(たとえば、以前のShapeless 2.0以前のブログ記事で、の使用例についてはこちらを参照してください
—
Travis Brown
ConstantType
)。あなたは周りに完全な実用例がありますか?
$in
(を使用する必要があると思うConstantType
)の型注釈を指定してみましたか?