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

TaskManagedCpsMonad

object TaskManagedCpsMonad extends ZManagedCpsMonad[Any, Throwable]
class ZManagedCpsMonad[Any, Throwable]
trait CpsMonadInstanceContext[[X] =>> ZManaged[Any, Throwable, X]]
trait CpsTryMonad[[X] =>> ZManaged[Any, Throwable, X]]
trait CpsMonad[[X] =>> ZManaged[Any, Throwable, X]]
trait CpsAwaitable[[X] =>> ZManaged[Any, Throwable, X]]
class Object
trait Matchable
class Any

Type members

Inherited types

type Context = CpsMonadInstanceContextBody[F]
Inherited from:
CpsMonadInstanceContext
type F[T] = ZManaged[R, E, T]
Inherited from:
ZManagedCpsMonad
type WF[X] = F[X]
Inherited from:
CpsMonad

Value members

Inherited methods

def adoptAwait[A](fa: ZManaged[Any, Throwable, A]): ZManaged[Any, Throwable, A]

If is it statically known, that monad is evaluated in this context, then this call is completely eliminated by dotty-cps-async macro

If is it statically known, that monad is evaluated in this context, then this call is completely eliminated by dotty-cps-async macro

Returns:

fa

Inherited from:
CpsMonadInstanceContext
def apply[T](op: Context => ZManaged[Any, Throwable, T]): ZManaged[Any, Throwable, T]

run with this instance

run with this instance

Inherited from:
CpsMonadInstanceContext
def error[A](e: Throwable): F[A]
Inherited from:
ZManagedCpsMonad
def flatMap[A, B](fa: F[A])(f: A => F[B]): F[B]
Inherited from:
ZManagedCpsMonad
def flatMapTry[A, B](fa: F[A])(f: Try[A] => F[B]): F[B]
Inherited from:
ZManagedCpsMonad
def fromTry[A](r: Try[A]): ZManaged[Any, Throwable, A]

transform r into pure value or error.

transform r into pure value or error.

Inherited from:
CpsTryMonad
def map[A, B](fa: F[A])(f: A => B): F[B]
Inherited from:
ZManagedCpsMonad
def mapTry[A, B](fa: ZManaged[Any, Throwable, A])(f: Try[A] => B): ZManaged[Any, Throwable, B]

map over result of checked evaluation of A

map over result of checked evaluation of A

Inherited from:
CpsTryMonad
def mapTryAsync[A, B](fa: ZManaged[Any, Throwable, A])(f: Try[A] => ZManaged[Any, Throwable, B]): ZManaged[Any, Throwable, B]

synonym for flatMapTry needed for processing awaits inside mapTry.

synonym for flatMapTry needed for processing awaits inside mapTry.

Inherited from:
CpsTryMonad
def pure[A](x: A): ZManaged[Any, Throwable, A]
Inherited from:
ZManagedCpsMonad
def restore[A](fa: ZManaged[Any, Throwable, A])(fx: Throwable => ZManaged[Any, Throwable, A]): ZManaged[Any, Throwable, A]

restore fa, ie if fa sucessful - return fa, otherwise apply fx to received error.

restore fa, ie if fa sucessful - return fa, otherwise apply fx to received error.

Inherited from:
CpsTryMonad
def tryImpure[A](a: => ZManaged[Any, Throwable, A]): ZManaged[Any, Throwable, A]

try to evaluate async operation and wrap successful or failed result into F.

try to evaluate async operation and wrap successful or failed result into F.

Inherited from:
CpsTryMonad
def tryPure[A](a: => A): ZManaged[Any, Throwable, A]

try to evaluate synchonious operation and wrap successful or failed result into F.

try to evaluate synchonious operation and wrap successful or failed result into F.

Inherited from:
CpsTryMonad
def tryPureAsync[A](a: () => ZManaged[Any, Throwable, A]): ZManaged[Any, Throwable, A]

async shift of tryPure.

async shift of tryPure.

Inherited from:
CpsTryMonad
def withAction[A](fa: ZManaged[Any, Throwable, A])(action: => Unit): ZManaged[Any, Throwable, A]

ensure that action will run before getting value from fa

ensure that action will run before getting value from fa

Inherited from:
CpsTryMonad
def withActionAsync[A](fa: ZManaged[Any, Throwable, A])(action: () => ZManaged[Any, Throwable, Unit]): ZManaged[Any, Throwable, A]

async shift of withAction.

async shift of withAction.

This method is substituted instead withAction, when we use await inside withAction argument.

Inherited from:
CpsTryMonad
def withAsyncAction[A](fa: ZManaged[Any, Throwable, A])(action: => ZManaged[Any, Throwable, Unit]): ZManaged[Any, Throwable, A]

return result of fa after completition of action.

return result of fa after completition of action.

Inherited from:
CpsTryMonad