root
API
Generated with
root/cps.monads

cps.monads

package cps.monads

Members list

Concise view

Type members

Classlikes

trait ExecutionContextProvider

Attributes

Source:
FutureAsyncMonad.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
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.

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 CpsThrowMonad[Future]
trait CpsMonad[Future]
trait CpsAwaitable[Future]
class Object
trait Matchable
class Any
class FutureContext(m: FutureAsyncMonadAPI) extends CpsMonadNoAdoptContext[Future] with ExecutionContextProvider

Attributes

Source:
FutureAsyncMonad.scala
Graph
Supertypes
trait CpsMonadContext[Future]
class Object
trait Matchable
class Any
class IterableCpsMonad[C <: (IterableOnce)](iterableFactory: IterableFactory[C]) extends CpsThrowMonad[C] with CpsMonadInstanceContext[C]

Monad for iterable collection. typical usage:

Monad for iterable collection. typical usage:

  def allpairs[A](l:List[A]):List((A,A)) = reify[List] {
      (reflect(l),reflect(l))
  }

Attributes

Source:
IterableCpsMonad.scala
Graph
Supertypes
trait CpsThrowMonad[C]
trait CpsMonad[C]
trait CpsAwaitable[C]
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
object given_CpsAwaitable_Promise extends CpsAwaitable[Promise]

Attributes

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

Attributes

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

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.

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 given_CpsMonadConversion_C_Iterable[C <: (Iterable)]: given_CpsMonadConversion_C_Iterable[C]

Attributes

Source:
IterableCpsMonad.scala
inline given iterableCpsMonad[C <: (Iterable)]: CpsThrowMonad[C]

Attributes

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

Attributes

Source:
FutureAsyncMonad.scala
Generated with