AutomaticColoringOfEffects

cps.macros.observatory.AutomaticColoringOfEffectsQuoteScope.AutomaticColoringOfEffects

Attributes

Graph
Supertypes
trait Analysis
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

override def afterTreeTraverse(flags: AsyncMacroFlags): Unit

called after tree traverse, to report errors if any

called after tree traverse, to report errors if any

Attributes

Definition Classes
def awaitSymbol: Symbol
def checkApply[F[_] : Type](applyTerm: Term, fun: Term, args: List[Term], tails: List[List[Term]], ctx: ObservationContext[F], owner: Symbol): Unit
def checkAwait[F[_] : Type](term: Term, arg: Term, awaitCpsMonadType: TypeRepr, awaitCpsMonad: Term, ctx: ObservationContext[F], owner: Symbol): Unit
def checkFunSelect[F[_] : Type](applyTerm: Term, fun: Term, args: List[Term], obj: Term, method: String, tails: List[List[Term]], ctx: ObservationContext[F], owner: Symbol): Unit
override def visitStart[F[_] : Type](tree: Tree, ctx: ObservationContext[F])(owner: Symbol): Unit

Called for each element of tree batched with other analysis in traversor.

Called for each element of tree batched with other analysis in traversor.

During prelimnary analysis stge, preliminaryTreeVisit will called for each tree and each subtrees.

Attributes

Returns:
  • true if we want to process subtrees of this tree, otherwise - false.
Definition Classes

Inherited methods

def visitDone[F[_] : Type](tree: Tree, ctx: ObservationContext[F])(owner: Symbol): Unit

called for each tree when we leave node.

called for each tree when we leave node.

Attributes

Inherited from:
Analysis

Inherited fields

var enabled: Boolean

Attributes

Inherited from:
Analysis