cps.monads

package cps.monads

Members list

Concise view

Type members

Classlikes

Attributes

Source:
FutureAsyncMonad.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

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.

Attributes

Source:
FreeCpsMonad.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait FreeMonad[+T]

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

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

Attributes

Companion:
object
Source:
FreeCpsMonad.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Error
class FlatMap[A, B]
class FlatMapTry[A, B]
class Map[A, B]
class Pure[A]
object FreeMonad

Attributes

Companion:
trait
Source:
FreeCpsMonad.scala
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
class FutureAsyncMonadAPI(using x$1: ExecutionContext) extends CpsSchedulingMonad[Future] with CpsContextMonad[Future, FutureContext]

Default CpsMonad implementation for Future

Default CpsMonad implementation for Future

Attributes

Source:
FutureAsyncMonad.scala
Graph
Supertypes
trait CpsSchedulingMonad[Future]
trait CpsConcurrentMonad[Future]
trait CpsAsyncMonad[Future]
trait CpsTryMonad[Future]
trait CpsMonad[Future]
trait CpsAwaitable[Future]
class Object
trait Matchable
class Any

Attributes

Source:
FutureAsyncMonad.scala
Graph
Supertypes
trait CpsMonadContext[Future]
class Object
trait Matchable
class Any
object futureDiscard extends WarnValueDiscard[Future]

Attributes

Source:
FutureAsyncMonad.scala
Graph
Supertypes
trait WarnValueDiscard[Future]
class Object
trait Matchable
class Any
Self type
object futureMemoization extends Default[Future]

Attributes

Source:
FutureAsyncMonad.scala
Graph
Supertypes
class Default[Future]
trait Inplace[Future]
trait CpsMonadMemoization[Future]
class Object
trait Matchable
class Any
Self type

Attributes

Source:
PromiseCpsAwaitable.scala
Graph
Supertypes
trait CpsAwaitable[Promise]
class Object
trait Matchable
class Any
Self type

Attributes

Source:
PromiseCpsAwaitable.scala
Graph
Supertypes
trait CpsMonadConversion[Promise, Future]
class Object
trait Matchable
class Any
Self type

Givens

Givens

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.

Attributes

Source:
FreeCpsMonad.scala
given FutureAsyncMonad(using ec: ExecutionContext): FutureAsyncMonadAPI

Attributes

Source:
FutureAsyncMonad.scala
given fromFutureConversion[G[_], T](using ex: ExecutionContext, m: CpsAsyncMonad[G]): fromFutureConversion[G, T]

Attributes

Source:
FutureAsyncMonad.scala
given toFutureConversion[F[_], T](using x$1: ExecutionContext, x$2: CpsSchedulingMonad[F]): toFutureConversion[F, T]

Attributes

Source:
FutureAsyncMonad.scala