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

UnionUtils

org.encalmo.utils.UnionUtils
object UnionUtils

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
UnionUtils.type

Members list

Type members

Classlikes

object TypeReprIsUnion

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type

Value members

Concrete methods

def isUnion[A](using evidence$1: Type[A], Quotes): Boolean

Check if a type is a union.

Check if a type is a union.

Attributes

def transformToMatchTerm(using cache: StatementsCache)(tpe: cache.quotes.reflect.TypeRepr, valueTerm: cache.quotes.reflect.Term, functionOnCase: (cache.quotes.reflect.TypeRepr, cache.quotes.reflect.Term) => cache.quotes.reflect.Term): cache.quotes.reflect.Term

Visit an union and create a pattern match term of each union type.

Visit an union and create a pattern match term of each union type.

Attributes

Returns

Unit

def visitTermless(using cache: StatementsCache)(tpe: cache.quotes.reflect.TypeRepr, functionOnCase: cache.quotes.reflect.TypeRepr => Unit): Unit
Generated with