def initRoutes[Env[_]: HasLocal[*[_], ApplicationContext]]: HttpRoutes[E] = ??? которая позволяет проинициализировать роуты. Для нее необходим контекст HasLocal.
Имеется функция def runHttp4sServer[F[_]: ConcurrentEffect](routes: HttpRoutes[F]): F[Unit] = ??? которая ранит хттп сервер с передаваемыми роутами.
Проблема заключается в том, что использовать одинаковый контекст для этих 2х функций нельзя, т.к. для подъема сервера у эффекта требуется ConcurrentEffect, а Env из тофу не поддерживает его.
Вопрос заключается в том, а как быть в такой ситуации?
Иметь разные эффекты - для инициализации, и для работы с контекстом
Обсуждают сегодня