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])
- Source:
- ApplyTransform.scala
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])
- Source:
- AssignTransform.scala
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])
- Source:
- BlockTransform.scala
BlockTreeTransform -- the same as BlockTransform but on term level. (yet not enabled)
BlockTreeTransform -- the same as BlockTransform but on term level. (yet not enabled)
- Source:
- BlockTreeTransform.scala
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]
- Source:
- BlockTransform.scala
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])
- Source:
- IdentTransform.scala
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])
- Source:
- NewTransform.scala
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])
- Source:
- RepeatedTransform.scala
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])
- Source:
- ReturnTransform.scala
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])
- Source:
- SuperTransform.scala
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])
- Source:
- ThisTransform.scala
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]
- Source:
- TreeTransformScope.scala
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]
- Source:
- TreeTransformScope.scala
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])
- Source:
- TryTransform.scala
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])
- Source:
- TypeApplyTransform.scala
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])
- Source:
- TypedTransform.scala