root
API
Generated with
root/cps/cps.macros/Async

Async

cps.macros.Async
object Async

Attributes

Source
Async.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Async.type

Members list

Type members

Classlikes

class InferAsyncArg[F[_], C <: CpsMonadContext[F]](using val am: Aux[F, C])

Attributes

Source
Async.scala
Supertypes
class Object
trait Matchable
class Any
class InferAsyncArg1[F[_], C <: CpsTryMonadContext[F]](using val am: Aux[F, C])

Attributes

Source
Async.scala
Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

def adoptFlags[F[_] : Type, T](f: Expr[T], dm: Expr[CpsMonad[F]])(implicit evidence$1: Type[F], Quotes): AsyncMacroFlags

Attributes

Source
Async.scala
def applyPreprocessorToBody[F[_] : Type, T : Type, C <: CpsMonadContext[F] : Type](using q: Quotes)(body: q.reflect.Term, ctx: q.reflect.Term, preprocessor: Expr[CpsPreprocessor[F, C]]): q.reflect.Term

Apply CpsPreprocessor[F, C] to a body term. Builds: preprocessor.preprocess[T](body, ctx)

Apply CpsPreprocessor[F, C] to a body term. Builds: preprocessor.preprocess[T](body, ctx)

Attributes

Source
Async.scala
transparent inline def async[F[_]](using am: CpsMonad[F]): InferAsyncArg[F, am.Context]

Attributes

Source
Async.scala
transparent inline def asyncStage2[F[_], T, C <: CpsMonadContext[F]](inline am: Aux[F, C], inline expr: C ?=> T): F[T]

Stage 2: Do CPS transform. By this point, preprocessing has already happened (inline). This is the macro that does the actual CPS transformation.

Stage 2: Do CPS transform. By this point, preprocessing has already happened (inline). This is the macro that does the actual CPS transformation.

Attributes

Source
Async.scala
def asyncStage2Impl[F[_] : Type, T : Type, C <: CpsMonadContext[F] : Type](am: Expr[Aux[F, C]], expr: Expr[C ?=> T])(implicit evidence$1: Type[F], evidence$2: Type[T], evidence$3: Type[C], Quotes): Expr[F[T]]

Attributes

Source
Async.scala
def extractContextLambda(using q: Quotes)(f: q.reflect.Term): (List[q.reflect.ValDef], q.reflect.Term, q.reflect.Term => q.reflect.Term)

Extract lambda parameters and body from a context function term. Returns (params, body, wrapper function to reconstruct the Inlined/Block structure)

Extract lambda parameters and body from a context function term. Returns (params, body, wrapper function to reconstruct the Inlined/Block structure)

Attributes

Source
Async.scala
def loomTransform[F[_] : Type, T : Type, C <: CpsTryMonadContext[F] : Type](f: Expr[T], dm: Expr[CpsAsyncMonad[F]], ctx: Expr[C], runtimeApi: Expr[CpsRuntimeAwait[F]], flags: AsyncMacroFlags)(implicit evidence$1: Type[F], evidence$2: Type[T], evidence$3: Type[C], Quotes): Expr[T]

Attributes

Source
Async.scala
def nestTransform[F[_] : Type, T : Type, C <: CpsMonadContext[F] : Type, S : Type](f: Expr[S], cpsCtx: TransformationContext[F, T, C])(implicit evidence$1: Type[F], evidence$2: Type[T], evidence$3: Type[C], evidence$4: Type[S], Quotes): CpsExpr[F, S]

Attributes

Source
Async.scala
def preprocessContextLambda[F[_] : Type, T : Type, C <: CpsMonadContext[F] : Type](using q: Quotes)(term: q.reflect.Term, preprocessor: Expr[CpsPreprocessor[F, C]]): q.reflect.Term

Preprocess the body of a context lambda (C ?=> T). Recursively rebuilds the structure to preserve lambda type (context function vs regular function).

Preprocess the body of a context lambda (C ?=> T). Recursively rebuilds the structure to preserve lambda type (context function vs regular function).

Attributes

Source
Async.scala
def rootTransform[F[_] : Type, T : Type, C <: CpsMonadContext[F] : Type](f: Expr[T], dm: Expr[CpsMonad[F]], mc: Expr[C], optRuntimeAwait: Option[Expr[CpsRuntimeAwait[F]]], optRuntimeAwaitProvider: Option[Expr[CpsRuntimeAwaitProvider[F]]], flags: AsyncMacroFlags, nesting: Int, parent: Option[TransformationContext[_[_], _, _]])(implicit evidence$1: Type[F], evidence$2: Type[T], evidence$3: Type[C], Quotes): CpsExpr[F, T]

Attributes

Source
Async.scala
transparent inline def transform[F[_], T, C <: CpsMonadContext[F]](inline expr: T, inline ctx: C)(using m: CpsMonad[F]): F[T]

Attributes

Source
Async.scala
def transformContextInstanceMonad[F[_] : Type, T : Type, C <: CpsTryMonadInstanceContext[F] : Type](f: Expr[T], dm: Expr[C])(implicit evidence$1: Type[F], evidence$2: Type[T], evidence$3: Type[C], Quotes): Expr[F[T]]

Attributes

Source
Async.scala
transparent inline def transformContextLambda[F[_], T, C <: CpsMonadContext[F]](inline expr: C ?=> T): C => F[T]

Attributes

Source
Async.scala
def transformContextLambdaImpl[F[_] : Type, T : Type, C <: CpsMonadContext[F] : Type](cexpr: Expr[C ?=> T])(implicit evidence$1: Type[F], evidence$2: Type[T], evidence$3: Type[C], Quotes): Expr[C => F[T]]

Attributes

Source
Async.scala
def transformContextLambdaImplNoPreprocess[F[_] : Type, T : Type, C <: CpsMonadContext[F] : Type](cexpr: Expr[C ?=> T])(implicit evidence$1: Type[F], evidence$2: Type[T], evidence$3: Type[C], Quotes): Expr[C => F[T]]

Version of transformContextLambdaImpl that does NOT apply preprocessing. Used in stage 2 when preprocessing has already been applied in stage 1.

Version of transformContextLambdaImpl that does NOT apply preprocessing. Used in stage 2 when preprocessing has already been applied in stage 1.

Attributes

Source
Async.scala
def transformImpl[F[_] : Type, T : Type, C <: CpsMonadContext[F] : Type](f: Expr[T], c: Expr[C])(implicit evidence$1: Type[F], evidence$2: Type[T], evidence$3: Type[C], Quotes): Expr[F[T]]

transform expression and get monad from context.

transform expression and get monad from context.

Value parameters

c
  • monad context parameter
f
  • expression to transform

Attributes

Source
Async.scala
def transformMonad[F[_] : Type, T : Type, C <: CpsMonadContext[F] : Type](f: Expr[T], dm: Expr[CpsMonad[F]], mc: Expr[C])(implicit evidence$1: Type[F], evidence$2: Type[T], evidence$3: Type[C], Quotes): Expr[F[T]]

transform expression within given monad. Use this function is you need to force async-transform from other macros.

transform expression within given monad. Use this function is you need to force async-transform from other macros.

Attributes

Source
Async.scala
Generated with