λ
доп тайпкласы решают эту проблему? например Raise из tofu?
Доп тайпклассы решают. Но можно и на ApplicativeError сделать
Size: a a a
2020 October 05
SS
Это ложь конечно
а как? mtl?
VS
а как? mtl?
Tofu handle/raise тайпклассы, но это ответ с дивана, сам я их только в проектах на 300 строк юзал
SS
не ну tofu и я предложил) просто повелся на кликбейт от λoλcat
λ
Tofu и cats-mtl решают эту проблему. Но можно и просто через name shadowing.
А можно и на зио колбасить.
А можно и на зио колбасить.
KL
Tofu handle/raise тайпклассы, но это ответ с дивана, сам я их только в проектах на 300 строк юзал
+ raise из тофу
KL
Кароче, спасибо за помощь, чо
Чекни raise как чуваки выше рекомендовали, как раз твой кейс решить должно
MN
Так raise о другом. У меня в другом коде тоже есть raise. Мне нужно оборачивать either, который из чистого кода прилетает. В том то и прикол
MN
Но спасибо
MN
Я имею ввиду raise mtl'вский
MN
Raise работает только потому что он отвязан от иерархии стандартных тайпклассов
2020 October 06
SK
Так raise о другом. У меня в другом коде тоже есть raise. Мне нужно оборачивать either, который из чистого кода прилетает. В том то и прикол
В tofu синтаксис есть, который из Either[L, R] сделает F[R] при наличии Raise
AD
В tofu синтаксис есть, который из Either[L, R] сделает F[R] при наличии Raise
А синтаксис который сделает обратно?
MN
В tofu синтаксис есть, который из Either[L, R] сделает F[R] при наличии Raise
Спасибо, посмотрю. Я уже сам пришел к выводу что нужно такой тайпкласс просто написать
R
Привет, а кто-то может дать наводку где можно почитать про синтаксис вроде
def f[T, С[x] <: Seq[x]](v: С[T]) = ???
и чем он отличается например от
def f[T, С[_] <: Seq[_]](v: С[T]) = ???
спасибо
def f[T, С[x] <: Seq[x]](v: С[T]) = ???
и чем он отличается например от
def f[T, С[_] <: Seq[_]](v: С[T]) = ???
спасибо
R
что гуглить не очень понимаю
Oℕ
Привет, а кто-то может дать наводку где можно почитать про синтаксис вроде
def f[T, С[x] <: Seq[x]](v: С[T]) = ???
и чем он отличается например от
def f[T, С[_] <: Seq[_]](v: С[T]) = ???
спасибо
def f[T, С[x] <: Seq[x]](v: С[T]) = ???
и чем он отличается например от
def f[T, С[_] <: Seq[_]](v: С[T]) = ???
спасибо
https://scastie.scala-lang.org/Odomontois/7lMTxGPvRQW8VD2y0e6g8Q
первый требует, чтобы C был подтипом Seq с тем же аргументом
второй - подтипом какого-то Seq
гуглить wildcatd type arguments
первый требует, чтобы C был подтипом Seq с тем же аргументом
второй - подтипом какого-то Seq
гуглить wildcatd type arguments
R
про смысл я так и понял в общем, просто хотелось как-то систематизировать
A
про смысл я так и понял в общем, просто хотелось как-то систематизировать
R
Спасибо