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

cps.macros.forest

package cps.macros.forest

Members list

Packages

package cps.macros.forest.application

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])

Attributes

Source
ApplyTransform.scala
Supertypes
class Object
trait Matchable
class Any
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])

Attributes

Source
AssignTransform.scala
Supertypes
class Object
trait Matchable
class Any
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])

Attributes

Source
BlockTransform.scala
Supertypes
class Object
trait Matchable
class Any
object ConstTransform

Attributes

Source
ConstTransform.scala
Supertypes
class Object
trait Matchable
class Any
Self type
class DefCpsExpr[F[_]](using qctx: Quotes)(monad: Expr[CpsMonad[F]], prev: Seq[ExprTreeGen], definition: qctx.reflect.Definition, changed: Boolean)(implicit evidence$1: Type[F]) extends SyncCpsExpr[F, Unit]

Attributes

Source
BlockTransform.scala
Supertypes
class SyncCpsExpr[F, Unit]
trait CpsExpr[F, Unit]
class Object
trait Matchable
class Any
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])

Attributes

Source
IdentTransform.scala
Supertypes
class Object
trait Matchable
class Any
object IfTransform

Attributes

Source
IfTransform.scala
Supertypes
class Object
trait Matchable
class Any
Self type
object ImportTransform

Attributes

Source
ImportTransform.scala
Supertypes
class Object
trait Matchable
class Any
Self type
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])

Attributes

Source
NewTransform.scala
Supertypes
class Object
trait Matchable
class Any
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])

Attributes

Source
ReturnTransform.scala
Supertypes
class Object
trait Matchable
class Any
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])

Attributes

Source
SuperTransform.scala
Supertypes
class Object
trait Matchable
class Any
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])

Attributes

Source
ThisTransform.scala
Supertypes
class Object
trait Matchable
class Any
object ThrowTransform

Attributes

Source
ThrowTransform.scala
Supertypes
class Object
trait Matchable
class Any
Self type
trait TreeTransformScope[F[_], CT, CC <: CpsMonadContext[F]] extends CpsTreeScope[F, CT, CC], KnownTreeFragments[F, CT, CC], TypeApplyTreeTransform[F, CT, CC], RootTreeTransform[F, CT, CC], ApplyTreeTransform[F, CT, CC], ApplicationHelper[F, CT, CC], AwaitTreeTransform[F, CT, CC], SelectTreeTransform[F, CT, CC], LambdaTreeTransform[F, CT, CC], MatchTreeTransform[F, CT, CC], AsyncTreeShifter[F, CT, CC], InlinedTreeTransform[F, CT, CC], SelectOuterTreeTransform[F, CT, CC], BlockTreeTransform[F, CT, CC], ValDefTreeTransform[F, CT, CC], NonLocalReturnsTreeTransform[F, CT, CC]

Attributes

Source
TreeTransformScope.scala
Supertypes
trait NonLocalReturnsTreeTransform[F, CT, CC]
trait ValDefTreeTransform[F, CT, CC]
trait BlockTreeTransform[F, CT, CC]
trait SelectOuterTreeTransform[F, CT, CC]
trait InlinedTreeTransform[F, CT, CC]
trait AsyncTreeShifter[F, CT, CC]
trait MatchTreeTransform[F, CT, CC]
trait LambdaTreeTransform[F, CT, CC]
trait SelectTreeTransform[F, CT, CC]
trait AwaitTreeTransform[F, CT, CC]
trait ApplicationHelper[F, CT, CC]
trait PartialShiftedApplyScope[F, CT, CC]
trait ApplyArgBuilderScope[F, CT, CC]
trait MethodParamsDescriptorScope[F, CT, CC]
trait ApplyArgRecordScope[F, CT, CC]
trait ApplyTreeTransform[F, CT, CC]
trait RootTreeTransform[F, CT, CC]
trait TypeApplyTreeTransform[F, CT, CC]
trait KnownTreeFragments[F, CT, CC]
trait CpsTreeScope[F, CT, CC]
class Object
trait Matchable
class Any
Show all
Known subtypes
trait TreeTransformScopeInstance[F[_], T, C <: CpsMonadContext[F]](val cpsCtx: TransformationContext[F, T, C])(implicit evidence$1: Type[F], evidence$2: Type[T], evidence$3: Type[C], val qctx: Quotes) extends TreeTransformScope[F, T, C]

Attributes

Source
TreeTransformScope.scala
Supertypes
trait TreeTransformScope[F, T, C]
trait NonLocalReturnsTreeTransform[F, T, C]
trait ValDefTreeTransform[F, T, C]
trait BlockTreeTransform[F, T, C]
trait SelectOuterTreeTransform[F, T, C]
trait InlinedTreeTransform[F, T, C]
trait AsyncTreeShifter[F, T, C]
trait MatchTreeTransform[F, T, C]
trait LambdaTreeTransform[F, T, C]
trait SelectTreeTransform[F, T, C]
trait AwaitTreeTransform[F, T, C]
trait ApplicationHelper[F, T, C]
trait PartialShiftedApplyScope[F, T, C]
trait ApplyArgBuilderScope[F, T, C]
trait ApplyArgRecordScope[F, T, C]
trait ApplyTreeTransform[F, T, C]
trait RootTreeTransform[F, T, C]
trait TypeApplyTreeTransform[F, T, C]
trait KnownTreeFragments[F, T, C]
trait CpsTreeScope[F, T, C]
class Object
trait Matchable
class Any
Show all
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])

Attributes

Source
TryTransform.scala
Supertypes
class Object
trait Matchable
class Any
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])

Attributes

Source
TypeApplyTransform.scala
Supertypes
class Object
trait Matchable
class Any
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])

Attributes

Source
TypedTransform.scala
Supertypes
class Object
trait Matchable
class Any
object ValDefTransform

Attributes

Source
ValDefTransform.scala
Supertypes
class Object
trait Matchable
class Any
Self type
object WhileTransform

Attributes

Source
WhileTransform.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Generated with