K
этот имплисит ноль
Size: a a a
2020 September 23
K
ну пройди по тому что я заменшонил
K
что ты как павел
Oℕ
Делаю лифт для зио, как это правильнее сделать
что ты хочешь
Oℕ
у нас есть два анлифта
Oℕ
первый
Unlift[IO[E, A], ZIO[R, E, A]]
Unlift[IO[E, A], ZIO[R, E, A]]
Oℕ
и второй
Unlift[ZIO[R, E, A], ZIO[R with Has[Shit], E, A]]
Unlift[ZIO[R, E, A], ZIO[R with Has[Shit], E, A]]
Oℕ
можно добавить \ отрезать весь контекст, можно весь кусок
Oℕ
или тебе не зио в зио
GP
я там радостно наструячил type Zalupa[F[_]] = Logging[F] @Id(“zalupa”)
чел мне так приятно что ты пользуешься моим типом
R
чел мне так приятно что ты пользуешься моим типом
спасибо за библиотеку
GP
спасибо за библиотеку
предлагаю еще тупкласс Len4
K
или тебе не зио в зио
у меня есть Java функции , в проекте Зио, нужно как то обернуть
K
гриша предложил в тф варианте
K
но в проекте нет котоэффектов к примеру
Oℕ
для интеграции правильно Sync
w
Oℕ
т.е. ты делаешь
trait MyShit[F[_]]{
def doThatJavathing(...): F[...]
def doThisJavaThing(...): F[...]
trait MyShit[F[_]]{
def doThatJavathing(...): F[...]
def doThisJavaThing(...): F[...]