cps.monads.cats

Type members

Classlikes

class CatsAsync[F[_]](using `x$1`: Async[F]) extends CatsMonadThrow[F] with CpsAsyncMonad[F]
class CatsIOCpsAsyncMonad extends CatsAsync[[A] =>> IO[A]] with CpsAsyncMonad[[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: CpsAsyncMonad[[A] =>> IO[A]]

Givens

Givens

given catsAsync: CpsTryMonad[F]
given catsMonad
given catsMonadThrow: CpsMonad[F]
given ioToFutureConversion(using val runtime: IORuntime): CpsMonadConversion[[A] =>> IO[A], [T] =>> Future[T]]