λ
потому что в use ты можешь сделать любой тип
Size: a a a
2020 January 17
λ
но это не должно аффектить Ex
λ
скажем так в use может быть Unit
λ
но Ex[Unit] это же дичь
λ
или я что-то не так понимаю
λ
Ex это структура для описания экзит кейсов
λ
И она дырявая
λ
да, и для брекета будет Exitcase[Throwable]
λ
ну я про IO
λ
тут вопрос про другое
λ
почему вообще результат use связан с Ex ?
λ
мне кажется должно быть
λ
def finallyCase[Ex[_], B, C, E](use: A => F[B])(release: (A, Ex[E]) => F[C])(implicit FG: Finally[F, Ex]): F[B] =
FG.finallyCase(fa)(use)(release)
λ
да, и для брекета будет Exitcase[Throwable]
TConst[ExitCase[E], *]
λ
Вот как там
λ
со всеми вытекающими
λ
Короче все ок
λ
Потому что конст функтор используется