dotty-cps-async
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
dotty-cps-async/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

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

Attributes

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

Attributes

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

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

Attributes

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

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

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

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

Attributes

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

Attributes

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

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

Graph
Supertypes
class Object
trait Matchable
class Any
object IfTransform

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object ImportTransform

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Graph
Supertypes
class Object
trait Matchable
class Any
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

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

Attributes

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

Attributes

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

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

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

Graph
Supertypes
class Object
trait Matchable
class Any
object ThrowTransform

Attributes

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]

Attributes

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

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

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

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

Attributes

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

Attributes

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

Graph
Supertypes
class Object
trait Matchable
class Any
object ValDefTransform

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL