QuoteUnpickler

scala.quoted.runtime.QuoteUnpickler

Part of the Quotes interface that needs to be implemented by the compiler but is not visible to users.

Attributes

Source
QuoteUnpickler.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Abstract methods

def unpickleExpr[T](pickled: String | List[String], typeHole: (Int, Seq[Any]) => Type[_ <: AnyKind], termHole: (Int, Seq[Any], Quotes) => Expr[_]): Expr[T]

Unpickle repr which represents a pickled Expr tree, replacing splice nodes with holes

Unpickle repr which represents a pickled Expr tree, replacing splice nodes with holes

Generated for code compiled with Scala 3.0.x and 3.1.x

Type parameters

T

the type of the expression being unpickled

Value parameters

pickled

the pickled representation of the expression tree, as a single string or a list of strings

termHole

a function that resolves term splice nodes by index, with captured arguments and a Quotes context

typeHole

a function that resolves type splice nodes by index and captured arguments

Attributes

Source
QuoteUnpickler.scala
def unpickleExprV2[T](pickled: String | List[String], types: Null | Seq[Type[_ <: AnyKind]], termHole: Null | ((Int, Seq[Type[_ <: AnyKind] | Expr[Any]], Quotes) => Expr[_])): Expr[T]

Unpickle repr which represents a pickled Expr tree, replacing splice nodes with holes.

Unpickle repr which represents a pickled Expr tree, replacing splice nodes with holes.

Generated for code compiled with Scala 3.2.0+

Type parameters

T

the type of the expression being unpickled

Value parameters

pickled

the pickled representation of the expression tree, as a single string or a list of strings

termHole

a function that resolves term splice nodes by index, with spliced types/expressions and a Quotes context, or null if there are none

types

the types used in splice nodes, or null if there are none

Attributes

Source
QuoteUnpickler.scala
def unpickleType[T <: AnyKind](pickled: String | List[String], typeHole: (Int, Seq[Any]) => Type[_ <: AnyKind], termHole: (Int, Seq[Any], Quotes) => Expr[_]): Type[T]

Unpickle repr which represents a pickled Type tree, replacing splice nodes with holes

Unpickle repr which represents a pickled Type tree, replacing splice nodes with holes

Generated for code compiled with Scala 3.0.x and 3.1.x

Type parameters

T

the type being unpickled, which may be of any kind (e.g., *, * => *)

Value parameters

pickled

the pickled representation of the type tree, as a single string or a list of strings

termHole

a function that resolves term splice nodes by index, with captured arguments and a Quotes context

typeHole

a function that resolves type splice nodes by index and captured arguments

Attributes

Source
QuoteUnpickler.scala
def unpickleTypeV2[T <: AnyKind](pickled: String | List[String], types: Null | Seq[Type[_ <: AnyKind]]): Type[T]

Unpickle repr which represents a pickled Type tree, replacing splice nodes with holes

Unpickle repr which represents a pickled Type tree, replacing splice nodes with holes

Generated for code compiled with Scala 3.2.0+

Type parameters

T

the type being unpickled, which may be of any kind (e.g., *, * => *)

Value parameters

pickled

the pickled representation of the type tree, as a single string or a list of strings

types

the types used in splice nodes, or null if there are none

Attributes

Source
QuoteUnpickler.scala