SelectableUtils

org.encalmo.utils.SelectableUtils

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def findFieldsType(using Quotes)(tpe: x$1.reflect.TypeRepr): Option[x$1.reflect.TypeRepr]

Find the tuple type of the fields of a Selectable.

Find the tuple type of the fields of a Selectable.

Attributes

def maybeTransformSelectableIntoBlockOfUnit[T : Type](using Quotes)(functionExpr: [Fields] => (evidence$1: Type[Fields], x$1: Quotes) ?=> Expr[Unit]): Option[Expr[Unit]]

Check if a type is a Selectable and apply a function eventually returning a block of unit.

Check if a type is a Selectable and apply a function eventually returning a block of unit.

Attributes

def maybeVisitSelectable[T : Type](using cache: StatementsCache)(functionExpr: [Fields] => (evidence$1: Type[Fields], x$1: StatementsCache) ?=> Unit): Option[Unit]

Check if a type is a Selectable and eventually apply a function using a statements cache.

Check if a type is a Selectable and eventually apply a function using a statements cache.

Attributes

def transformFieldsIntoBlockOfUnit[In : Type, Fields : Type](using Quotes)(valueExpr: Expr[In], functionExpr: [A] => (x$1: Expr[String], x$2: Expr[A]) => Type[A] ?=> Expr[Unit]): Expr[Unit]

Transform the fields of a Selectable into a block of unit by applying a function to each field.

Transform the fields of a Selectable into a block of unit by applying a function to each field.

Attributes

def visitFields[In : Type, Fields : Type](using cache: StatementsCache)(valueExpr: Expr[In], functionExpr: [A] => (x$1: String, x$2: cache.quotes.reflect.Term) => Type[A] ?=> Unit): Unit

Visit the fields of a Selectable and apply a function to each field using a statements cache.

Visit the fields of a Selectable and apply a function to each field using a statements cache.

Attributes