QuotesAndSplices
Type quotes '{ ... }
and splices ${ ... }
Value members
Concrete methods
Types a splice applied to some arguments $f(arg1, ..., argn)
in a quote pattern.
Types a splice applied to some arguments $f(arg1, ..., argn)
in a quote pattern.
The tree is desugared into $f.apply(arg1, ..., argn)
where the expression $f
is expected to type as a function type (T1, ..., Tn) => R
.
Ti
is the type of the argument argi
and R if the type of the prototype.
The prototype must be fully defined to be able to infer the type of R
.
Translate '{ e }
into scala.quoted.Expr.apply(e)
and '[T]
into scala.quoted.Type.apply[T]
while tracking the quotation level in the context.
Translate '{ e }
into scala.quoted.Expr.apply(e)
and '[T]
into scala.quoted.Type.apply[T]
while tracking the quotation level in the context.
Type a pattern variable name t
in quote pattern as ${given t$giveni: Type[t @ _]}
.
The resulting pattern is the split in splitQuotePattern
.
Type a pattern variable name t
in quote pattern as ${given t$giveni: Type[t @ _]}
.
The resulting pattern is the split in splitQuotePattern
.