dotty-cps-async/cps/CpsProgressingMonad

CpsProgressingMonad

trait CpsProgressingMonad[F[_]] extends CpsAsyncMonad[F]
trait CpsAsyncMonad[F]
trait CpsTryMonad[F]
trait CpsMonad[F]
class Object
trait Matchable
class Any

Type members

Inherited types

type WF[X] = F[X]
Inherited from
CpsMonad

Value members

Abstract methods

def progress[T](t: F[T], timeout: Duration): Either[F[T], Try[T]]

progress and return control to user.

progress and return control to user.

Inherited methods

def adoptCallbackStyle[A](source: Try[A] => Unit => Unit): F[A]

called by the source, which accept callback. source is called immediatly in adoptCallbackStyle

called by the source, which accept callback. source is called immediatly in adoptCallbackStyle

Inherited from
CpsAsyncMonad
def error[A](e: Throwable): F[A]
Inherited from
CpsTryMonad
def flatMap[A, B](fa: F[A])(f: A => F[B]): F[B]
Inherited from
CpsMonad
def flatMapTry[A, B](fa: F[A])(f: Try[A] => F[B]): F[B]
Inherited from
CpsTryMonad
def map[A, B](fa: F[A])(f: A => B): F[B]
Inherited from
CpsMonad
def mapTry[A, B](fa: F[A])(f: Try[A] => B): F[B]
Inherited from
CpsTryMonad
def pure[T](t: T): F[T]
Inherited from
CpsMonad
def restore[A](fa: F[A])(fx: Throwable => F[A]): F[A]
Inherited from
CpsTryMonad
def tryImpure[A](a: => F[A]): F[A]
Inherited from
CpsTryMonad
def tryPure[A](a: => A): F[A]
Inherited from
CpsTryMonad
def withAction[A](fa: F[A])(action: => Unit): F[A]
Inherited from
CpsTryMonad
def withAsyncAction[A](fa: F[A])(action: => F[Unit]): F[A]
Inherited from
CpsTryMonad