Summary

• ZIO — A ZIO is a value that models an effectful program, which might fail or succeed.
  • UIO — An UIO[A] is a type alias for ZIO[Any, Nothing, A].
  • URIO — An URIO[R, A] is a type alias for ZIO[R, Nothing, A].
  • Task — A Task[A] is a type alias for ZIO[Any, Throwable, A].
  • RIO — A RIO[R, A] is a type alias for ZIO[R, Throwable, A].
  • IO — An IO[E, A] is a type alias for ZIO[Any, E, A].
• Exit — An Exit[E, A] describes the result of executing an IO value.
• Cause - Cause[E] is a description of a full story of a fiber failure.
• Runtime — A Runtime[R] is capable of executing tasks within an environment R.