root
API
Generated with
root/cps.monads

cps.monads

package cps.monads

Members list

Concise view

Type members

Classlikes

object CompletableFutureCpsMonad extends CpsSchedulingMonad[[T <: <FromJavaObject>] =>> CompletableFuture[T]] with CpsMonadInstanceContext[[T <: <FromJavaObject>] =>> CompletableFuture[T]]

Attributes

Source:
CompletableFutureCpsMonad.scala
Graph
Supertypes
trait CpsMonadInstanceContext[[T <: <FromJavaObject>] =>> CompletableFuture[T]]
trait CpsSchedulingMonad[[T <: <FromJavaObject>] =>> CompletableFuture[T]]
trait CpsConcurrentMonad[[T <: <FromJavaObject>] =>> CompletableFuture[T]]
trait CpsAsyncMonad[[T <: <FromJavaObject>] =>> CompletableFuture[T]]
trait CpsTryMonad[[T <: <FromJavaObject>] =>> CompletableFuture[T]]
trait CpsThrowMonad[[T <: <FromJavaObject>] =>> CompletableFuture[T]]
trait CpsMonad[[T <: <FromJavaObject>] =>> CompletableFuture[T]]
trait CpsAwaitable[[T <: <FromJavaObject>] =>> CompletableFuture[T]]
class Object
trait Matchable
class Any
Self type
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
object FutureRuntimeAwait extends LoomRuntimeAwait[Future]

Attributes

Source:
FutureRuntimeAwait.scala
Graph
Supertypes
trait LoomRuntimeAwait[Future]
trait CpsRuntimeAwait[Future]
class Object
trait Matchable
class Any
Self type
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

Value members

Concrete methods

transparent inline def timedAwait[A](fa: Future[A], duration: FiniteDuration)(using CpsMonadContext[Future], ExecutionContextProvider, ScheduledExecutorService): A

Timed await -- await for future or throw TimeoutException after duration

Timed await -- await for future or throw TimeoutException after duration

Attributes

Source:
TimedAwait.scala
transparent inline def timedReady[A](fa: Future[A], duration: FiniteDuration)(using CpsMonadContext[Future], ExecutionContextProvider, ScheduledExecutorService): Boolean

Attributes

Source:
TimedAwait.scala

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

Extensions

Extensions

extension [A](fa: Future[A])
def delayedComplete(duration: FiniteDuration)(a: => Try[A])(using ExecutionContext, ScheduledExecutorService): Future[A]

Create a future which will return true or false fa has no completed duriong duration

Create a future which will return true or false fa has no completed duriong duration

Attributes

Source:
TimedAwait.scala
def withDelay(duration: FiniteDuration)(a: => A)(using ExecutionContext, ScheduledExecutorService): Future[A]

Create a future which will return true or false fa has no completed duriong duration

Create a future which will return true or false fa has no completed duriong duration

Attributes

Source:
TimedAwait.scala
def withTimeout(duration: FiniteDuration)(using ExecutionContext, ScheduledExecutorService): Future[A]

Create a future which will return or value of original future fa or raise a timeout exception, if fa has no completed duriong duration

Create a future which will return or value of original future fa or raise a timeout exception, if fa has no completed duriong duration

Attributes

Source:
TimedAwait.scala
Generated with