λ
В scala 3 же вроде литерал типы подвезли
Литералы подвезли пораньше
Option[ZIO[R, E, A]] в ZIO[R, E, Option[A]]? С collectAll не компилируется: https://scastie.scala-lang.org/6GqqrxFsRzuAe3Iyx5jQpQSize: a a a
2020 November 15
IL
Как превратить
λ
Как превратить
Option[ZIO[R, E, A]] в ZIO[R, E, Option[A]]? С collectAll не компилируется: https://scastie.scala-lang.org/6GqqrxFsRzuAe3Iyx5jQpQЭто траверс классический
λ
foreach
E
Как превратить
Option[ZIO[R, E, A]] в ZIO[R, E, Option[A]]? С collectAll не компилируется: https://scastie.scala-lang.org/6GqqrxFsRzuAe3Iyx5jQpQ
NV
Как превратить
Option[ZIO[R, E, A]] в ZIO[R, E, Option[A]]? С collectAll не компилируется: https://scastie.scala-lang.org/6GqqrxFsRzuAe3Iyx5jQpQЧерез collectAll не получится, так как он требует подтипы Iterable, а Option имплементит только IterableOnce, придётся своё городить
NV
Oℕ
Через collectAll не получится, так как он требует подтипы Iterable, а Option имплементит только IterableOnce, придётся своё городить
кот же написал
NV
кот же написал
он написал что это траверс
Oℕ
ну там есть кстати спец случай для Option
НМ
добавить
.getOrElse(ZIO.succeed(None)) и станет нормтипы ж не сойдутся
NV
типы ж не сойдутся
я написал и всё сошлось
Oℕ
Я нашёл такое
ZIO.fromOption(o).optional
NV
с чего им не сходиться
НМ
я написал и всё сошлось
как? в самом зио лежит A
а ZIO.none даст тебе Option[A]
UPD а, там в скасти уже другие типы, нойс
а ZIO.none даст тебе Option[A]
UPD а, там в скасти уже другие типы, нойс
Oℕ
Как превратить
Option[ZIO[R, E, A]] в ZIO[R, E, Option[A]]? С collectAll не компилируется: https://scastie.scala-lang.org/6GqqrxFsRzuAe3Iyx5jQpQλ
он написал что это траверс
А ето не траверс?
Oℕ
А ето не траверс?
ну там траверс есть, а сиквенса нет
Oℕ
специализированного под опшен
Oℕ
бестайпклассовые конфузы