OpaqueTypeUtils
org.encalmo.utils.OpaqueTypeUtils
object OpaqueTypeUtils
Attributes
- Graph
-
- Supertypes
- Self type
-
OpaqueTypeUtils.type
Members list
Type members
Classlikes
object TypeReprIsOpaqueType
Check if a type is an opaque type and return the underlying upper bound type if it is.
Check if a type is an opaque type and return the underlying upper bound type if it is.
Attributes
- Supertypes
- Self type
-
TypeReprIsOpaqueType.type
Value members
Concrete methods
def findBaseTypeFromApply(using quotes: Quotes)(tpe: quotes.reflect.TypeRepr): Option[quotes.reflect.TypeRepr]
def findBaseTypeFromUnapply(using quotes: Quotes)(tpe: quotes.reflect.TypeRepr): Option[quotes.reflect.TypeRepr]
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
def visitTermless(using cache: StatementsCache)(tpe: cache.quotes.reflect.TypeRepr, functionWhenUpperBound: cache.quotes.reflect.TypeRepr => Unit, functionOtherwise: cache.quotes.reflect.TypeRepr => 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 without the value term.
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 without the value term.
Attributes
- Returns
-
Unit
In this article