dotty-cps-async
API
Generated with
dotty-cps-async/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

Supertypes
class Object
trait Matchable
class Any
trait ApplyTreeTransform[F[_], CT, CC <: CpsMonadContext[F]]

Attributes

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

Attributes

Companion
trait
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

Supertypes
class Object
trait Matchable
class Any
trait AsyncTreeShifter[F[_], CT, CC <: CpsMonadContext[F]]

Attributes

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

Attributes

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

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

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TreeTransformScope[F, CT, CC]
Self type
TreeTransformScope[F, CT, CC]
object ConstTransform

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
trait CpsTreeScope[F[_], CT, CC <: CpsMonadContext[F]]

Attributes

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

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

Supertypes
class Object
trait Matchable
class Any
object IfTransform

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object ImportTransform

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
trait InlinedTreeTransform[F[_], CT, CC <: CpsMonadContext[F]]

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Companion
trait
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

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

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

Supertypes
class Object
trait Matchable
class Any
trait RootTreeTransform[F[_], CT, CC <: CpsMonadContext[F]]()

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Companion
trait
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

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

Supertypes
class Object
trait Matchable
class Any
object ThrowTransform

Attributes

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

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$4: Type[F], evidence$5: Type[T], evidence$6: Type[C], val qctx: Quotes) extends TreeTransformScope[F, T, C]

Attributes

Supertypes
trait TreeTransformScope[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

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

Supertypes
class Object
trait Matchable
class Any
trait TypeApplyTreeTransform[F[_], CT, CC <: CpsMonadContext[F]]

Attributes

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

Attributes

Companion
trait
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

Supertypes
class Object
trait Matchable
class Any
object ValDefTransform

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
trait ValDefTreeTransform[F[_], CT, CC <: CpsMonadContext[F]]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TreeTransformScope[F, CT, CC]
Self type
TreeTransformScope[F, CT, CC]
object WhileTransform

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Generated with