cps.monads.catsEffect

Type members

Classlikes

class CatsAsync[F[_]](using x$1: Async[F]) extends CatsMonadThrow[F] with CpsAsyncEffectMonad[F]
class CatsIOCpsAsyncMonad extends CatsAsync[[A] =>> IO[A]] with CpsAsyncEffectMonad[[A] =>> IO[A]]

CpsAsyncMonad for cats-effect.

CpsAsyncMonad for cats-effect.

class CatsMonad[F[_]](using x$1: Monad[F]) extends CpsMonad[F]
class CatsMonadThrow[F[_]](using x$1: MonadThrow[F]) extends CatsMonad[F] with CpsTryMonad[F]

Value members

Concrete fields

final lazy val catsIO: CatsIOCpsAsyncMonad

Givens

Givens

given catsAsync: CpsAsyncMonad[F]
given catsMemoization[F[_]](using val x$1: Concurrent[F]): CpsMonadPureMemoization[F]
given catsMonad: CpsAwaitable[F]
given catsMonadThrow: CpsMonad[F]
given ioToFutureConversion(using val runtime: IORuntime): CpsMonadConversion[[A] =>> IO[A], [T] =>> Future[T]]