cps-async-connect-zio/cps.monads.zio

cps.monads.zio

package cps.monads.zio

Type members

Classlikes

object TaskCpsMonad extends ZIOCpsMonad[Any, Throwable]
trait ThrowableAdapter[-R, E]
object UIOCpsMonad extends URIOCpsMonad[Any]
class URIOCpsMonad[R] extends CpsMonad[[X] =>> ZIO[R, Nothing, X]]
class ZIOCpsMonad[R, E](using `x$1`: ThrowableAdapter[R, E]) extends CpsAsyncMonad[[X] =>> ZIO[R, E, X]]

Value members

Concrete methods

inline def asyncRIO[R]: InferAsyncArg[[X] =>> RIO[R, X]]
inline def asyncURIO[R]: InferAsyncArg[[X] =>> URIO[R, X]]
inline def asyncZIO[R, E](using CpsAsyncMonad[[X] =>> ZIO[R, E, X]]): InferAsyncArg[[X] =>> ZIO[R, E, X]]

Concrete fields

final lazy val CpsAsyncMonad_Task: CpsAsyncMonad[Task]
final lazy val uioCpsMonad: CpsMonad[[X] =>> UIO[X]]

Givens

Givens

given futureZIOConversion[R, E](using `x$1`: Runtime[R], `x$2`: ThrowableAdapter[R, E]): CpsMonadConversion[[X] =>> ZIO[R, E, X], [T] =>> Future[T]]
given given_ThrowableAdapter_Any_Throwable: ThrowableAdapter[Any, Throwable]
given rioCpsMonad: CpsTryMonad[F]
given throwableForThrowable[R, X <: Throwable]: ThrowableAdapter[R, X]
given urioRioConversion[R1, R2 <: R1]: CpsMonadConversion[[X] =>> ZIO[R1, Nothing, X], [X] =>> RIO[R2, X]]
given urioZioConversion[R1, R2 <: R1, E]: CpsMonadConversion[[X] =>> ZIO[R1, Nothing, X], [X] =>> ZIO[R2, E, X]]
given zioCpsMonad: CpsTryMonad[F]
given zioThrowableToE[R1, R2 <: R1, ET <: Throwable, E](using `x$1`: ThrowableAdapter[R2, E]): CpsMonadConversion[[X] =>> ZIO[R1, ET, X], [X] =>> ZIO[R2, E, X]]