Matcher

oxygen.meta.K0.SumGeneric.Matcher
class Matcher

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def instance[Out : Type](expr: Expr[A])(f: ChildFunction0[[b <: A] =>> MatchBuilder[b, Out]])(using evidence$1: Type[Out], Quotes): Expr[Out]
def instance2[Out : Type](expr: Expr[(A, A)])(f: ChildFunction0[[b <: A] =>> MatchBuilder[(b, b), Out]])(elseCase: Quotes ?=> Expr[Out])(using evidence$1: Type[Out], Quotes): Expr[Out]
def instance3[Out : Type](expr: Expr[(A, A, A)])(f: ChildFunction0[[b <: A] =>> MatchBuilder[(b, b, b), Out]])(elseCase: Quotes ?=> Expr[Out])(using evidence$1: Type[Out], Quotes): Expr[Out]
def make[In[_ <: A], Out : Type](f: ChildFunction0[[b <: A] =>> MatchBuilder[In[b], Out]])(using evidence$1: Type[Out], Quotes): MatchBuilder[In[A], Out]
def value[In : Type, Out : Type](expr: Expr[In])(f: ChildFunction0[Const[MatchBuilder[In, Out]]])(elseCase: Quotes ?=> Expr[Out])(using evidence$1: Type[In], evidence$2: Type[Out], Quotes): Expr[Out]