JavaRecordUtils

org.encalmo.utils.JavaRecordUtils

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def collect[In](label: Expr[String], valueExpr: Expr[In], functionExpr: [A] => (x$1: Expr[String], x$2: Expr[A]) => Type[A] ?=> Expr[Any])(using evidence$1: Type[In], quotes: Quotes): Expr[Unit]

Visit a Java record type and collect the results into a block of unit.

Visit a Java record type and collect the results into a block of unit.

Attributes

Returns

Unit

def isJavaRecord[A](using evidence$1: Type[A], Quotes): Boolean
def visit[In : Type](using cache: StatementsCache)(label: String, valueTerm: cache.quotes.reflect.Term, functionExpr: [A] => (x$1: String, x$2: cache.quotes.reflect.Term) => Type[A] ?=> Unit): Unit

Visit a Java record type and collect the results into a block of unit.

Visit a Java record type and collect the results into a block of unit.

Attributes

Returns

Unit