scala - 如何定义一个 HList 类型，但基于另一个 HList 类型

In lại 作者：行者123 更新时间：2023-12-04 08:27:14 31 4

case class Foo(num: Int, str: String, bool: Boolean)

sealed trait Wrapper[T]
case class Wrapped[T](value: T) extends Wrapper[T]

Generic.Aux[Foo, Int :: String :: Boolean :: HNil]

type WrappedHlist = Wrapper[Int] :: Wrapper[String] :: Wrapper[Boolean] :: HNil

trait WrapperHelper[In] {
  type Out
  def wrap(i: In): Out
}
object WrapperHelper {
  type Aux[I, O] = WrapperHelper[I] { type Out = O }

  implicit val nilWH: WrapperHelper.Aux[HNil, HNil] = new WrapperHelper[HNil] {
    type Out = HNil
    def wrap(i: HNil): HNil = i
  }

  implicit def hconsWH[H, TI <: HList, TO <: HList](
    implicit
    tailWH: WrapperHelper.Aux[TI, TO]
  ): WrapperHelper.Aux[H :: TI, Wrapper[H] :: TO] = new WrapperHelper[H :: TI] {
    type Out = Wrapper[H] :: TO
    def wrap(i: H :: TI): Wrapper[H] :: TO = i match {
      case head :: tail => Wrapped(head) :: tailWH.wrap(tail)
    }
  }
}

def wrap[I](i: I)(implicit wh: WrapperHelper[I]): wh.Out = wh.wrap(i)

@ wrap(Generic[Foo].to(Foo(1, "", true)))
res7: Wrapper[Int] :: Wrapper[String] :: Wrapper[Boolean] :: HNil = Wrapped(1) :: Wrapped("") :: Wrapped(true) :: HNil

implicit def hconsWH[H, TI <: HList, TO <: HList](
  implicit
  tailWH: WrapperHelper.Aux[TI, TO]
): WrapperHelper.Aux[H :: TI, Wrapper[H] :: TO]

implicit def hconsWH[H, TI <: HList, TO <: HList](
  implicit
  thatThingINeedToLiftAToWrapperA: Encoder[A], // whatever is needed to lift A => Wrapper[A]
  tailWH: WrapperHelper.Aux[TI, TO]
): WrapperHelper.Aux[H :: TI, Wrapper[H] :: TO]

31 4 0

• scala - 什么时候空的 HList 不是 HList？

  在学习无形时，我想知道为什么这不能编译: def someHList[H <: HList]: H = HNil 因为 HNil 对象扩展了扩展 HList 的 HNil 特性？ 在返回一些 HLis

• scala - 为什么我不能索引到通过映射到另一个 HList 获得的 HList？

  偶.head不起作用。 我需要做哪些改变才能使这项工作发挥作用？ import shapeless._ import HList._ import Nat._ scala> case class Fo

• scala - 如何从 HList 创建镜头的 HList

  我正在编写一个通用表格查看器，它应该能够显示任何类型的 Seq[Row]其中 Row B.sort(hlistNthLens[R,nat(ci)]))(tab.hdrs(ci).toString))

• scala - 带有选项的无形状平面图 HList 产生 HList

  鉴于以下 case class A(value:Int) case class B(value:String) val h:Option[A] :: A :: Option[B] :: Option[

• scala - 使用静态 Nat HList 压缩通用 HList

  我正在寻找一种将两个 HList 压缩在一起的方法。第一个是从以其通用表示形式转换的案例类生成的，第二个是手动定义为 Nat 的 HList。 因此，我期望一个元组(或 2 成员 HList)包含案例

• scala - 如何定义一个 HList 类型，但基于另一个 HList 类型

  假设我有一个案例类: case class Foo(num: Int, str: String, bool: Boolean) 现在我还有一个简单的包装器: sealed trait Wrapper[

• scala - 从一种类型的 Monoids HList 派生 HList of zeroes

  我正在学习 shapeless，目前我正在尝试创建一个执行以下操作的函数:给定一个 HList 类型，它返回 None 的 HList，Option 类型对应给定 HList 类型。 例如: crea

• scala - shapeless HList 到 TupleN，其中元组形状不需要与 HList 形状完全匹配

  我想创建相当于: def toTupleN[A1, ..., AN, L <: HList](l: L): TupleN[A1, ..., AN] 代码使用 toTupleN只有当只有一个 N 时才应

• scala - 如何使用 foldRight/foldLeft 将 HList 转换为另一个 HList

  这个问题来源于我之前的问题:What does HList#foldLeft() return? 我有这个场景: class Cursor { } trait Column[T] { def r

• java - 使用 functionjava HList，有没有办法将任意 HList 的每个元素传递给相应的柯里化(Currying)函数？

  例如，如果我有一个 HList: HList>> list = ... 有没有办法将每个元素应用于柯里化(Currying)函数: F>> f = ... 这样我就能以某种方式得到 D ？ 此外，如果

• scala - HList 的无形状类型推断不起作用

  我正在尝试实现获取第一个元素的通用函数: import shapeless.ops.hlist.IsHCons import shapeless.{Generic, HList} object App

• scala - 一元约束到可变参数的 HList

  假设我们有这个: def join[A, B](a: A, b: B) def join[A, B, C](a: A, b: B, c: C) // etc 基本上有很多用于最多 20 个类型参数的重

• scala - 如何将元素附加到 HList

  我正在尝试以下类(class) import shapeless._ import syntax.std.tuple._ class TestedClass[HL](nodes: HL) {

• scala - 在函数内映射 HList

  下面的代码似乎很明显可以编译和运行 case class Pair(a: String, b: Int) val pairGen = Generic[Pair] object size extends

• scala - 折叠具有未知类型的 HList

  我有一个复杂的类型层次结构，但要分解它有两个基本特征:Convertable和 Conversion[A conv.convert(automaton)) } override def conv

• scala - 如何映射所有元素都是类型类实例的 HList？

  假设我有一个像这样的类型类: trait Select[A] { def select(selector: String): Set[A] } typeclass 提供了“给定一个选择器字符串，给

• scala - 提供附加参数以映射到 HList

  我想做这样的事情: def run(subjects: List[Subject]) = { val configs = compute() subjects.map(s => configs

• Haskell:HList 和可选参数

  我一直在尝试使用 HList创建记录。 我一直在使用 HList-GHCSyntax 中定义的运算符. 到目前为止它工作得很好，让我可以写这样的东西: myRecord = (param1 .=.

• haskell - "Modern"HList？

  HList package是基于现在古老的 Haskell 技术。一个简单的问题是:考虑到过去 8 年 Haskell/GHC 开发的所有精彩新特性，“现代”HList 的构建方式会非常不同吗？我意识

• scala - 无法映射到 HList

  我试图解决 this problem与无形。但是由于某种原因我无法在 HList 上映射.我会让代码不言自明。 import shapeless._ import HList._ case class