w
Потому что конст функтор используется
Эх, сча бы используется
Size: a a a
2020 January 17
λ
Я сейчас не про это вообще
λ
def finallyCase[A, B, C, E](init: F[A])(action: A => F[B])(release: (A, Exit[E]) => F[C]): F[B]
λ
мне кажется так должно быть
λ
ну просто мне не представляется action: который бы тебе вернул F[Throwable]
λ
Экшон вернет F[B]
λ
B это тип нормального велью
w
B это тип нормального велью
А туз готов?
λ
Exit[_] может быть фантомным по B
λ
TConst[ExitCase[E], *]
Например так
AG
а сраного автобуса все нет
AG
пришел наконец
AG
чота захотелось пиццы с морсильей
AG
хотя дома ещё эмпанада с тунцом
AG
надо завтра в город наверное съездить наконец всем семейством