R
Ты крыса
ротогляд
Size: a a a
2020 June 15
ΛВ
не пиши таких мерзких вещей, пожалуйста
ладно, думал смешно будет
λ
кода нет и не будет
λ
но гляну на isok
Oℕ
короче как бы я сделал в похожей ситуации
Oℕ
пусть либа просит у меня RIO[R, *], где R <: Blocking with Shit
M
А есть что-нибудь годное по написанию док?
M
А то мне кажется, что мои доки похожи на говно
Oℕ
я делаю
@derive(embed, invariantK)
trait DoThings[F[_]]{
def doThat(..., inner: F[Lol]): F[Kek]
def ehm(..., inner: F[Dog]): F[Cat]
}
Oℕ
реализую
rioDo: DoThings[RIO[Blocking with Shit, *]]λ
Олег подожди
λ
прежде чем думать
λ
type HttpRoutes[F[_]] = Http[OptionT[F, *], F]
λ
type Http[F[_], G[_]] = Kleisli[F, Request[G], Response[G]]
λ
и все это превращается в мега гавно на мои взгляд
Oℕ
делаю
import tofu.syntax.lift
implicit def doThings[F[_]: Monad](
implicit FU: Unlift[RIO[Blocking with Shit, *], F]): DoThings[F] =
rioDo.unlift
R
прежде чем думать
безумно можно быть первым