S
Size: a a a
S
Oℕ
S
Oℕ
Oℕ
S
Oℕ
Oℕ
Oℕ
Oℕ
Oℕ
Oℕ
S
Oℕ
Oℕ
S
S
Oℕ
Oℕ
TG
def initRoutes[Env[_]: HasLocal[*[_], ApplicationContext]]: HttpRoutes[E] = ???
которая позволяет проинициализировать роуты. Для нее необходим контекст HasLocal
. def runHttp4sServer[F[_]: ConcurrentEffect](routes: HttpRoutes[F]): F[Unit] = ???
которая ранит хттп сервер с передаваемыми роутами. ConcurrentEffect
, а Env
из тофу не поддерживает его.