root
API
Generated with
root/cps.macros.forest

cps.macros.forest

package cps.macros.forest

Members list

Concise view

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
Graph
Supertypes
class Object
trait Matchable
class Any
trait ApplyTreeTransform[F[_], CT, CC <: CpsMonadContext[F]]

Attributes

Companion:
object
Source:
ApplyTreeTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TreeTransformScope[F, CT, CC]
Self type
object ApplyTreeTransform

Attributes

Companion:
trait
Source:
ApplyTreeTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
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
Graph
Supertypes
class Object
trait Matchable
class Any
trait AsyncTreeShifter[F[_], CT, CC <: CpsMonadContext[F]]

Attributes

Source:
AsyncTreeShifter.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TreeTransformScope[F, CT, CC]
Self type
trait AwaitTreeTransform[F[_], CT, CC <: CpsMonadContext[F]]

Attributes

Source:
AwaitTreeTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TreeTransformScope[F, CT, CC]
Self type
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
Graph
Supertypes
class Object
trait Matchable
class Any
trait BlockTreeTransform[F[_], CT, CC <: CpsMonadContext[F]]

BlockTreeTransform -- the same as BlockTransform but on term level. (yet not enabled)

BlockTreeTransform -- the same as BlockTransform but on term level. (yet not enabled)

Attributes

Source:
BlockTreeTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TreeTransformScope[F, CT, CC]
Self type
object ConstTransform

Attributes

Source:
ConstTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait CpsTreeScope[F[_], CT, CC <: CpsMonadContext[F]]

Attributes

Source:
CpsTree.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TreeTransformScope[F, CT, CC]
Self type
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]

Attributes

Source:
BlockTransform.scala
Graph
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
Graph
Supertypes
class Object
trait Matchable
class Any
object IfTransform

Attributes

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

Attributes

Source:
ImportTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait InlinedTreeTransform[F[_], CT, CC <: CpsMonadContext[F]]

Attributes

Companion:
object
Source:
InlinedTreeTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TreeTransformScope[F, CT, CC]
Self type
object InlinedTreeTransform

Attributes

Companion:
trait
Source:
InlinedTreeTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait KnownTreeFragments[F[_], CT, CC <: CpsMonadContext[F]]

Attributes

Source:
KnownTreeFragments.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TreeTransformScope[F, CT, CC]
Self type
trait LambdaTreeTransform[F[_], CT, CC <: CpsMonadContext[F]]

Attributes

Companion:
object
Source:
LambdaTreeTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TreeTransformScope[F, CT, CC]
Self type
object LambdaTreeTransform

Attributes

Companion:
trait
Source:
LambdaTreeTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait MatchTreeTransform[F[_], CT, CC <: CpsMonadContext[F]]

Attributes

Companion:
object
Source:
MatchTreeTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TreeTransformScope[F, CT, CC]
Self type
object MatchTreeTransform

Attributes

Companion:
trait
Source:
MatchTreeTransform.scala
Graph
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
Graph
Supertypes
class Object
trait Matchable
class Any
trait NonLocalReturnsTreeTransform[F[_], CT, CC <: CpsMonadContext[F]]

transform call of NonLocalReturns.throwReturn to call of NonLocalReturnsAsyncShift.throwReturn coll of NonLocalReturns.returning to: - NonLocalReturnsAsyncShift.returning in async case - NonLocalReturnsAsyncShift.syncReturning in sync case.

transform call of NonLocalReturns.throwReturn to call of NonLocalReturnsAsyncShift.throwReturn coll of NonLocalReturns.returning to: - NonLocalReturnsAsyncShift.returning in async case - NonLocalReturnsAsyncShift.syncReturning in sync case.

Attributes

Source:
NonLocalReturnsTreeTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TreeTransformScope[F, CT, CC]
Self type
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])

Attributes

Source:
RepeatedTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
trait RepeatedTreeTransform[F[_], CT, CC <: CpsMonadContext[F]]

Attributes

Companion:
object
Source:
RepeatedTreeTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TreeTransformScope[F, CT, CC]
Self type
object RepeatedTreeTransform

Attributes

Companion:
trait
Source:
RepeatedTreeTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
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
Graph
Supertypes
class Object
trait Matchable
class Any
trait RootTreeTransform[F[_], CT, CC <: CpsMonadContext[F]]()

Attributes

Source:
RootTreeTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TreeTransformScope[F, CT, CC]
Self type
trait SelectOuterTreeTransform[F[_], CT, CC <: CpsMonadContext[F]]

Attributes

Companion:
object
Source:
SelectOuterTreeTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TreeTransformScope[F, CT, CC]
Self type
object SelectOuterTreeTransform

Attributes

Companion:
trait
Source:
SelectOuterTreeTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait SelectTreeTransform[F[_], CT, CC <: CpsMonadContext[F]]

Attributes

Companion:
object
Source:
SelectTreeTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TreeTransformScope[F, CT, CC]
Self type
object SelectTreeTransform

Attributes

Companion:
trait
Source:
SelectTreeTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
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
Graph
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
Graph
Supertypes
class Object
trait Matchable
class Any
object ThrowTransform

Attributes

Source:
ThrowTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
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] with NonLocalReturnsTreeTransform[F, CT, CC]

Attributes

Source:
TreeTransformScope.scala
Graph
Supertypes
trait ValDefTreeTransform[F, CT, CC]
trait BlockTreeTransform[F, CT, CC]
trait SelectOuterTreeTransform[F, CT, CC]
trait InlinedTreeTransform[F, CT, CC]
trait RepeatedTreeTransform[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 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
Known subtypes
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]

Attributes

Source:
TreeTransformScope.scala
Graph
Supertypes
trait TreeTransformScope[F, T, C]
trait ValDefTreeTransform[F, T, C]
trait BlockTreeTransform[F, T, C]
trait InlinedTreeTransform[F, T, C]
trait RepeatedTreeTransform[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 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
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
Graph
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
Graph
Supertypes
class Object
trait Matchable
class Any
trait TypeApplyTreeTransform[F[_], CT, CC <: CpsMonadContext[F]]

Attributes

Companion:
object
Source:
TypeApplyTreeTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TreeTransformScope[F, CT, CC]
Self type
object TypeApplyTreeTransform

Attributes

Companion:
trait
Source:
TypeApplyTreeTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
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
Graph
Supertypes
class Object
trait Matchable
class Any
object ValDefTransform

Attributes

Source:
ValDefTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait ValDefTreeTransform[F[_], CT, CC <: CpsMonadContext[F]]

Attributes

Source:
ValDefTreeTransform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TreeTransformScope[F, CT, CC]
Self type
object WhileTransform

Attributes

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