CatsMonad

class CatsMonad[F[_]](using mf: Monad[F]) extends CpsMonad[F] with CpsMonadInstanceContext[F]
trait CpsMonadInstanceContext[F]
trait CpsMonad[F]
trait CpsAwaitable[F]
class Object
trait Matchable
class Any

Type members

Inherited types

type Context = CpsMonadInstanceContextBody[F]
Inherited from:
CpsMonadInstanceContext
type WF[X] = F[X]
Inherited from:
CpsMonad

Value members

Concrete methods

def flatMap[A, B](fa: F[A])(f: A => F[B]): F[B]
def map[A, B](fa: F[A])(f: A => B): F[B]
def pure[A](a: A): F[A]

Inherited methods

def adoptAwait[A](fa: F[A]): F[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 => F[T]): F[T]

run with this instance

run with this instance

Inherited from:
CpsMonadInstanceContext