如何获得联积的所有可能成员
How to obtain all possible members of a coproduct
我一直在尝试列出联积类型的所有成员。这个 非常接近我想要达到的目标:
sealed trait Traity
case object Foo extends Traity
case class Bar() extends Traity
case class Baz() extends Traity
import shapeless._
class NameHelper[A] {
def apply[C <: Coproduct, K <: HList]()(
implicit
gen: LabelledGeneric.Aux[A, C],
keys: ops.union.Keys.Aux[C, K],
toSet: ops.hlist.ToTraversable.Aux[K, Set, Symbol]): Set[String] = toSet(keys()).map(_.name)
}
def names[A] = new NameHelper[A]
names[Traity]()
预期输出:
res0: Set[String] = Set(Bar, Baz, Foo)
但我的源类型不是密封特征,而是原始无形副产品。我尝试了以下方法,但它没有编译:
type ISB = Int :+: String :+: Boolean :+: CNil
class NameHelper2[A <: Coproduct] {
def apply[K <: HList]()(
implicit
keys: ops.union.Keys.Aux[A, K],
toSet: ops.hlist.ToTraversable.Aux[K, Set, Symbol]): Set[String] = toSet(keys()).map(_.name)
}
def names2[A <: Coproduct] = new NameHelper2[A]
names2[ISB]()
结果是缺少隐式值:
could not find implicit value for parameter keys: shapeless.ops.union.Keys.Aux[ISB,K]
names2[ISB]()
我要的是可能的余积成员:Set(Int, String, Boolean)
提前致谢。
不是很近。在此处提取现有键,在此处创建类型的文本表示。
你可以做到
class NameHelper2[C <: Coproduct] {
def apply[L <: HList, L1 <: HList]()(
implicit
toHList: ops.coproduct.ToHList.Aux[C, L],
fillWith: ops.hlist.FillWith[nullPoly.type, L],
mapper: ops.hlist.Mapper.Aux[typeablePoly.type, L, L1],
toSet: ops.hlist.ToTraversable.Aux[L1, Set, String]): Set[String] = toSet(mapper(fillWith()))
}
object nullPoly extends Poly0 {
implicit def cse[X]: Case0[X] = at(null.asInstanceOf[X])
}
object typeablePoly extends Poly1 {
implicit def cse[X](implicit typeable: Typeable[X]): Case.Aux[X, String] = at(_ => typeable.describe)
}
我一直在尝试列出联积类型的所有成员。这个
sealed trait Traity
case object Foo extends Traity
case class Bar() extends Traity
case class Baz() extends Traity
import shapeless._
class NameHelper[A] {
def apply[C <: Coproduct, K <: HList]()(
implicit
gen: LabelledGeneric.Aux[A, C],
keys: ops.union.Keys.Aux[C, K],
toSet: ops.hlist.ToTraversable.Aux[K, Set, Symbol]): Set[String] = toSet(keys()).map(_.name)
}
def names[A] = new NameHelper[A]
names[Traity]()
预期输出:
res0: Set[String] = Set(Bar, Baz, Foo)
但我的源类型不是密封特征,而是原始无形副产品。我尝试了以下方法,但它没有编译:
type ISB = Int :+: String :+: Boolean :+: CNil
class NameHelper2[A <: Coproduct] {
def apply[K <: HList]()(
implicit
keys: ops.union.Keys.Aux[A, K],
toSet: ops.hlist.ToTraversable.Aux[K, Set, Symbol]): Set[String] = toSet(keys()).map(_.name)
}
def names2[A <: Coproduct] = new NameHelper2[A]
names2[ISB]()
结果是缺少隐式值:
could not find implicit value for parameter keys: shapeless.ops.union.Keys.Aux[ISB,K]
names2[ISB]()
我要的是可能的余积成员:Set(Int, String, Boolean)
提前致谢。
不是很近。在此处提取现有键,在此处创建类型的文本表示。
你可以做到
class NameHelper2[C <: Coproduct] {
def apply[L <: HList, L1 <: HList]()(
implicit
toHList: ops.coproduct.ToHList.Aux[C, L],
fillWith: ops.hlist.FillWith[nullPoly.type, L],
mapper: ops.hlist.Mapper.Aux[typeablePoly.type, L, L1],
toSet: ops.hlist.ToTraversable.Aux[L1, Set, String]): Set[String] = toSet(mapper(fillWith()))
}
object nullPoly extends Poly0 {
implicit def cse[X]: Case0[X] = at(null.asInstanceOf[X])
}
object typeablePoly extends Poly1 {
implicit def cse[X](implicit typeable: Typeable[X]): Case.Aux[X, String] = at(_ => typeable.describe)
}