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

OpaqueTypeUtils

org.encalmo.utils.OpaqueTypeUtils
object OpaqueTypeUtils

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

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

Visit an opaque type and collect the results into a block of unit.

Visit an opaque type and collect the results into a block of unit.

Attributes

Returns

Unit

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

Visit an opaque type and apply a dedicated function when the type is an opaque type or when the type is not an opaque type.

Visit an opaque type and apply a dedicated function when the type is an opaque type or when the type is not an opaque type.

Attributes

Returns

Unit

Generated with