cps.macros.forest

Type members

Classlikes

class ApplyTransform[F[_], T](cpsCtx: TransformationContext[F, T])(implicit evidence$1: Type[F], evidence$2: Type[T])
trait ApplyTreeTransform[F[_], CT]
class AssignTransform[F[_], T](cpsCtx: TransformationContext[F, T])(implicit evidence$1: Type[F], evidence$2: Type[T])
class BlockTransform[F[_], T](cpsCtx: TransformationContext[F, T])(implicit evidence$1: Type[F], evidence$2: Type[T])
trait CpsTreeScope[F[_], CT]
class DefCpsExpr[F[_]](using qctx: Quotes)(monad: Expr[CpsMonad[F]], prev: Seq[ExprTreeGen], definition: Definition, changed: Boolean)(implicit evidence$3: Type[F]) extends SyncCpsExpr[F, Unit]
class IdentTransform[F[_], T](cpsCtx: TransformationContext[F, T])(implicit evidence$1: Type[F], evidence$2: Type[T])
trait MatchTreeTransform[F[_], CT]
class NewTransform[F[_], T](cpsCtx: TransformationContext[F, T])(implicit evidence$1: Type[F], evidence$2: Type[T])
class RepeatedTransform[F[_], T](cpsCtx: TransformationContext[F, T])(implicit evidence$1: Type[F], evidence$2: Type[T])
class ReturnTransform[F[_], T](cpsCtx: TransformationContext[F, T])(implicit evidence$1: Type[F], evidence$2: Type[T])
class SuperTransform[F[_], T](cpsCtx: TransformationContext[F, T])(implicit evidence$1: Type[F], evidence$2: Type[T])
class ThisTransform[F[_], T](cpsCtx: TransformationContext[F, T])(implicit evidence$1: Type[F], evidence$2: Type[T])
trait TreeTransformScope[F[_], CT] extends CpsTreeScope[F, CT] with KnownTreeFragments[F, CT] with TypeApplyTreeTransform[F, CT] with RootTreeTransform[F, CT] with ApplyTreeTransform[F, CT] with ApplicationHelper[F, CT] with AwaitTreeTransform[F, CT] with SelectTreeTransform[F, CT] with LambdaTreeTransform[F, CT] with MatchTreeTransform[F, CT] with AsyncTreeShifter[F, CT] with RepeatedTreeTransform[F, CT] with InlinedTreeTransform[F, CT] with SelectOuterTreeTransform[F, CT]
trait TreeTransformScopeInstance[F[_], T](val cpsCtx: TransformationContext[F, T])(implicit evidence$3: Type[F], evidence$4: Type[T], val qctx: Quotes) extends TreeTransformScope[F, T]
class TryTransform[F[_], T](cpsCtx: TransformationContext[F, T])(implicit evidence$1: Type[F], evidence$2: Type[T])
class TypeApplyTransform[F[_], T](cpsCtx: TransformationContext[F, T])(implicit evidence$1: Type[F], evidence$2: Type[T])
class TypedTransform[F[_], T](cpsCtx: TransformationContext[F, T])(implicit evidence$1: Type[F], evidence$2: Type[T])