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

OptionUtils

org.encalmo.utils.OptionUtils
object OptionUtils

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

object TypeReprIsOption

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type

Value members

Concrete methods

def buildMatchTerm(using cache: StatementsCache)(tpe: cache.quotes.reflect.TypeRepr, target: cache.quotes.reflect.Term, functionOnSome: (cache.quotes.reflect.TypeRepr, cache.quotes.reflect.Term) => cache.quotes.reflect.Term, functionOnNone: cache.quotes.reflect.Term): cache.quotes.reflect.Match
def none(using cache: StatementsCache): cache.quotes.reflect.Term
def some(using cache: StatementsCache)(tpe: cache.quotes.reflect.TypeRepr, valueTerm: cache.quotes.reflect.Term): cache.quotes.reflect.Term
Generated with