Question

我正在编写一个合并器，它包含HList等中的Option[A] :: Option[AA] :: Option[AAA]...。

它还具有类型f的函数A,AA, AAA,... => U。然后返回U。如何为组合器编码类型签名？我需要假设我的A, AA, AAA也是Monoids，所以如果我的选项是None，我可以调用Monoid 0为f创建值。我是新手，所以谢谢！！

到目前为止，这是我所拥有的，但是我缺少很多限制。

H的每个元素都是一个Option[A], Option[AA], ...
A, AA, AAA都是Monoids。
HList D只是与H（不带选项）相同。

def combinator[H <: HList, D <: HList, U](in: H, f : D => U) : U =
  f(in map { 
    case None : Option[A] => implicitly[Monoid[A]].zero
    case Some(v) => v
  })

Answer 1

尝试

  import shapeless.{HList, ::, HNil, Id, Poly1}
  import shapeless.ops.hlist.{Comapped, LiftAll, Mapper, NatTRel}
  import cats.Monoid
  import cats.syntax.option._
  import cats.instances.int._
  import cats.instances.string._
  import cats.instances.double._

  object monoidPoly extends Poly1 {
    implicit def cse[A: Monoid]: Case.Aux[Option[A], A] = at {
      case None => implicitly[Monoid[A]].empty
      case Some(v) => v
    }
  }

  def combinator[H <: HList, D <: HList, U](in: H, f: D => U)(
    implicit
//    comapped: Comapped.Aux[H, Option, D],
//    natTRel: NatTRel[H, Option, D, Id],
//    liftAll: LiftAll[Monoid, D],
    mapper: Mapper.Aux[monoidPoly.type, H, D]
  ): U =
    f(in map monoidPoly)

  combinator(1.some :: none[String] :: 2.0.some :: HNil, (_ : Int :: String :: Double :: HNil).toString)
  // "1 ::  :: 2.0 :: HNil"

HList上的类型级别约束，提取功能域

1 个答案: