Wie kann ich diese HList richtig mit Anmerkungen versehen?
sealed abstract trait HList
case class :+:[H, T <: HList](head: H, tail: T) extends HList {
def :+:[T](v: T) = new :+:(v, this)
}
case object HNil extends HList {
def :+:[T](v: T) = new :+:(v, this)
}
object HListExpt {
def main(args: Array[String]) {
val me: String :+: Int :+: Symbol :+: HNil.type = "Rahul" :+: 20 :+: 'Male :+: HNil
println(me.head, me.tail.head)
}
}
Beim Versuch, den obigen Code zu kompilieren, wird der folgende Compilerfehler angezeigt:
error: type mismatch;
found : :+:[java.lang.String,:+:[Int,:+:[Symbol,object HNil]]]
required: :+:[String,:+:[Int,:+:[Symbol,HNil.type]]]
val me: String :+: Int :+: Symbol :+: HNil.type = "Rahul" :+: 20 :+: 'Male :+: HNil
Was mache ich hier falsch? Was wäre der richtige Weg, um die obigenHList
?
PS: Der Code wird einwandfrei kompiliert, wenn ich die Typanmerkung entferne.