Разница между IO и UIO в скаляр ZIO

Question

Разница между IO и UIO в скаляр ZIO

В чем разница между IO и UIO в новой версии от ZIO например UIO[Long] а также IO[Nothing, Long]?

2

scala scalaz scalaz-zio

Источник

user8357260 12 мар '19 в 08:16

1 ответ

Решение

Другие вопросы по тегам scala scalaz scalaz-zio

user5249621 12 мар '19 в 08:59 2019-03-12 08:59 · Accepted Answer · 2019-03-12 08:59

Нет никакой разницы. Тип UIO[+A] = ZIO[Any, Nothing, A] и введите IO[+E, +A] = ZIO[Any, E, A], Так что оба UIO[Long] а также IO[Nothing, Long] являются ZIO[Any, Nothing, Long] (т.е. любая среда, без ошибок и стоимости Long).

Вы можете проверить это, убедившись, что

implicitly[UIO[Long] =:= IO[Nothing, Long]]
implicitly[IO[Nothing, Long] =:= UIO[Long]]

компиляции.

UIO[A] является IO[Nothing, A],