cps.forest
package cps.forest
Type members
Classlikes
class ApplyTransform[F[_], T](cpsCtx: TransformationContext[F, T])(`evidence$1`: Type[F], `evidence$2`: Type[T])
class AssignTransform[F[_], T](cpsCtx: TransformationContext[F, T])(`evidence$1`: Type[F], `evidence$2`: Type[T])
class BlockTransform[F[_], T](cpsCtx: TransformationContext[F, T])(`evidence$1`: Type[F], `evidence$2`: Type[T])
class DefCpsExpr[F[_]](using qctx: Quotes)(monad: Expr[CpsMonad[F]], prev: Seq[ExprTreeGen], definition: Definition, changed: Boolean)(`evidence$3`: Type[F]) extends SyncCpsExpr[F, Unit]
class IdentTransform[F[_], T](cpsCtx: TransformationContext[F, T])(`evidence$1`: Type[F], `evidence$2`: Type[T])
class NewTransform[F[_], T](cpsCtx: TransformationContext[F, T])(`evidence$1`: Type[F], `evidence$2`: Type[T])
class RepeatedTransform[F[_], T](cpsCtx: TransformationContext[F, T])(`evidence$1`: Type[F], `evidence$2`: Type[T])
class ReturnTransform[F[_], T](cpsCtx: TransformationContext[F, T])(`evidence$1`: Type[F], `evidence$2`: Type[T])
class SuperTransform[F[_], T](cpsCtx: TransformationContext[F, T])(`evidence$1`: Type[F], `evidence$2`: Type[T])
class ThisTransform[F[_], T](cpsCtx: TransformationContext[F, T])(`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])(`evidence$3`: Type[F], `evidence$4`: Type[T], val qctx: Quotes) extends TreeTransformScope[F, T]
class TryTransform[F[_], T](cpsCtx: TransformationContext[F, T])(`evidence$1`: Type[F], `evidence$2`: Type[T])
class TypeApplyTransform[F[_], T](cpsCtx: TransformationContext[F, T])(`evidence$1`: Type[F], `evidence$2`: Type[T])
class TypedTransform[F[_], T](cpsCtx: TransformationContext[F, T])(`evidence$1`: Type[F], `evidence$2`: Type[T])