root
API
Generated with
root/org.encalmo.utils/JavaRecordUtils

JavaRecordUtils

org.encalmo.utils.JavaRecordUtils
object JavaRecordUtils

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

object TypeReprIsJavaRecord

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type

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(using cache: StatementsCache)(tpe: cache.quotes.reflect.TypeRepr, valueTerm: cache.quotes.reflect.Term, functionOnField: (cache.quotes.reflect.TypeRepr, String, cache.quotes.reflect.Term) => 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

def visitTermless(using cache: StatementsCache)(tpe: cache.quotes.reflect.TypeRepr, functionOnField: (cache.quotes.reflect.TypeRepr, String) => Unit): Unit

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

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

Attributes

Returns

Unit

Generated with