Не могу сделать простой пример без тега - PullRequest
Новая
       71

Не могу сделать простой пример без тега

0 голосов
/ 07 апреля 2019

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

Это мой код: 

  trait Calculator[F[_]] {
    def sum(a: Int, b: Int): F[Either[Throwable, Int]]
    def minus(a: Int, b: Int): F[Either[Throwable, Int]]
  }

  object calculatorInstances {
    implicit val futureCalculator: Calculator[Future] = new Calculator[Future] {
      override def sum(a: Int, b: Int) =
        Future {
          Try(a + b).toEither
        }
      override def minus(a: Int, b: Int) =
        Future {
          Try(a - b).toEither
        }
    }
  }


  import calculatorInstances.futureCalculator
  def getPlusAndMinus[F[_]: Monad: Calculator](a: Int, b: Int): F[Either[String, Int]] = {
    for {
      sum <- Calculator[F].sum(a, b)
      res <- Calculator[F].minus(sum, b)
    } yield res
  }

Этот код не работает из-за ошибки not found: value Calculator. Как я могу сделать это правильно?

1 Ответ

5 голосов
/ 07 апреля 2019

Добавить материализатор: 

object Calculator {
  def apply[F[_]: Calculator]: Calculator[F] = implicitly
}

Лучше помещать экземпляры класса Calculator[F[_]] (например, неявные futureCalculator) в один и тот же объект-компаньон Calculator, в противном случае вам придется import calculatorInstances._.

Не забудьте import cats.syntax.flatMap._ и import cats.syntax.functor._.

sum в sum <- Calculator[F].sum(a, b) имеет тип Either[Throwable,Int], но ожидается sum в Calculator[F].minus(sum, b)быть Int.

Возможно, возвращаемый тип getPlusAndMinus должен быть F[Either[Throwable, Int]] вместо F[Either[String, Int]].

Возможно, самый простой способ исправить понимание for - это использовать монадный преобразователь: 

def getPlusAndMinus[F[_] : Monad: Calculator](a: Int, b: Int): F[Either[Throwable, Int]] = {
  (for {
    sum <- EitherT(Calculator[F].sum(a, b))
    res <- EitherT(Calculator[F].minus(sum, b))
  } yield res).value
}

На всякий случай весь код: 

import cats.data.EitherT
import cats.Monad
//import cats.syntax.flatMap._ // not necessary if we use EitherT
//import cats.syntax.functor._

import scala.concurrent.Future
import scala.language.higherKinds
import scala.util.Try
import scala.concurrent.ExecutionContext.Implicits.global

object App {

  trait Calculator[F[_]] {
    def sum(a: Int, b: Int): F[Either[Throwable, Int]]
    def minus(a: Int, b: Int): F[Either[Throwable, Int]]
  }

  object Calculator {
    def apply[F[_]: Calculator]: Calculator[F] = implicitly

    implicit val futureCalculator: Calculator[Future] = new Calculator[Future] {
      override def sum(a: Int, b: Int) =
        Future {
          Try(a + b).toEither
        }
      override def minus(a: Int, b: Int) =
        Future {
          Try(a - b).toEither
        }
    }
  }

  def getPlusAndMinus[F[_] : Monad: Calculator](a: Int, b: Int): F[Either[Throwable, Int]] = {
    (for {
      sum <- EitherT(Calculator[F].sum(a, b))
      res <- EitherT(Calculator[F].minus(sum, b))
    } yield res).value
  }
}
...