Sum

quotidian.MacroMirror.Sum
abstract class Sum[Q <: Quotes, A](using val quotes: Q, val asType: Type[A]) extends MacroMirror[Q, A]

Attributes

Graph
Supertypes
trait MacroMirror[Q, A]
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def mirrorExpr: Expr[SumOf[A]]
def ordinal[T : Type]: Int
def ordinal(repr: quotes.reflect.TypeRepr): Int

Inherited methods

def deriveArray[F[_] : Type](deriveFallback: [t] => () => (Type[t]) ?=> Expr[F[t]])(implicit evidence$1: Type[F], Quotes): Expr[Array[F[Any]]]

Returns an Expr[Array[F[_]]], first trying to summon an instance of F[_] for each element type, and then falling back to deriving an instance of F[_] for each element type.

Returns an Expr[Array[F[_]]], first trying to summon an instance of F[_] for each element type, and then falling back to deriving an instance of F[_] for each element type.

val instances = ${ mirror.deriveArray[Eq]([t] => () => deriveEq[t]) }

Attributes

Inherited from:
MacroMirror
def elemForSymbol(symbol: quotes.reflect.Symbol): Option[MirrorElem[this.quotes.type, A, _]]

Attributes

Inherited from:
MacroMirror
def elemLabels: List[String]

Attributes

Inherited from:
MacroMirror
def elemTypeReprs: List[this.quotes.reflect.TypeRepr]

Attributes

Inherited from:
MacroMirror
def elemTypes: List[Type[_ <: AnyKind]]

Attributes

Inherited from:
MacroMirror
def elems: List[MirrorElem[this.quotes.type, A, _]]

Attributes

Inherited from:
MacroMirror
def elemsWithTypes: List[(MirrorElem[this.quotes.type, A, _], Type[_ <: AnyKind])]

Attributes

Inherited from:
MacroMirror
def label: String

Attributes

Inherited from:
MacroMirror
def monoType: this.quotes.reflect.TypeRepr

Attributes

Inherited from:
MacroMirror
def summonAll[F[_] : Type]: List[Expr[F[Any]]]

Attributes

Inherited from:
MacroMirror
def summonAllArray[F[_] : Type](implicit evidence$1: Type[F], Quotes): Expr[Array[F[Any]]]

Attributes

Inherited from:
MacroMirror
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
MacroMirror -> Any
Inherited from:
MacroMirror

Givens

Givens

override given asType: Type[A]
override given quotes: Q

Inherited givens

given given_Q: Q

Attributes

Inherited from:
MacroMirror