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
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
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
object ConstTransform

Attributes

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

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

Attributes

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

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
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
object WhileTransform

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Generated with