root
API
Generated with
root/cps/cps.macros/cps.macros.common/TransformUtil

TransformUtil

cps.macros.common.TransformUtil
object TransformUtil

Attributes

Source
TransformUtil.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

class DefinitionWithIncorrectOwner(using quotes: Quotes)(tree: quotes.reflect.Definition, owner: quotes.reflect.Symbol, expectedOwner: quotes.reflect.Symbol)

Attributes

Source
TransformUtil.scala
Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

def changeSymsInTerm(using Quotes)(association: Map[x$1.reflect.Symbol, x$1.reflect.Tree], body: x$1.reflect.Term, owner: x$1.reflect.Symbol): x$1.reflect.Term

Attributes

Source
TransformUtil.scala
def changeSymsInTree(using qctx: Quotes)(association: Map[qctx.reflect.Symbol, qctx.reflect.Tree], body: qctx.reflect.Tree, owner: qctx.reflect.Symbol): qctx.reflect.Tree

Attributes

Source
TransformUtil.scala
def createFunctionType(using Quotes)(argTypes: List[x$1.reflect.TypeRepr], resultType: x$1.reflect.TypeRepr): x$1.reflect.TypeRepr

Attributes

Source
TransformUtil.scala
def dummyMapper(using Quotes)(t: x$1.reflect.Term, owner: x$1.reflect.Symbol): Boolean

Attributes

Source
TransformUtil.scala
def ensureTyped(using qctx: Quotes)(term: qctx.reflect.Term, tp: qctx.reflect.TypeRepr): qctx.reflect.Term

Attributes

Source
TransformUtil.scala
def extractCarriedFunSym(using Quotes)(fun: x$1.reflect.Term): x$1.reflect.Symbol

Value parameters

fun

expression, part of (Apply(fun, args)). Extract function symbols from carried applications: Apply( ... Apply(fun1, args1), ..., argsN) => fun1

Attributes

Returns

extracted function symbol, (or just fun.symbol is this is not a carried application).

Source
TransformUtil.scala
def findAllOwnersIn(using Quotes)(tree: x$1.reflect.Tree): Map[Int, x$1.reflect.Tree]

Attributes

Source
TransformUtil.scala
def findDefinitionWithoutSymbol(using Quotes)(tree: x$1.reflect.Tree): Option[x$1.reflect.Tree]

Attributes

Source
TransformUtil.scala
def findSubtermWithIncorrectOwner(using Quotes)(tree: x$1.reflect.Tree): Option[DefinitionWithIncorrectOwner]

Attributes

Source
TransformUtil.scala
def inMonadOrChild[F[_] : Type](using Quotes)(te: x$1.reflect.TypeRepr): Option[x$1.reflect.TypeRepr]

Attributes

Source
TransformUtil.scala
def lambdaBodyOwner(using Quotes)(lambda: x$1.reflect.Term): x$1.reflect.Symbol

Attributes

Source
TransformUtil.scala
def prependStatementToBlock(using Quotes)(st: x$1.reflect.Statement, block: x$1.reflect.Block): x$1.reflect.Block

Attributes

Source
TransformUtil.scala
def prependStatementsToBlock(using Quotes)(sts: List[x$1.reflect.Statement], block: x$1.reflect.Block): x$1.reflect.Block

Attributes

Source
TransformUtil.scala
def prependStatementsToTerm(using Quotes)(statements: List[x$1.reflect.Statement], term: x$1.reflect.Term): x$1.reflect.Block

Attributes

Source
TransformUtil.scala
def reallyChangeOwner(using Quotes)(tree: x$1.reflect.Tree, owner: x$1.reflect.Symbol): x$1.reflect.Tree

Attributes

Source
TransformUtil.scala
def safeShow(using Quotes)(t: x$1.reflect.Tree): String

Attributes

Source
TransformUtil.scala
def substituteLambdaParams(using qctx: Quotes)(oldParams: List[qctx.reflect.ValDef], newParams: List[qctx.reflect.Tree], body: qctx.reflect.Term, owner: qctx.reflect.Symbol): qctx.reflect.Term

Attributes

Source
TransformUtil.scala
def veryWiden(using qctx: Quotes)(tp: qctx.reflect.TypeRepr): qctx.reflect.TypeRepr

widen, which works over 'or' and 'and' types. (bug in dotty?)

widen, which works over 'or' and 'and' types. (bug in dotty?)

Attributes

Source
TransformUtil.scala
Generated with