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 예 저는 매크로 주석 (매크로 파라다이스)을 사용하여 이것을 구축하고 있습니다. 나는 다음과 같은 유형을 제공하려고 노력했다 :
—
Roch
q"""implicit val $in : Field.Aux[$className, Witness.Lt[String]#T, String] = Field.apply[$className,$fieldType](Witness($fieldName), ($cc: $className) => $cc.$tn)"""
$in
(내가 사용이 필요합니다 생각ConstantType
)?