Как обернуть эффективный F вместо конструктора конкретного типа?

У меня есть следующее определение функции:

  private val checkSapHealth: IO[ServerHealth] =
    BlazeClientBuilder[IO](global).resource.use { client =>
      discovery
        .senderAddr
        .flatMap { addr =>
          client
            .get(addr.url |+| addr.health) { res =>
              res.status match {
                case Ok =>
                  IO(ServerOnline)
                case _ =>
                  IO(ServerOffline)
              }
            }
            .timeout(2.second)
            .recover {
              case _: Throwable => ServerOffline
            }

        }
    }

Я хотел бы заменить конкретный тип с IO на F[_], чтобы сделать его более абстрактным. Проблема здесь в строке:

IO(ServerOnline)

Вопрос в том, как это сделать

F(ServerOnline)

scala functional-programming cats-effect scala-cats
person softshipper    schedule 25.09.2019    source источник

Ответы (2)


arrow_upward
2
arrow_downward

Попробуйте использовать cats.effect.Sync

https://typelevel.org/cats-effect/typeclasses/sync.html

Таким образом, в основном использование Sync[IO].delay эквивалентно использованию IO.apply.

private def checkSapHealth[F[_]: Sync]: F[ServerHealth] = ...
person Dmytro Mitin    schedule 25.09.2019

arrow_upward
1
arrow_downward

используйте ConcurrentEffect и добавьте неявный аппликатив F, что даст вам возможность поднимать значения в F-контекст

private def checkSapHealth[F[_] : ConcurrentEffect](implicit A: Applicative[F]): F[ServerHealth] =
  BlazeClientBuilder[F](global).resource.use { client =>
    discovery
      .senderAddr
      .flatMap { addr =>
        client
          .get(addr.url |+| addr.health) { res =>
            res.status match {
              case Ok =>
                A.pure(ServerOnline)
              case _ =>
                A.pure(ServerOffline)
            }
          }
          .timeout(2.second)
          .recover {
            case _: Throwable => ServerOffline
          }
      }
  }
person Sagi    schedule 25.09.2019