Unliftables

class Object
trait Matchable
class Any

Value members

Concrete methods

def unliftCollect(collect: Expr[Collect])(using Quotes): Collect
def unliftInfoBehavior(info: Expr[InfoBehavior])(using Quotes): InfoBehavior
def unliftLinearity(linearity: Expr[Linearity])(using Quotes): Linearity
def unliftTraceTypes(traceTypes: Expr[List[TraceType]])(using Quotes): List[TraceType]
def unliftVerify(verify: Expr[Verify])(using Quotes): Verify