cps.macros.forest
package cps.macros.forest
Type members
Classlikes
class ApplyTransform[F[_], T, C <: CpsMonadContext[F]](cpsCtx: TransformationContext[F, T, C])(implicit evidence$1: Type[F], evidence$2: Type[T], evidence$3: Type[C])
class AssignTransform[F[_], T, C <: CpsMonadContext[F]](cpsCtx: TransformationContext[F, T, C])(implicit evidence$1: Type[F], evidence$2: Type[T], evidence$3: Type[C])
class BlockTransform[F[_], T, C <: CpsMonadContext[F]](cpsCtx: TransformationContext[F, T, C])(implicit evidence$1: Type[F], evidence$2: Type[T], evidence$3: Type[C])
BlockTreeTransform -- the same as BlockTransform but on term level. (yet not enabled)
BlockTreeTransform -- the same as BlockTransform but on term level. (yet not enabled)
class DefCpsExpr[F[_]](using qctx: Quotes)(monad: Expr[CpsMonad[F]], prev: Seq[ExprTreeGen], definition: Definition, changed: Boolean)(implicit evidence$4: Type[F]) extends SyncCpsExpr[F, Unit]
class IdentTransform[F[_], T, C <: CpsMonadContext[F]](cpsCtx: TransformationContext[F, T, C])(implicit evidence$1: Type[F], evidence$2: Type[T], evidence$3: Type[C])
class NewTransform[F[_], T, C <: CpsMonadContext[F]](cpsCtx: TransformationContext[F, T, C])(implicit evidence$1: Type[F], evidence$2: Type[T], evidence$3: Type[C])
class RepeatedTransform[F[_], T, C <: CpsMonadContext[F]](cpsCtx: TransformationContext[F, T, C])(implicit evidence$1: Type[F], evidence$2: Type[T], evidence$3: Type[C])
class ReturnTransform[F[_], T, C <: CpsMonadContext[F]](cpsCtx: TransformationContext[F, T, C])(implicit evidence$1: Type[F], evidence$2: Type[T], evidence$3: Type[C])
class SuperTransform[F[_], T, C <: CpsMonadContext[F]](cpsCtx: TransformationContext[F, T, C])(implicit evidence$1: Type[F], evidence$2: Type[T], evidence$3: Type[C])
class ThisTransform[F[_], T, C <: CpsMonadContext[F]](cpsCtx: TransformationContext[F, T, C])(implicit evidence$1: Type[F], evidence$2: Type[T], evidence$3: Type[C])
trait TreeTransformScope[F[_], CT, CC <: CpsMonadContext[F]] extends CpsTreeScope[F, CT, CC] with KnownTreeFragments[F, CT, CC] with TypeApplyTreeTransform[F, CT, CC] with RootTreeTransform[F, CT, CC] with ApplyTreeTransform[F, CT, CC] with ApplicationHelper[F, CT, CC] with AwaitTreeTransform[F, CT, CC] with SelectTreeTransform[F, CT, CC] with LambdaTreeTransform[F, CT, CC] with MatchTreeTransform[F, CT, CC] with AsyncTreeShifter[F, CT, CC] with RepeatedTreeTransform[F, CT, CC] with InlinedTreeTransform[F, CT, CC] with SelectOuterTreeTransform[F, CT, CC] with BlockTreeTransform[F, CT, CC] with ValDefTreeTransform[F, CT, CC]
trait TreeTransformScopeInstance[F[_], T, C <: CpsMonadContext[F]](val cpsCtx: TransformationContext[F, T, C])(implicit evidence$4: Type[F], evidence$5: Type[T], evidence$6: Type[C], val qctx: Quotes) extends TreeTransformScope[F, T, C]
class TryTransform[F[_], T, C <: CpsMonadContext[F]](cpsCtx: TransformationContext[F, T, C])(implicit evidence$1: Type[F], evidence$2: Type[T], evidence$3: Type[C])
class TypeApplyTransform[F[_], T, C <: CpsMonadContext[F]](cpsCtx: TransformationContext[F, T, C])(implicit evidence$1: Type[F], evidence$2: Type[T], evidence$3: Type[C])
class TypedTransform[F[_], T, C <: CpsMonadContext[F]](cpsCtx: TransformationContext[F, T, C])(implicit evidence$1: Type[F], evidence$2: Type[T], evidence$3: Type[C])