root/cps.monads

cps.monads

package cps.monads

Type members

Classlikes

trait ExecutionContextProvider
object FreeCpsMonad extends CpsTryMonad[FreeMonad] with CpsMonadInstanceContext[FreeMonad]

Implementation for FreeCpsMonad. It is intentionally defiend at top-level, to fire 'implicitAmbigious' error when async is called without parameters and without select instance of CpsMonad in scope.

Implementation for FreeCpsMonad. It is intentionally defiend at top-level, to fire 'implicitAmbigious' error when async is called without parameters and without select instance of CpsMonad in scope.

Source:
FreeCpsMonad.scala
sealed trait FreeMonad[+T]

FreeCpsMonad Typical pattern - use FreeCpsMonad and custom interpreter in test.

FreeCpsMonad Typical pattern - use FreeCpsMonad and custom interpreter in test.

Companion:
object
Source:
FreeCpsMonad.scala
object FreeMonad
Companion:
class
Source:
FreeCpsMonad.scala
class FutureAsyncMonadAPI(using x$1: ExecutionContext) extends CpsSchedulingMonad[Future] with CpsContextMonad[Future, FutureContext]

Default CpsMonad implementation for Future

Default CpsMonad implementation for Future

Source:
FutureAsyncMonad.scala
class FutureContext(m: FutureAsyncMonadAPI) extends CpsMonadNoAdoptContext[Future] with ExecutionContextProvider
object futureDiscard extends WarnValueDiscard[Future]
object futureMemoization extends Default[Future]
object given_CpsAwaitable_Promise extends CpsAwaitable[Promise]
object given_CpsMonadConversion_Promise_Future extends CpsMonadConversion[Promise, Future]

Givens

Givens

given FreeCpsMonad: FreeCpsMonad.type

Implementation for FreeCpsMonad. It is intentionally defiend at top-level, to fire 'implicitAmbigious' error when async is called without parameters and without select instance of CpsMonad in scope.

Implementation for FreeCpsMonad. It is intentionally defiend at top-level, to fire 'implicitAmbigious' error when async is called without parameters and without select instance of CpsMonad in scope.

Source:
FreeCpsMonad.scala
given FutureAsyncMonad(using ec: ExecutionContext): FutureAsyncMonadAPI
given fromFutureConversion[G[_], T](using ex: ExecutionContext, m: CpsAsyncMonad[G]): fromFutureConversion[G, T]
given toFutureConversion[F[_], T](using x$1: ExecutionContext, x$2: CpsSchedulingMonad[F]): toFutureConversion[F, T]