Как использовать Scala Cats' Kleisli с Either

Question

Я пытаюсь использовать Kleisli для создания функций, возвращающих монаду. Это работает для варианта:

import cats.data.Kleisli
import cats.implicits._

object KleisliOptionEx extends App {
  case class Failure(msg: String)
  sealed trait Context
  case class Initial(age: Int)                                   extends Context
  case class AgeCategory(cagetory: String, t: Int)                    extends Context
  case class AgeSquared(s: String, t: Int, u: Int)             extends Context

  type Result[A, B] = Kleisli[Option, A, B]
  val ageCategory: Result[Initial,AgeCategory] =
    Kleisli {
      case Initial(age) if age < 18 => {
        Some(AgeCategory("Teen", age))
      }
    }

  val ageSquared: Result[AgeCategory, AgeSquared] = Kleisli {
      case AgeCategory(category, age) =>  Some(AgeSquared(category, age, age * age))
    }

  val ageTotal = ageCategory andThen ageSquared
  val x = ageTotal.run(Initial(5))
  println(x)
}

Но я не могу заставить его работать с Либо...:

import cats.data.Kleisli
import cats.implicits._

object KleisliEx extends App {
  case class Failure(msg: String)

  sealed trait Context
  case class Initial(age: Int)                                   extends Context
  case class AgeCategory(cagetory: String, t: Int)                    extends Context
  case class AgeSquared(s: String, t: Int, u: Int)             extends Context

  type Result[A, B] = Kleisli[Either, A, B]

  val ageCategory: Result[Initial,AgeCategory] =
    Kleisli {
      case Initial(age) if age < 18 => Either.right(AgeCategory("Teen", age))
    }

  val ageSquared : Result[AgeCategory,AgeSquared] = Kleisli {
      case AgeCategory(category, age) =>  Either.right(AgeSquared(category, age, age * age))
    }

  val ageTotal = ageCategory andThen ageSquared
  val x = ageTotal.run(Initial(5))

  println(x)
}

Я предполагаю, что у Либо есть два параметра типа, и оболочка Kleisle требует один входной и один выходной параметры типа. Я не могу как скрыть левый шрифт от Либо...

Answer 1

Как вы правильно заявили, проблема в том, что Either принимает два параметра типа, в то время как Kleisli ожидает конструктор типа, который принимает только один. Я предлагаю вам взглянуть на плагин kind-проектора, который решает вашу проблему.

Вы можете обойти это несколькими способами:

Если тип ошибки в Either всегда то же самое, что вы могли бы сделать:

    sealed trait MyError
    type PartiallyAppliedEither[A] = Either[MyError, A]
    type Result[A, B] = Kleisli[PartiallyAppliedEither, A, B]
    // you could use kind projector and change Result to
    // type Result[A, B] = Kleisli[Either[MyError, ?], A, B]

Если необходимо изменить тип ошибки, вы можете сделать Result наберите вместо этого 3 параметра типа и затем используйте тот же подход

type Result[E, A, B] = Kleisli[Either[E, ?], A, B]

Обратите внимание ? происходит от kind-projector,

Answer 2

С выпуском scala 3 вы можете использовать лямбда-тип и переписать его как

      type Result[E, A, B] = Kleisli[[O] =>> Either[E, O], A, B]