Question

为什么我需要在第一行添加类型注释？ c.get[List[String]]("primary-group") Decoder.Result[List[String]] flatMap后Decoder.Result[String]应保持最高类型并为dependent type，但它会更改为[DecodingFailure，String]。为什么？它的问题是case class JWTPayload(primaryGroup: Group, groupMember: List[Group], name: String, pid: String) implicit val jwtPayloadDecoder: Decoder[JWTPayload] = Decoder.instance(c => ( c.get[List[String]]("primary-group").flatMap(l => if(l.size == 1) l.head.asRight else DecodingFailure("", c.history).asLeft) : Decoder.Result[String], c.get[List[String]]("group-member"), c.get[String]("name"), c.get[String]("pid") ).map4( JWTPayload ) )吗？

: Decoder.Result[String

没有Error:(43, 7) value map4 is not a member of (scala.util.Either[io.circe.DecodingFailure,String], io.circe.Decoder.Result[List[String]], io.circe.Decoder.Result[String], io.circe.Decoder.Result[String]) possible cause: maybe a semicolon is missing before `value map4'? ).map4(我得

action.property

由于

Answer 1

这不是一个完整的答案，但我希望它会提供一些见解。这里的关键部分是如何实现map4。从猫0.9开始，它通过cats.syntax.TupleCartesianSyntax特征及其隐含的catsSyntaxTuple4Cartesian来完成，它将一个4元组包装到一个cats.syntax.Tuple4CartesianOps类中（在猫1.0和＃34;笛卡尔和＃34;已更改） to＆＃34; semigroupal＆＃34;）。此代码是由Boilerplate.scala为最多22个元组自动生成的。自动生成的代码如下所示：

implicit def catsSyntaxTuple4Cartesian[F[_], A0, A1, A2, A3](t4: Tuple4[F[A0], F[A1], F[A2], F[A3]]): Tuple4CartesianOps[F, A0, A1, A2, A3] = new Tuple4CartesianOps(t4)


private[syntax] final class Tuple4CartesianOps[F[_], A0, A1, A2, A3](t4: Tuple4[F[A0], F[A1], F[A2], F[A3]]) {
  def map4[Z](f: (A0, A1, A2, A3) => Z)(implicit functor: Functor[F], cartesian: Cartesian[F]): F[Z] = Cartesian.map4(t4._1, t4._2, t4._3, t4._4)(f)
  def contramap4[Z](f: Z => (A0, A1, A2, A3))(implicit contravariant: Contravariant[F], cartesian: Cartesian[F]): F[Z] = Cartesian.contramap4(t4._1, t4._2, t4._3, t4._4)(f)
  def imap4[Z](f: (A0, A1, A2, A3) => Z)(g: Z => (A0, A1, A2, A3))(implicit invariant: Invariant[F], cartesian: Cartesian[F]): F[Z] = Cartesian.imap4(t4._1, t4._2, t4._3, t4._4)(f)(g)
  def apWith[Z](f: F[(A0, A1, A2, A3) => Z])(implicit apply: Apply[F]): F[Z] = apply.ap4(f)(t4._1, t4._2, t4._3, t4._4)
}

请注意F[_]（仿函数）类型参数。实际上，此代码将map4方法添加到任何4元组，其中每个内部类型在某些类型上是相同的函子。

假设你做了import cats.implicits._，在（部分）暗示解决后你的代码实际上是这样的：

cats.implicits.catsSyntaxTuple4Cartesian[Decoder.Result, String, List[String], String, String](
  c.get[List[String]]("primary-group").flatMap(l => if (l.size == 1) l.head.asRight else DecodingFailure("", c.history).asLeft): Decoder.Result[String],
  c.get[List[String]]("group-member"),
  c.get[String]("name"),
  c.get[String]("pid")
).map4[JWTPayload](
  JWTPayload
)

当您未指定Decoder.Result[String]时，Scala编译器不够智能，无法将Either[DecodingFailure, String]拆分为仿函数类型Either[DecodingFailure, _]和String，那么

将有匹配的Functor和Cartesian隐式对象（实际由cats.implicits对象通过cats.instances.AllInstances和cats.instances.EitherInstances特征提供）
它将匹配用于元组中其他3个字段的仿函数类型（即Decoder.Result[_]）。

所以我认为这种行为是由于map4通过隐式Ops类添加到4元组的事实以及基础类型为Either的事实的结果。 2位通用类型而不是简单的Functor。

使用flatMap键入分辨率

1 个答案: