TypeReprIsOpaqueType

org.encalmo.utils.OpaqueTypeUtils.TypeReprIsOpaqueType

Check if a type is an opaque type and return the underlying upper bound type if it is.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

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