Scala 3 类型与 monad

Question

我有类似：

type RawListResponse[T] = Either[ResponseException[String, circe.Error], List[T]]
type RawOptionResponse[T] = Either[ResponseException[String, circe.Error], Option[T]]

用于转换器的东西：

given convList[T]: Conversion[RawListResponse[T], MyListResponse[T]] with

    def apply(
        raw: RawListResponse[T],
    ): MyListResponse[T] = raw.left.map { (respExc: ResponseException[String, circe.Error]) =>
      respExc.getMessage
    }

将其合并到一个 F[_] 中会很好。而不是使用选项、列表等转换器。

有什么想法吗？谢谢！

Answer 1

好的，我找到了解决方案：

type RawHKResponse[T, F[_]] = Either[RawHKResponse[String, circe.Error], F[T]]
type MyHKResponse[T, F[_]] = Either[String, F[T]]


given convHigherKinded[T, F[_]]: Conversion[RawHKResponse[T, F], MyHKResponse[T, F]] with

def apply(
    raw: RawHKResponse[T, F],
): MyHKResponse[T, F] = raw.left.map { (respExc: ResponseException[String, circe.Error]) =>
  respExc.getMessage
}