Shapeless
makrosunu quasiquote
içinden Scala
ile aramaya çalışıyorum ve almak istediklerimi alamıyorum.Bir Quasiquote içinde Shapeless nasıl kullanılır?
My makro hataları dönmez ama burada 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)"""
}
benim Field
tanımıdır içine Witness(fieldName)
genişletmek değildir:
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)
}
}
ben gibi görünüyor oluşturmak örtük Bu durumda :
implicit val implicitFieldname : Field[MyCaseClass, fieldWitness.`type`#T]{
override type fieldType = java.lang.String
}
n bu gibi bir şey üretecek bir quasiquote
dışında tanımlanmış:
implicit val implicitFieldname : Field.Aux[MyCaseClass, Witness.Lt[String]#T, String] = ...
yapılabilecek bir şey var mı?
Bunu makro ek açıklamada mı kullanıyorsunuz? "$ In" için bir tür ek açıklama sağlamayı denediniz mi ("ConstantType" kullanılmasını gerektirir)? –
@TravisBrown evet bunu bir makro notu (Macro Paradise) kullanarak yapıyorum. Böyle bir tür sağlamaya çalıştım: '' 'q '' 'örtük val $ in: Field.Aux [$ className, Witness.Lt [String] #T, String] = Field.apply [$ className, $ alanType ] (Tanık ($ alanAdı), ($ cc: $ className) => $ cc. $ Tn) "" "' ' – Roch
Ancak, tür ek açıklamada belirli bir alan adına ihtiyacınız olacaktır (bkz. Örneğin eski benim -Shapeless 2.0 blog yazısı [burada] (ConstantType' kullanmanın bir örneği için https://meta.plasm.us/posts/2013/06/28/singleton-types-for-literals-in-scala/). Etrafında tam bir çalışma örneği var mı? –