Fold

oxygen.meta.K0.DerivableUnion.Fold
trait Fold[T[_]] extends DerivableUnion[T]

Attributes

Graph
Supertypes
trait DerivableUnion[T]
class Object
trait Matchable
class Any

Members list

Value members

Abstract methods

protected def foldUnion[Q <: Quotes, A1, A2](a1: Expr[T[A1]], a2: Expr[T[A2]])(using quotes: Q, tpe1: Type[A1], tpe2: Type[A2], tTpe: Type[T]): Expr[T[A1 | A2]]

Concrete methods

final override protected def internalDeriveUnion[Q <: Quotes, A](k0: K0[Q])(g: k0.UnionGeneric[A])(using quotes: Q, tpe: Type[A], tTpe: Type[T]): Expr[T[A]]

Attributes

Definition Classes